Dave is not blue. Erin is not green. Gary is quiet. Harry is kind. Quiet people are not blue. All kind people are not blue. If someone is blue then they are kind. All red people are nice. Kind people are quiet. If someone is green and quiet then they are not round. If Harry is quiet then Harry is red. If Dave is quiet and Dave is not kind then Dave is nice.
Harry is red.
@0: Dave is not blue.[(triple1)] Erin is not green.[(triple2)] Gary is quiet.[(triple3)] Harry is kind.[(triple4)] @1: Gary is not blue.[(((triple3) -> rule1))] Harry is not blue.[(((triple4) -> rule2) OR ((((triple4) -> rule5)) -> rule1))] Harry is quiet.[(((triple4) -> rule5))] @2: Harry is red.[(((((triple4) -> rule5)) -> rule7))] @3: Harry is nice.[(((((((triple4) -> rule5)) -> rule7)) -> rule4))]