Anne is quiet. Anne is white. Charlie is quiet. Charlie is rough. Charlie is white. Charlie is young. Erin is big. Erin is green. Erin is young. Fiona is young. All red, quiet things are big. If something is rough then it is red. If something is big and quiet then it is green.
Anne is young.
@0: Anne is quiet.[(triple1)] Anne is white.[(triple2)] Charlie is quiet.[(triple3)] Charlie is rough.[(triple4)] Charlie is white.[(triple5)] Charlie is young.[(triple6)] Erin is big.[(triple7)] Erin is green.[(triple8)] Erin is young.[(triple9)] Fiona is young.[(triple10)] @1: Charlie is red.[(((triple4) -> rule2))] @2: Charlie is big.[(((((triple4) -> rule2) triple3) -> rule1))] @3: Charlie is green.[(((((((triple4) -> rule2) triple3) -> rule1) triple3) -> rule3))]