Anne is big. Anne is blue. Anne is cold. Anne is green. Anne is quiet. Anne is rough. Dave is blue. Erin is cold. Erin is rough. Gary is big. Gary is cold. Gary is rough. Young things are big. All big, blue things are young. If something is big then it is blue. If something is big then it is cold. If something is young and blue then it is big. All young things are cold.
Gary is not big.
@0: Anne is big.[(triple1)] Anne is blue.[(triple2 OR ((triple1) -> rule3))] Anne is cold.[(triple3 OR ((triple1) -> rule4) OR ((((triple1 triple2) -> rule2)) -> rule6) OR ((((triple1 ((triple1) -> rule3)) -> rule2)) -> rule6))] Anne is green.[(triple4)] Anne is quiet.[(triple5)] Anne is rough.[(triple6)] Dave is blue.[(triple7)] Erin is cold.[(triple8)] Erin is rough.[(triple9)] Gary is big.[(triple10)] Gary is cold.[(triple11 OR ((triple10) -> rule4) OR ((((triple10 ((triple10) -> rule3)) -> rule2)) -> rule6))] Gary is rough.[(triple12)] @1: Anne is young.[(((triple1 triple2) -> rule2) OR ((triple1 ((triple1) -> rule3)) -> rule2))] Gary is blue.[(((triple10) -> rule3))] @2: Gary is young.[(((triple10 ((triple10) -> rule3)) -> rule2))]