Erin is kind. Erin is not quiet. Erin is not rough. Gary is furry. Gary is nice. Gary is not quiet. Harry is green. Harry is not kind. Harry is nice. Harry is not quiet. If Erin is quiet and Erin is not rough then Erin is not furry. All quiet things are green. Green things are not round. All quiet things are round. All green things are not furry. If Harry is kind and Harry is not furry then Harry is round. If something is green and not round then it is nice. If Gary is nice then Gary is kind.
Gary is rough.
@0: Erin is kind.[(triple1)] Erin is not quiet.[(triple2)] Erin is not rough.[(triple3)] Gary is furry.[(triple4)] Gary is nice.[(triple5)] Gary is not quiet.[(triple6)] Harry is green.[(triple7)] Harry is nice.[(triple9 OR ((triple7 ((triple7) -> rule3)) -> rule7))] Harry is not kind.[(triple8)] Harry is not quiet.[(triple10)] @1: Gary is kind.[(((triple5) -> rule8))] Harry is not furry.[(((triple7) -> rule5))] Harry is not round.[(((triple7) -> rule3))]