Harry is blue. Harry is nice. Harry is rough. Big things are quiet. If Harry is blue and Harry is quiet then Harry is green. If Harry is blue and Harry is big then Harry is green. All rough, big things are round. Round, rough things are big. Rough, blue things are round. If something is big and green then it is rough. All nice, green things are round.
Harry is big.
@0: Harry is blue.[(triple1)] Harry is nice.[(triple2)] Harry is rough.[(triple3)] @1: Harry is round.[(((triple3 triple1) -> rule6))] @2: Harry is big.[(((((triple3 triple1) -> rule6) triple3) -> rule5))] @3: Harry is green.[(((triple1 ((((triple3 triple1) -> rule6) triple3) -> rule5)) -> rule3) OR ((triple1 ((((((triple3 triple1) -> rule6) triple3) -> rule5)) -> rule1)) -> rule2))] Harry is quiet.[(((((((triple3 triple1) -> rule6) triple3) -> rule5)) -> rule1))]