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