Anne is blue. Anne is furry. Dave is furry. Dave is white. Fiona is nice. Fiona is red. Fiona is rough. Furry, nice people are rough. All rough people are quiet. If someone is furry then they are nice.
Anne is white.
@0: Anne is blue.[(triple1)] Anne is furry.[(triple2)] Dave is furry.[(triple3)] Dave is white.[(triple4)] Fiona is nice.[(triple5)] Fiona is red.[(triple6)] Fiona is rough.[(triple7)] @1: Anne is nice.[(((triple2) -> rule3))] Dave is nice.[(((triple3) -> rule3))] Fiona is quiet.[(((triple7) -> rule2))] @2: Anne is rough.[(((triple2 ((triple2) -> rule3)) -> rule1))] Dave is rough.[(((triple3 ((triple3) -> rule3)) -> rule1))] @3: Anne is quiet.[(((((triple2 ((triple2) -> rule3)) -> rule1)) -> rule2))] Dave is quiet.[(((((triple3 ((triple3) -> rule3)) -> rule1)) -> rule2))]