Dave is round. Dave is young. Gary is cold. Gary is furry. Gary is green. Gary is red. Gary is round. Gary is smart. Gary is young. Harry is cold. Harry is furry. Harry is green. Harry is red. Harry is round. Harry is smart. Harry is young. All young things are round. All cold things are furry.
Harry is not smart.
@0: Dave is round.[(triple1 OR ((triple2) -> rule1))] Dave is young.[(triple2)] Gary is cold.[(triple3)] Gary is furry.[(triple4 OR ((triple3) -> rule2))] Gary is green.[(triple5)] Gary is red.[(triple6)] Gary is round.[(triple7 OR ((triple9) -> rule1))] Gary is smart.[(triple8)] Gary is young.[(triple9)] Harry is cold.[(triple10)] Harry is furry.[(triple11 OR ((triple10) -> rule2))] Harry is green.[(triple12)] Harry is red.[(triple13)] Harry is round.[(triple14 OR ((triple16) -> rule1))] Harry is smart.[(triple15)] Harry is young.[(triple16)]