A Network-based knowledge representation and its natural deduction system