Gary is furry. Gary is green. Gary is kind. Gary is nice. Gary is rough. Gary is round. Gary is not white. Harry is furry. Harry is green. Harry is kind. Harry is nice. Harry is rough. Harry is round. Harry is not white. If Harry is kind and Harry is green then Harry is rough. Nice people are kind. If someone is furry and not nice then they are round. If someone is round and not green then they are furry. If someone is round and not nice then they are not white. Rough people are not white. All white people are rough. If someone is green and not kind then they are rough.
Gary is not nice.
@0: Gary is furry.[(triple1)] Gary is green.[(triple2)] Gary is kind.[(triple3 OR ((triple4) -> rule2))] Gary is nice.[(triple4)] Gary is not white.[(triple7 OR ((triple5) -> rule6))] Gary is rough.[(triple5)] Gary is round.[(triple6)] Harry is furry.[(triple8)] Harry is green.[(triple9)] Harry is kind.[(triple10 OR ((triple11) -> rule2))] Harry is nice.[(triple11)] Harry is not white.[(triple14 OR ((triple12) -> rule6) OR ((((triple10 triple9) -> rule1)) -> rule6) OR ((((((triple11) -> rule2) triple9) -> rule1)) -> rule6))] Harry is rough.[(triple12 OR ((triple10 triple9) -> rule1) OR ((((triple11) -> rule2) triple9) -> rule1))] Harry is round.[(triple13)]