Charlie is nice. Charlie is smart. Dave is young. If someone is blue then they are kind. If Dave is kind then Dave is smart. If Charlie is young then Charlie is smart. If Charlie is blue then Charlie is not kind. If someone is young then they are blue. If someone is smart and not blue then they are red.
Dave is blue.
@0: Charlie is nice.[(triple1)] Charlie is smart.[(triple2)] Dave is young.[(triple3)] @1: Dave is blue.[(((triple3) -> rule5))] @2: Dave is kind.[(((((triple3) -> rule5)) -> rule1))] @3: Dave is smart.[(((((((triple3) -> rule5)) -> rule1)) -> rule2))]