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