Harry is big. Harry is blue. Harry is green. Harry is kind. Harry is nice. Harry is red. Harry is smart. If someone is red then they are blue. Big people are blue. If someone is red and blue then they are nice. If someone is green and kind then they are nice. All blue people are big. Nice people are red.
Harry is not big.
@0: Harry is big.[(triple1 OR ((triple2) -> rule5) OR ((((triple6) -> rule1)) -> rule5) OR ((((((triple5) -> rule6)) -> rule1)) -> rule5) OR ((((((((triple3 triple4) -> rule4)) -> rule6)) -> rule1)) -> rule5))] Harry is blue.[(triple2 OR ((triple1) -> rule2) OR ((triple6) -> rule1) OR ((((triple5) -> rule6)) -> rule1) OR ((((((triple3 triple4) -> rule4)) -> rule6)) -> rule1))] Harry is green.[(triple3)] Harry is kind.[(triple4)] Harry is nice.[(triple5 OR ((triple3 triple4) -> rule4) OR ((triple6 triple2) -> rule3) OR ((triple6 ((triple1) -> rule2)) -> rule3) OR ((triple6 ((triple6) -> rule1)) -> rule3))] Harry is red.[(triple6 OR ((triple5) -> rule6) OR ((((triple3 triple4) -> rule4)) -> rule6))] Harry is smart.[(triple7)]