Charlie is round. Dave is white. Harry is round. Nice, blue people are not young. If Dave is nice then Dave is big. All white, big people are quiet. If Dave is big and Dave is round then Dave is white. All white people are nice. All big, white people are nice.
Charlie is not white.
@0: Charlie is round.[(triple1)] Dave is white.[(triple2)] Harry is round.[(triple3)] @1: Dave is nice.[(((triple2) -> rule5))] @2: Dave is big.[(((((triple2) -> rule5)) -> rule2))] @3: Dave is quiet.[(((triple2 ((((triple2) -> rule5)) -> rule2)) -> rule3))]