Gary is cold. Gary is green. Gary is nice. Gary is red. Gary is white. Harry is big. Harry is cold. Harry is furry. Harry is green. Harry is nice. Harry is red. Harry is white. If Gary is white then Gary is nice. White things are green. If something is white and big then it is furry. If something is cold and nice then it is white. White things are green. Green things are furry.
Harry is not furry.
@0: Gary is cold.[(triple1)] Gary is green.[(triple2 OR ((triple5) -> rule2) OR ((triple5) -> rule5) OR ((((triple1 triple3) -> rule4)) -> rule2) OR ((((triple1 triple3) -> rule4)) -> rule5))] Gary is nice.[(triple3 OR ((triple5) -> rule1))] Gary is red.[(triple4)] Gary is white.[(triple5 OR ((triple1 triple3) -> rule4))] Harry is big.[(triple6)] Harry is cold.[(triple7)] Harry is furry.[(triple8 OR ((triple9) -> rule6) OR ((triple12 triple6) -> rule3) OR ((((triple12) -> rule2)) -> rule6) OR ((((triple12) -> rule5)) -> rule6) OR ((((triple7 triple10) -> rule4) triple6) -> rule3) OR ((((((triple7 triple10) -> rule4)) -> rule2)) -> rule6) OR ((((((triple7 triple10) -> rule4)) -> rule5)) -> rule6))] Harry is green.[(triple9 OR ((triple12) -> rule2) OR ((triple12) -> rule5) OR ((((triple7 triple10) -> rule4)) -> rule2) OR ((((triple7 triple10) -> rule4)) -> rule5))] Harry is nice.[(triple10)] Harry is red.[(triple11)] Harry is white.[(triple12 OR ((triple7 triple10) -> rule4))] @1: Gary is furry.[(((triple2) -> rule6) OR ((((triple5) -> rule2)) -> rule6) OR ((((triple5) -> rule5)) -> rule6) OR ((((((triple1 triple3) -> rule4)) -> rule2)) -> rule6) OR ((((((triple1 triple3) -> rule4)) -> rule5)) -> rule6))]