Harry is big. Harry is cold. Harry is green. Harry is nice. Harry is not red. Harry is round. Harry is white. Nice things are cold. If something is green then it is cold. If something is nice and white then it is green. Cold, big things are white. All round things are white. If something is round and not big then it is nice. If Harry is white and Harry is not green then Harry is red. If Harry is big and Harry is white then Harry is not red.
Harry is red.
@0: Harry is big.[(triple1)] Harry is cold.[(triple2 OR ((triple3) -> rule2) OR ((triple4) -> rule1) OR ((((triple4 triple7) -> rule3)) -> rule2) OR ((((triple4 ((triple6) -> rule5)) -> rule3)) -> rule2))] Harry is green.[(triple3 OR ((triple4 triple7) -> rule3) OR ((triple4 ((triple6) -> rule5)) -> rule3) OR ((triple4 ((triple2 triple1) -> rule4)) -> rule3) OR ((triple4 ((((triple4) -> rule1) triple1) -> rule4)) -> rule3))] Harry is nice.[(triple4)] Harry is not red.[(triple5 OR ((triple1 triple7) -> rule8) OR ((triple1 ((triple6) -> rule5)) -> rule8) OR ((triple1 ((triple2 triple1) -> rule4)) -> rule8) OR ((triple1 ((((triple3) -> rule2) triple1) -> rule4)) -> rule8) OR ((triple1 ((((triple4) -> rule1) triple1) -> rule4)) -> rule8))] Harry is round.[(triple6)] Harry is white.[(triple7 OR ((triple6) -> rule5) OR ((triple2 triple1) -> rule4) OR ((((triple3) -> rule2) triple1) -> rule4) OR ((((triple4) -> rule1) triple1) -> rule4))]