Harry is big. Harry is cold. Harry is furry. Harry is kind. Harry is red. Harry is smart. Harry is young. Young things are kind. If something is young and cold then it is smart. Furry things are kind. All big, kind things are cold. If Harry is big and Harry is kind then Harry is smart. If Harry is big then Harry is young.
Harry is not cold.
@0: Harry is big.[(triple1)] Harry is cold.[(triple2 OR ((triple1 triple4) -> rule4) OR ((triple1 ((triple3) -> rule3)) -> rule4) OR ((triple1 ((triple7) -> rule1)) -> rule4) OR ((triple1 ((((triple1) -> rule6)) -> rule1)) -> rule4))] Harry is furry.[(triple3)] Harry is kind.[(triple4 OR ((triple3) -> rule3) OR ((triple7) -> rule1) OR ((((triple1) -> rule6)) -> rule1))] Harry is red.[(triple5)] Harry is smart.[(triple6 OR ((triple1 triple4) -> rule5) OR ((triple7 triple2) -> rule2) OR ((triple1 ((triple3) -> rule3)) -> rule5) OR ((triple1 ((triple7) -> rule1)) -> rule5) OR ((triple7 ((triple1 triple4) -> rule4)) -> rule2) OR ((((triple1) -> rule6) triple2) -> rule2) OR ((((triple1) -> rule6) ((triple1 triple4) -> rule4)) -> rule2) OR ((triple1 ((((triple1) -> rule6)) -> rule1)) -> rule5) OR ((triple7 ((triple1 ((triple3) -> rule3)) -> rule4)) -> rule2) OR ((triple7 ((triple1 ((triple7) -> rule1)) -> rule4)) -> rule2) OR ((((triple1) -> rule6) ((triple1 ((triple3) -> rule3)) -> rule4)) -> rule2) OR ((((triple1) -> rule6) ((triple1 ((triple7) -> rule1)) -> rule4)) -> rule2) OR ((triple7 ((triple1 ((((triple1) -> rule6)) -> rule1)) -> rule4)) -> rule2) OR ((((triple1) -> rule6) ((triple1 ((((triple1) -> rule6)) -> rule1)) -> rule4)) -> rule2))] Harry is young.[(triple7 OR ((triple1) -> rule6))]