Harry is blue. Harry is cold. Harry is furry. Harry is quiet. Harry is round. Harry is smart. Harry is white. If Harry is blue and Harry is white then Harry is furry. All quiet, cold people are furry. All blue people are white. If someone is furry and round then they are blue. If Harry is cold then Harry is white. All smart people are cold.
Harry is cold.
@0: Harry is blue.[(triple1 OR ((triple3 triple5) -> rule4) OR ((((triple4 triple2) -> rule2) triple5) -> rule4) OR ((((triple4 ((triple6) -> rule6)) -> rule2) triple5) -> rule4))] Harry is cold.[(triple2 OR ((triple6) -> rule6))] Harry is furry.[(triple3 OR ((triple1 triple7) -> rule1) OR ((triple4 triple2) -> rule2) OR ((triple1 ((triple1) -> rule3)) -> rule1) OR ((triple1 ((triple2) -> rule5)) -> rule1) OR ((triple4 ((triple6) -> rule6)) -> rule2) OR ((triple1 ((((triple6) -> rule6)) -> rule5)) -> rule1))] Harry is quiet.[(triple4)] Harry is round.[(triple5)] Harry is smart.[(triple6)] Harry is white.[(triple7 OR ((triple1) -> rule3) OR ((triple2) -> rule5) OR ((((triple6) -> rule6)) -> rule5) OR ((((triple3 triple5) -> rule4)) -> rule3) OR ((((((triple4 triple2) -> rule2) triple5) -> rule4)) -> rule3) OR ((((((triple4 ((triple6) -> rule6)) -> rule2) triple5) -> rule4)) -> rule3))]