Anne is cold. Anne is red. Anne is rough. Erin is cold. Erin is green. Erin is quiet. Erin is red. Erin is rough. Erin is round. Erin is young. All red things are round. If something is young and cold then it is round. If something is green then it is red. If something is quiet then it is green. If something is young and quiet then it is rough. If Erin is cold then Erin is rough. Green things are rough. All quiet things are rough.
Anne is young.
@0: Anne is cold.[(triple1)] Anne is red.[(triple2)] Anne is rough.[(triple3)] Erin is cold.[(triple4)] Erin is green.[(triple5 OR ((triple6) -> rule4))] Erin is quiet.[(triple6)] Erin is red.[(triple7 OR ((triple5) -> rule3) OR ((((triple6) -> rule4)) -> rule3))] Erin is rough.[(triple8 OR ((triple4) -> rule6) OR ((triple5) -> rule7) OR ((triple6) -> rule8) OR ((triple10 triple6) -> rule5) OR ((((triple6) -> rule4)) -> rule7))] Erin is round.[(triple9 OR ((triple7) -> rule1) OR ((triple10 triple4) -> rule2) OR ((((triple5) -> rule3)) -> rule1) OR ((((((triple6) -> rule4)) -> rule3)) -> rule1))] Erin is young.[(triple10)] @1: Anne is round.[(((triple2) -> rule1))]