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