Gary is big. Gary is cold. Gary is furry. Gary is red. Gary is rough. Gary is smart. Gary is young. Harry is big. Harry is cold. Harry is furry. Harry is red. Harry is rough. Harry is smart. Harry is young. All smart things are furry. If something is smart then it is rough. Big things are red. Big things are red. Furry things are cold. If something is young and red then it is rough.
Harry is not red.
@0: Gary is big.[(triple1)] Gary is cold.[(triple2 OR ((triple3) -> rule5) OR ((((triple6) -> rule1)) -> rule5))] Gary is furry.[(triple3 OR ((triple6) -> rule1))] Gary is red.[(triple4 OR ((triple1) -> rule3) OR ((triple1) -> rule4))] Gary is rough.[(triple5 OR ((triple6) -> rule2) OR ((triple7 triple4) -> rule6) OR ((triple7 ((triple1) -> rule3)) -> rule6) OR ((triple7 ((triple1) -> rule4)) -> rule6))] Gary is smart.[(triple6)] Gary is young.[(triple7)] Harry is big.[(triple8)] Harry is cold.[(triple9 OR ((triple10) -> rule5) OR ((((triple13) -> rule1)) -> rule5))] Harry is furry.[(triple10 OR ((triple13) -> rule1))] Harry is red.[(triple11 OR ((triple8) -> rule3) OR ((triple8) -> rule4))] Harry is rough.[(triple12 OR ((triple13) -> rule2) OR ((triple14 triple11) -> rule6) OR ((triple14 ((triple8) -> rule3)) -> rule6) OR ((triple14 ((triple8) -> rule4)) -> rule6))] Harry is smart.[(triple13)] Harry is young.[(triple14)]