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