Anne is red. Anne is white. Anne is young. Erin is blue. Erin is green. Erin is quiet. Erin is red. Erin is round. Erin is white. Erin is young. If something is green and red then it is young. Round, blue things are white.
Anne is quiet.
@0: Anne is red.[(triple1)] Anne is white.[(triple2)] Anne is young.[(triple3)] Erin is blue.[(triple4)] Erin is green.[(triple5)] Erin is quiet.[(triple6)] Erin is red.[(triple7)] Erin is round.[(triple8)] Erin is white.[(triple9 OR ((triple8 triple4) -> rule2))] Erin is young.[(triple10 OR ((triple5 triple7) -> rule1))]