Dave is not red. Erin is blue. Gary is green. Gary is young. Harry is not nice. Harry is quiet. Harry is not young. All green people are blue. If someone is red and young then they are nice. Green, quiet people are not nice. All red people are green. If someone is smart and not red then they are green. All red people are quiet. Blue people are quiet. If Dave is blue and Dave is not quiet then Dave is not nice.
Gary is not nice.
@0: Dave is not red.[(triple1)] Erin is blue.[(triple2)] Gary is green.[(triple3)] Gary is young.[(triple4)] Harry is not nice.[(triple5)] Harry is not young.[(triple7)] Harry is quiet.[(triple6)] @1: Erin is quiet.[(((triple2) -> rule7))] Gary is blue.[(((triple3) -> rule1))] @2: Gary is quiet.[(((((triple3) -> rule1)) -> rule7))] @3: Gary is not nice.[(((triple3 ((((triple3) -> rule1)) -> rule7)) -> rule3))]