Anne is red. Anne is rough. Charlie is not blue. Charlie is green. Charlie is white. Gary is not blue. Gary is furry. Gary is not green. Gary is white. Harry is not blue. Harry is furry. Harry is nice. Harry is not red. Harry is white. Red people are blue. All furry, nice people are not rough. Green people are not nice. If Anne is blue and Anne is white then Anne is green. Furry, blue people are white. Green people are white. If Gary is green then Gary is not blue. Blue, red people are furry. If Harry is not nice then Harry is white.
Charlie is not furry.
@0: Anne is red.[(triple1)] Anne is rough.[(triple2)] Charlie is green.[(triple4)] Charlie is not blue.[(triple3)] Charlie is white.[(triple5 OR ((triple4) -> rule6))] Gary is furry.[(triple7)] Gary is not blue.[(triple6)] Gary is not green.[(triple8)] Gary is white.[(triple9)] Harry is furry.[(triple11)] Harry is nice.[(triple12)] Harry is not blue.[(triple10)] Harry is not red.[(triple13)] Harry is white.[(triple14)] @1: Anne is blue.[(((triple1) -> rule1))] Charlie is not nice.[(((triple4) -> rule3))] Harry is not rough.[(((triple11 triple12) -> rule2))] @2: Anne is furry.[(((((triple1) -> rule1) triple1) -> rule8))] @3: Anne is white.[(((((((triple1) -> rule1) triple1) -> rule8) ((triple1) -> rule1)) -> rule5))] @4: Anne is green.[(((((triple1) -> rule1) ((((((triple1) -> rule1) triple1) -> rule8) ((triple1) -> rule1)) -> rule5)) -> rule4))] @5: Anne is not nice.[(((((((triple1) -> rule1) ((((((triple1) -> rule1) triple1) -> rule8) ((triple1) -> rule1)) -> rule5)) -> rule4)) -> rule3))]