Anne is blue. Anne is kind. Anne is nice. Anne is rough. Charlie is furry. Gary is kind. Gary is rough. If someone is smart and nice then they are white. If someone is blue and furry then they are kind. All furry people are white. All rough, kind people are smart. All white people are blue. If someone is smart then they are rough.
Charlie is rough.
@0: Anne is blue.[(triple1 OR ((((((triple4 triple2) -> rule4) triple3) -> rule1)) -> rule5))] Anne is kind.[(triple2)] Anne is nice.[(triple3)] Anne is rough.[(triple4)] Charlie is furry.[(triple5)] Gary is kind.[(triple6)] Gary is rough.[(triple7)] @1: Anne is smart.[(((triple4 triple2) -> rule4))] Charlie is white.[(((triple5) -> rule3))] Gary is smart.[(((triple7 triple6) -> rule4))] @2: Anne is white.[(((((triple4 triple2) -> rule4) triple3) -> rule1))] Charlie is blue.[(((((triple5) -> rule3)) -> rule5))] @3: Charlie is kind.[(((((((triple5) -> rule3)) -> rule5) triple5) -> rule2))]