Charlie is young. Dave is white. Fiona is young. If someone is white and big then they are blue. All white people are big. If someone is quiet then they are smart. Big people are smart. Cold people are big. All smart, white people are quiet.
Charlie is not blue.
@0: Charlie is young.[(triple1)] Dave is white.[(triple2)] Fiona is young.[(triple3)] @1: Dave is big.[(((triple2) -> rule2))] @2: Dave is blue.[(((triple2 ((triple2) -> rule2)) -> rule1))] Dave is smart.[(((((triple2) -> rule2)) -> rule4))] @3: Dave is quiet.[(((((((triple2) -> rule2)) -> rule4) triple2) -> rule6))]