Anne is furry. Anne is green. Anne is kind. Anne is nice. Anne is quiet. Anne is rough. Anne is round. Harry is furry. Harry is green. Harry is kind. Harry is nice. Harry is quiet. Harry is rough. Harry is round. If something is quiet then it is green. If something is rough and green then it is furry. If Anne is kind and Anne is furry then Anne is quiet.
Harry is not green.
@0: Anne is furry.[(triple1 OR ((triple6 triple2) -> rule2) OR ((triple6 ((triple5) -> rule1)) -> rule2))] Anne is green.[(triple2 OR ((triple5) -> rule1) OR ((((triple3 triple1) -> rule3)) -> rule1))] Anne is kind.[(triple3)] Anne is nice.[(triple4)] Anne is quiet.[(triple5 OR ((triple3 triple1) -> rule3) OR ((triple3 ((triple6 triple2) -> rule2)) -> rule3))] Anne is rough.[(triple6)] Anne is round.[(triple7)] Harry is furry.[(triple8 OR ((triple13 triple9) -> rule2) OR ((triple13 ((triple12) -> rule1)) -> rule2))] Harry is green.[(triple9 OR ((triple12) -> rule1))] Harry is kind.[(triple10)] Harry is nice.[(triple11)] Harry is quiet.[(triple12)] Harry is rough.[(triple13)] Harry is round.[(triple14)]