Anne is quiet. Anne is rough. Anne is round. Bob is green. Bob is nice. Fiona is blue. Fiona is rough. Fiona is round. Gary is nice. Gary is white. If Fiona is white and Fiona is round then Fiona is green. Quiet things are white. All round, blue things are quiet.
Anne is quiet.
@0: Anne is quiet.[(triple1)] Anne is rough.[(triple2)] Anne is round.[(triple3)] Bob is green.[(triple4)] Bob is nice.[(triple5)] Fiona is blue.[(triple6)] Fiona is rough.[(triple7)] Fiona is round.[(triple8)] Gary is nice.[(triple9)] Gary is white.[(triple10)] @1: Anne is white.[(((triple1) -> rule2))] Fiona is quiet.[(((triple8 triple6) -> rule3))] @2: Fiona is white.[(((((triple8 triple6) -> rule3)) -> rule2))] @3: Fiona is green.[(((((((triple8 triple6) -> rule3)) -> rule2) triple8) -> rule1))]