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