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