Gary is not blue. Gary is furry. Gary is quiet. Gary is round. Gary is smart. Gary is not white. Gary is not young. Harry is not blue. Harry is furry. Harry is quiet. Harry is round. Harry is smart. Harry is white. Harry is young. If Harry is not round then Harry is not white. If someone is young and furry then they are white. If someone is young and not blue then they are furry. If Gary is not round then Gary is quiet. If someone is round and not furry then they are quiet. If someone is round and not furry then they are quiet.
Gary is white.
@0: Gary is furry.[(triple2)] Gary is not blue.[(triple1)] Gary is not white.[(triple6)] Gary is not young.[(triple7)] Gary is quiet.[(triple3)] Gary is round.[(triple4)] Gary is smart.[(triple5)] Harry is furry.[(triple9 OR ((triple14 triple8) -> rule3))] Harry is not blue.[(triple8)] Harry is quiet.[(triple10)] Harry is round.[(triple11)] Harry is smart.[(triple12)] Harry is white.[(triple13 OR ((triple14 triple9) -> rule2) OR ((triple14 ((triple14 triple8) -> rule3)) -> rule2))] Harry is young.[(triple14)]