Harry is big. Harry is quiet. Harry is round. If something is young and round then it is red. If something is quiet and big then it is young. Big, quiet things are furry. All quiet, big things are furry. If something is round then it is smart. All round things are big. If something is furry and smart then it is quiet. If something is red and smart then it is big.
Harry is big.
@0: Harry is big.[(triple1 OR ((triple3) -> rule6))] Harry is quiet.[(triple2)] Harry is round.[(triple3)] @1: Harry is furry.[(((triple1 triple2) -> rule3) OR ((triple2 triple1) -> rule4) OR ((triple2 ((triple3) -> rule6)) -> rule4) OR ((((triple3) -> rule6) triple2) -> rule3))] Harry is smart.[(((triple3) -> rule5))] Harry is young.[(((triple2 triple1) -> rule2) OR ((triple2 ((triple3) -> rule6)) -> rule2))] @2: Harry is red.[(((((triple2 triple1) -> rule2) triple3) -> rule1) OR ((((triple2 ((triple3) -> rule6)) -> rule2) triple3) -> rule1))]