Harry is blue. Harry is furry. Harry is kind. Harry is quiet. Harry is round. Harry is white. Harry is young. If something is round and furry then it is white. Kind, blue things are white. All white things are furry. If Harry is round and Harry is quiet then Harry is blue. All round, white things are blue. If Harry is kind and Harry is young then Harry is white.
Harry is quiet.
@0: Harry is blue.[(triple1 OR ((triple5 triple4) -> rule4) OR ((triple5 triple6) -> rule5) OR ((triple5 ((triple3 triple7) -> rule6)) -> rule5) OR ((triple5 ((triple5 triple2) -> rule1)) -> rule5))] Harry is furry.[(triple2 OR ((triple6) -> rule3) OR ((((triple3 triple1) -> rule2)) -> rule3) OR ((((triple3 triple7) -> rule6)) -> rule3) OR ((((triple3 ((triple5 triple4) -> rule4)) -> rule2)) -> rule3))] Harry is kind.[(triple3)] Harry is quiet.[(triple4)] Harry is round.[(triple5)] Harry is white.[(triple6 OR ((triple3 triple1) -> rule2) OR ((triple3 triple7) -> rule6) OR ((triple5 triple2) -> rule1) OR ((triple3 ((triple5 triple4) -> rule4)) -> rule2))] Harry is young.[(triple7)]