Anne is furry. Anne is kind. Anne is white. Fiona is blue. Fiona is kind. Fiona is nice. Fiona is white. Gary is kind. Gary is rough. Gary is white. If something is nice then it is blue. If something is white then it is red. If Anne is red and Anne is furry then Anne is nice. If something is kind and white then it is red. If something is red then it is kind. Rough things are nice.
Anne is not kind.
@0: Anne is furry.[(triple1)] Anne is kind.[(triple2 OR ((((triple3) -> rule2)) -> rule5))] Anne is white.[(triple3)] Fiona is blue.[(triple4 OR ((triple6) -> rule1))] Fiona is kind.[(triple5 OR ((((triple7) -> rule2)) -> rule5))] Fiona is nice.[(triple6)] Fiona is white.[(triple7)] Gary is kind.[(triple8 OR ((((triple10) -> rule2)) -> rule5))] Gary is rough.[(triple9)] Gary is white.[(triple10)] @1: Anne is red.[(((triple3) -> rule2) OR ((triple2 triple3) -> rule4))] Fiona is red.[(((triple7) -> rule2) OR ((triple5 triple7) -> rule4))] Gary is nice.[(((triple9) -> rule6))] Gary is red.[(((triple10) -> rule2) OR ((triple8 triple10) -> rule4))] @2: Anne is nice.[(((((triple3) -> rule2) triple1) -> rule3) OR ((((triple2 triple3) -> rule4) triple1) -> rule3))] Gary is blue.[(((((triple9) -> rule6)) -> rule1))] @3: Anne is blue.[(((((((triple3) -> rule2) triple1) -> rule3)) -> rule1) OR ((((((triple2 triple3) -> rule4) triple1) -> rule3)) -> rule1))]