Anne is not blue. Anne is cold. Anne is kind. Anne is nice. Anne is quiet. Erin is quiet. Gary is not nice. Gary is rough. Harry is not blue. Harry is cold. Harry is nice. Harry is quiet. If Gary is not nice then Gary is cold. Rough, cold things are blue. If something is kind then it is cold. If something is white and not nice then it is quiet. If something is cold and blue then it is white. All kind, blue things are not white. If something is quiet and rough then it is not kind.
Harry is kind.
@0: Anne is cold.[(triple2 OR ((triple3) -> rule3))] Anne is kind.[(triple3)] Anne is nice.[(triple4)] Anne is not blue.[(triple1)] Anne is quiet.[(triple5)] Erin is quiet.[(triple6)] Gary is not nice.[(triple7)] Gary is rough.[(triple8)] Harry is cold.[(triple10)] Harry is nice.[(triple11)] Harry is not blue.[(triple9)] Harry is quiet.[(triple12)] @1: Gary is cold.[(((triple7) -> rule1))] @2: Gary is blue.[(((triple8 ((triple7) -> rule1)) -> rule2))] @3: Gary is white.[(((((triple7) -> rule1) ((triple8 ((triple7) -> rule1)) -> rule2)) -> rule5))] @4: Gary is quiet.[(((((((triple7) -> rule1) ((triple8 ((triple7) -> rule1)) -> rule2)) -> rule5) triple7) -> rule4))] @5: Gary is not kind.[(((((((((triple7) -> rule1) ((triple8 ((triple7) -> rule1)) -> rule2)) -> rule5) triple7) -> rule4) triple8) -> rule7))]