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