Gary is green. Gary is not kind. Gary is round. Harry is big. Harry is not green. Harry is kind. Harry is quiet. Harry is not red. Harry is rough. Harry is round. Red people are green. Kind people are not green. If Gary is green and Gary is not round then Gary is quiet. If someone is kind then they are big. If Harry is round and Harry is red then Harry is kind. If someone is round and green then they are not red. If Gary is quiet and Gary is not round then Gary is not rough. All red people are quiet.
Harry is not red.
@0: Gary is green.[(triple1)] Gary is not kind.[(triple2)] Gary is round.[(triple3)] Harry is big.[(triple4 OR ((triple6) -> rule4))] Harry is kind.[(triple6)] Harry is not green.[(triple5 OR ((triple6) -> rule2))] Harry is not red.[(triple8)] Harry is quiet.[(triple7)] Harry is rough.[(triple9)] Harry is round.[(triple10)] @1: Gary is not red.[(((triple3 triple1) -> rule6))]