Anne is blue. Anne is quiet. Anne is white. Erin is big. Erin is blue. Erin is green. Erin is nice. Erin is quiet. Erin is white. Erin is young. If something is quiet and white then it is big. If something is white then it is nice. If Erin is white and Erin is blue then Erin is big.
Erin is nice.
@0: Anne is blue.[(triple1)] Anne is quiet.[(triple2)] Anne is white.[(triple3)] Erin is big.[(triple4 OR ((triple8 triple9) -> rule1) OR ((triple9 triple5) -> rule3))] Erin is blue.[(triple5)] Erin is green.[(triple6)] Erin is nice.[(triple7 OR ((triple9) -> rule2))] Erin is quiet.[(triple8)] Erin is white.[(triple9)] Erin is young.[(triple10)] @1: Anne is big.[(((triple2 triple3) -> rule1))] Anne is nice.[(((triple3) -> rule2))]