Anne is blue. Anne is cold. Anne is furry. Anne is green. Anne is kind. Anne is rough. Anne is round. Harry is blue. Harry is cold. Harry is furry. Harry is green. Harry is kind. Harry is rough. Harry is round. Round things are green. All green, kind things are cold. Blue, round things are furry. If Anne is rough then Anne is round. All round, green things are rough. If something is cold then it is furry.
Anne is not green.
@0: Anne is blue.[(triple1)] Anne is cold.[(triple2 OR ((triple4 triple5) -> rule2) OR ((((triple7) -> rule1) triple5) -> rule2) OR ((((((triple6) -> rule4)) -> rule1) triple5) -> rule2))] Anne is furry.[(triple3 OR ((triple2) -> rule6) OR ((triple1 triple7) -> rule3) OR ((((triple4 triple5) -> rule2)) -> rule6) OR ((triple1 ((triple6) -> rule4)) -> rule3) OR ((((((triple7) -> rule1) triple5) -> rule2)) -> rule6) OR ((((((((triple6) -> rule4)) -> rule1) triple5) -> rule2)) -> rule6))] Anne is green.[(triple4 OR ((triple7) -> rule1) OR ((((triple6) -> rule4)) -> rule1))] Anne is kind.[(triple5)] Anne is rough.[(triple6 OR ((triple7 triple4) -> rule5) OR ((triple7 ((triple7) -> rule1)) -> rule5))] Anne is round.[(triple7 OR ((triple6) -> rule4))] Harry is blue.[(triple8)] Harry is cold.[(triple9 OR ((triple11 triple12) -> rule2) OR ((((triple14) -> rule1) triple12) -> rule2))] Harry is furry.[(triple10 OR ((triple9) -> rule6) OR ((triple8 triple14) -> rule3) OR ((((triple11 triple12) -> rule2)) -> rule6) OR ((((((triple14) -> rule1) triple12) -> rule2)) -> rule6))] Harry is green.[(triple11 OR ((triple14) -> rule1))] Harry is kind.[(triple12)] Harry is rough.[(triple13 OR ((triple14 triple11) -> rule5) OR ((triple14 ((triple14) -> rule1)) -> rule5))] Harry is round.[(triple14)]