Harry is big. Harry is green. Harry is nice. Harry is red. Harry is round. Harry is white. Harry is young. If Harry is nice then Harry is young. If something is big then it is young. All big, round things are green. All big, green things are young. If something is round and white then it is green. If something is green and young then it is round.
Harry is not big.
@0: Harry is big.[(triple1)] Harry is green.[(triple2 OR ((triple1 triple5) -> rule3) OR ((triple5 triple6) -> rule5))] Harry is nice.[(triple3)] Harry is red.[(triple4)] Harry is round.[(triple5 OR ((triple2 triple7) -> rule6) OR ((triple2 ((triple1) -> rule2)) -> rule6) OR ((triple2 ((triple3) -> rule1)) -> rule6) OR ((triple2 ((triple1 triple2) -> rule4)) -> rule6))] Harry is white.[(triple6)] Harry is young.[(triple7 OR ((triple1) -> rule2) OR ((triple3) -> rule1) OR ((triple1 triple2) -> rule4) OR ((triple1 ((triple1 triple5) -> rule3)) -> rule4) OR ((triple1 ((triple5 triple6) -> rule5)) -> rule4))]