Gary is not furry. Gary is not green. Gary is red. Gary is round. Gary is young. Harry is not cold. Harry is green. Harry is quiet. Harry is round. Harry is young. All green, quiet people are round. All red people are round. If someone is cold and young then they are green. If someone is cold and not red then they are not young. If Harry is furry then Harry is round. If Gary is green then Gary is not furry.
Harry is not red.
@0: Gary is not furry.[(triple1)] Gary is not green.[(triple2)] Gary is red.[(triple3)] Gary is round.[(triple4 OR ((triple3) -> rule2))] Gary is young.[(triple5)] Harry is green.[(triple7)] Harry is not cold.[(triple6)] Harry is quiet.[(triple8)] Harry is round.[(triple9 OR ((triple7 triple8) -> rule1))] Harry is young.[(triple10)]