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