Anne is big. Anne is blue. Anne is cold. Anne is green. Anne is red. Anne is rough. Anne is round. Erin is big. Erin is blue. Erin is cold. Erin is not green. Erin is red. Erin is rough. Erin is round. All cold, blue things are big. If something is blue and not cold then it is rough. If Anne is blue and Anne is cold then Anne is red. If something is green then it is red. If Erin is round and Erin is cold then Erin is blue. If Erin is green and Erin is red then Erin is rough.
Anne is not big.
@0: Anne is big.[(triple1 OR ((triple3 triple2) -> rule1))] Anne is blue.[(triple2)] Anne is cold.[(triple3)] Anne is green.[(triple4)] Anne is red.[(triple5 OR ((triple4) -> rule4) OR ((triple2 triple3) -> rule3))] Anne is rough.[(triple6)] Anne is round.[(triple7)] Erin is big.[(triple8 OR ((triple10 triple9) -> rule1) OR ((triple10 ((triple14 triple10) -> rule5)) -> rule1))] Erin is blue.[(triple9 OR ((triple14 triple10) -> rule5))] Erin is cold.[(triple10)] Erin is not green.[(triple11)] Erin is red.[(triple12)] Erin is rough.[(triple13)] Erin is round.[(triple14)]