Anne is green. Anne is kind. Anne is red. Anne is rough. Anne is young. Erin is furry. Erin is green. Erin is red. Erin is rough. Erin is white. Erin is young. Gary is furry. Gary is green. Gary is red. Gary is white. Gary is young. If something is rough then it is white. All kind, green things are furry. If something is young and white then it is green.
Gary is rough.
@0: Anne is green.[(triple1 OR ((triple5 ((triple4) -> rule1)) -> rule3))] Anne is kind.[(triple2)] Anne is red.[(triple3)] Anne is rough.[(triple4)] Anne is young.[(triple5)] Erin is furry.[(triple6)] Erin is green.[(triple7 OR ((triple11 triple10) -> rule3) OR ((triple11 ((triple9) -> rule1)) -> rule3))] Erin is red.[(triple8)] Erin is rough.[(triple9)] Erin is white.[(triple10 OR ((triple9) -> rule1))] Erin is young.[(triple11)] Gary is furry.[(triple12)] Gary is green.[(triple13 OR ((triple16 triple15) -> rule3))] Gary is red.[(triple14)] Gary is white.[(triple15)] Gary is young.[(triple16)] @1: Anne is furry.[(((triple2 triple1) -> rule2) OR ((triple2 ((triple5 ((triple4) -> rule1)) -> rule3)) -> rule2))] Anne is white.[(((triple4) -> rule1))]