Erin is not nice. Gary is blue. Gary is cold. Gary is not kind. Gary is not nice. Gary is rough. Gary is round. Harry is blue. Harry is cold. Harry is not furry. Harry is nice. Harry is rough. All nice things are not furry. All kind things are not round. If something is cold then it is round. If Erin is rough then Erin is not furry. Cold things are rough. If Harry is not rough then Harry is blue. If something is furry and not round then it is blue. If something is furry and cold then it is blue.
Erin is blue.
@0: Erin is not nice.[(triple1)] Gary is blue.[(triple2)] Gary is cold.[(triple3)] Gary is not kind.[(triple4)] Gary is not nice.[(triple5)] Gary is rough.[(triple6 OR ((triple3) -> rule5))] Gary is round.[(triple7 OR ((triple3) -> rule3))] Harry is blue.[(triple8)] Harry is cold.[(triple9)] Harry is nice.[(triple11)] Harry is not furry.[(triple10 OR ((triple11) -> rule1))] Harry is rough.[(triple12 OR ((triple9) -> rule5))] @1: Harry is round.[(((triple9) -> rule3))]