Anne is big. Anne is blue. Anne is quiet. Anne is round. Anne is smart. Anne is white. Anne is young. Erin is big. Erin is blue. Erin is quiet. Erin is round. Erin is smart. Erin is white. Erin is young. Young people are big. If Erin is quiet then Erin is white.
Erin is not young.
@0: Anne is big.[(triple1 OR ((triple7) -> rule1))] Anne is blue.[(triple2)] Anne is quiet.[(triple3)] Anne is round.[(triple4)] Anne is smart.[(triple5)] Anne is white.[(triple6)] Anne is young.[(triple7)] Erin is big.[(triple8 OR ((triple14) -> rule1))] Erin is blue.[(triple9)] Erin is quiet.[(triple10)] Erin is round.[(triple11)] Erin is smart.[(triple12)] Erin is white.[(triple13 OR ((triple10) -> rule2))] Erin is young.[(triple14)]