Erin is smart. Erin is white. Fiona is nice. Gary is kind. Gary is nice. Harry is blue. Harry is smart. Kind, blue things are white. If Harry is kind then Harry is blue. Nice, white things are red. All white things are kind. If Harry is smart and Harry is young then Harry is blue. Kind things are nice.
Harry is not blue.
@0: Erin is smart.[(triple1)] Erin is white.[(triple2)] Fiona is nice.[(triple3)] Gary is kind.[(triple4)] Gary is nice.[(triple5 OR ((triple4) -> rule6))] Harry is blue.[(triple6)] Harry is smart.[(triple7)] @1: Erin is kind.[(((triple2) -> rule4))] @2: Erin is nice.[(((((triple2) -> rule4)) -> rule6))] @3: Erin is red.[(((((((triple2) -> rule4)) -> rule6) triple2) -> rule3))]