Anne is rough. Anne is round. Anne is white. Anne is young. Erin is rough. Erin is white. Erin is young. If Erin is green then Erin is white. All round, white things are quiet. All rough, big things are white. All young, green things are rough. If Anne is round then Anne is big. All young things are big. If Anne is white then Anne is green. All young, green things are rough.
Erin is not white.
@0: Anne is rough.[(triple1 OR ((triple4 ((triple3) -> rule7)) -> rule4) OR ((triple4 ((triple3) -> rule7)) -> rule8))] Anne is round.[(triple2)] Anne is white.[(triple3 OR ((triple1 ((triple2) -> rule5)) -> rule3) OR ((triple1 ((triple4) -> rule6)) -> rule3))] Anne is young.[(triple4)] Erin is rough.[(triple5)] Erin is white.[(triple6 OR ((triple5 ((triple7) -> rule6)) -> rule3))] Erin is young.[(triple7)] @1: Anne is big.[(((triple2) -> rule5) OR ((triple4) -> rule6))] Anne is green.[(((triple3) -> rule7) OR ((((triple1 ((triple2) -> rule5)) -> rule3)) -> rule7) OR ((((triple1 ((triple4) -> rule6)) -> rule3)) -> rule7))] Anne is quiet.[(((triple2 triple3) -> rule2) OR ((triple2 ((triple1 ((triple2) -> rule5)) -> rule3)) -> rule2) OR ((triple2 ((triple1 ((triple4) -> rule6)) -> rule3)) -> rule2))] Erin is big.[(((triple7) -> rule6))]