Harry is blue. Harry is nice. Harry is quiet. Quiet, nice things are kind. If something is white then it is round. Blue things are furry. If something is nice and blue then it is kind. If something is kind then it is white. All kind things are quiet. If something is white and blue then it is nice. Nice, round things are quiet.
Harry is not round.
@0: Harry is blue.[(triple1)] Harry is nice.[(triple2)] Harry is quiet.[(triple3 OR ((((triple2 triple1) -> rule4)) -> rule6) OR ((triple2 ((((((triple2 triple1) -> rule4)) -> rule5)) -> rule2)) -> rule8))] @1: Harry is furry.[(((triple1) -> rule3))] Harry is kind.[(((triple2 triple1) -> rule4) OR ((triple3 triple2) -> rule1))] @2: Harry is white.[(((((triple2 triple1) -> rule4)) -> rule5) OR ((((triple3 triple2) -> rule1)) -> rule5))] @3: Harry is round.[(((((((triple2 triple1) -> rule4)) -> rule5)) -> rule2) OR ((((((triple3 triple2) -> rule1)) -> rule5)) -> rule2))]