Anne is cold. Anne is green. Anne is quiet. Anne is white. Anne is young. Dave is green. Erin is cold. Erin is green. Erin is quiet. Erin is rough. Gary is cold. Gary is green. Gary is quiet. Gary is rough. Gary is white. Gary is young. If Dave is green then Dave is young. All white, green people are young. If Anne is red then Anne is cold. Young people are red. Green, rough people are quiet. All quiet, rough people are young.
Erin is rough.
@0: Anne is cold.[(triple1 OR ((((triple5) -> rule4)) -> rule3) OR ((((((triple4 triple2) -> rule2)) -> rule4)) -> rule3))] Anne is green.[(triple2)] Anne is quiet.[(triple3)] Anne is white.[(triple4)] Anne is young.[(triple5 OR ((triple4 triple2) -> rule2))] Dave is green.[(triple6)] Erin is cold.[(triple7)] Erin is green.[(triple8)] Erin is quiet.[(triple9 OR ((triple8 triple10) -> rule5))] Erin is rough.[(triple10)] Gary is cold.[(triple11)] Gary is green.[(triple12)] Gary is quiet.[(triple13 OR ((triple12 triple14) -> rule5))] Gary is rough.[(triple14)] Gary is white.[(triple15)] Gary is young.[(triple16 OR ((triple13 triple14) -> rule6) OR ((triple15 triple12) -> rule2) OR ((((triple12 triple14) -> rule5) triple14) -> rule6))] @1: Anne is red.[(((triple5) -> rule4) OR ((((triple4 triple2) -> rule2)) -> rule4))] Dave is young.[(((triple6) -> rule1))] Erin is young.[(((triple9 triple10) -> rule6) OR ((((triple8 triple10) -> rule5) triple10) -> rule6))] Gary is red.[(((triple16) -> rule4) OR ((((triple13 triple14) -> rule6)) -> rule4) OR ((((triple15 triple12) -> rule2)) -> rule4) OR ((((((triple12 triple14) -> rule5) triple14) -> rule6)) -> rule4))] @2: Dave is red.[(((((triple6) -> rule1)) -> rule4))] Erin is red.[(((((triple9 triple10) -> rule6)) -> rule4) OR ((((((triple8 triple10) -> rule5) triple10) -> rule6)) -> rule4))]