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