Bob is big. Bob is nice. Bob is young. Harry is big. Harry is blue. Harry is nice. Harry is smart. All young people are not green. If Harry is nice then Harry is not white. All smart people are young. If someone is blue then they are nice. If someone is green and white then they are blue. If someone is smart and not white then they are big.
Bob is not big.
@0: Bob is big.[(triple1)] Bob is nice.[(triple2)] Bob is young.[(triple3)] Harry is big.[(triple4 OR ((triple7 ((triple6) -> rule2)) -> rule6) OR ((triple7 ((((triple5) -> rule4)) -> rule2)) -> rule6))] Harry is blue.[(triple5)] Harry is nice.[(triple6 OR ((triple5) -> rule4))] Harry is smart.[(triple7)] @1: Bob is not green.[(((triple3) -> rule1))] Harry is not white.[(((triple6) -> rule2) OR ((((triple5) -> rule4)) -> rule2))] Harry is young.[(((triple7) -> rule3))] @2: Harry is not green.[(((((triple7) -> rule3)) -> rule1))]