Dave is quiet. Erin is young. Harry is young. Blue people are round. All red, nice people are kind. Young people are kind. If Erin is red and Erin is nice then Erin is young. All kind, red people are nice. All round people are blue. If someone is round and nice then they are blue. If Harry is quiet and Harry is kind then Harry is blue.
Harry is not young.
@0: Dave is quiet.[(triple1)] Erin is young.[(triple2)] Harry is young.[(triple3)] @1: Erin is kind.[(((triple2) -> rule3))] Harry is kind.[(((triple3) -> rule3))]