Charlie is furry. Charlie is rough. Charlie is round. Gary is cold. Gary is furry. Gary is nice. Gary is quiet. Gary is rough. Gary is round. Gary is smart. Harry is cold. Harry is furry. Harry is nice. Harry is quiet. Harry is round. If Gary is nice then Gary is quiet. If Harry is quiet then Harry is smart. All rough people are furry.
Harry is not smart.
@0: Charlie is furry.[(triple1 OR ((triple2) -> rule3))] Charlie is rough.[(triple2)] Charlie is round.[(triple3)] Gary is cold.[(triple4)] Gary is furry.[(triple5 OR ((triple8) -> rule3))] Gary is nice.[(triple6)] Gary is quiet.[(triple7 OR ((triple6) -> rule1))] Gary is rough.[(triple8)] Gary is round.[(triple9)] Gary is smart.[(triple10)] Harry is cold.[(triple11)] Harry is furry.[(triple12)] Harry is nice.[(triple13)] Harry is quiet.[(triple14)] Harry is round.[(triple15)] @1: Harry is smart.[(((triple14) -> rule2))]