Charlie is blue. Dave is big. Dave is blue. All big, kind things are nice. If Dave is smart then Dave is kind. Big things are red. If something is white then it is nice. If something is nice then it is smart. All blue things are kind.
Charlie is not red.
@0: Charlie is blue.[(triple1)] Dave is big.[(triple2)] Dave is blue.[(triple3)] @1: Charlie is kind.[(((triple1) -> rule6))] Dave is kind.[(((triple3) -> rule6))] Dave is red.[(((triple2) -> rule3))] @2: Dave is nice.[(((triple2 ((triple3) -> rule6)) -> rule1))] @3: Dave is smart.[(((((triple2 ((triple3) -> rule6)) -> rule1)) -> rule5))]