Anne is round. Anne is smart. Anne is young. Dave is green. Dave is not rough. Erin is not white. Fiona is not round. All round, green things are rough. All red things are not young. Round things are green. If Dave is young and Dave is rough then Dave is white. If Erin is round then Erin is smart. If something is rough and young then it is not white.
Anne is not round.
@0: Anne is round.[(triple1)] Anne is smart.[(triple2)] Anne is young.[(triple3)] Dave is green.[(triple4)] Dave is not rough.[(triple5)] Erin is not white.[(triple6)] Fiona is not round.[(triple7)] @1: Anne is green.[(((triple1) -> rule3))] @2: Anne is rough.[(((triple1 ((triple1) -> rule3)) -> rule1))] @3: Anne is not white.[(((((triple1 ((triple1) -> rule3)) -> rule1) triple3) -> rule6))]