Anne is big. Anne is rough. Anne is white. Anne is young. Erin is blue. Erin is quiet. Erin is young. Fiona is big. Fiona is young. Harry is blue. Harry is round. Harry is white. All white things are rough. If something is quiet then it is rough. All young, big things are blue. Quiet things are rough. If Erin is round then Erin is blue. If something is round and quiet then it is white.
Erin is not young.
@0: Anne is big.[(triple1)] Anne is rough.[(triple2 OR ((triple3) -> rule1))] Anne is white.[(triple3)] Anne is young.[(triple4)] Erin is blue.[(triple5)] Erin is quiet.[(triple6)] Erin is young.[(triple7)] Fiona is big.[(triple8)] Fiona is young.[(triple9)] Harry is blue.[(triple10)] Harry is round.[(triple11)] Harry is white.[(triple12)] @1: Anne is blue.[(((triple4 triple1) -> rule3))] Erin is rough.[(((triple6) -> rule2) OR ((triple6) -> rule4))] Fiona is blue.[(((triple9 triple8) -> rule3))] Harry is rough.[(((triple12) -> rule1))]