Charlie is nice. Dave is rough. Erin is red. Fiona is white. White people are red. If someone is nice then they are white. Red people are quiet.
Charlie is not quiet.
@0: Charlie is nice.[(triple1)] Dave is rough.[(triple2)] Erin is red.[(triple3)] Fiona is white.[(triple4)] @1: Charlie is white.[(((triple1) -> rule2))] Erin is quiet.[(((triple3) -> rule3))] Fiona is red.[(((triple4) -> rule1))] @2: Charlie is red.[(((((triple1) -> rule2)) -> rule1))] Fiona is quiet.[(((((triple4) -> rule1)) -> rule3))] @3: Charlie is quiet.[(((((((triple1) -> rule2)) -> rule1)) -> rule3))]