Bob is not big. Dave is not cold. Gary is not furry. Harry is round. Smart people are not quiet. All nice, round people are quiet. Big, cold people are quiet. If someone is furry and smart then they are not cold. If Harry is furry then Harry is not smart. If Gary is smart then Gary is not furry. If Bob is big and Bob is not nice then Bob is not smart. All smart, cold people are big.
Gary is furry.
@0: Bob is not big.[(triple1)] Dave is not cold.[(triple2)] Gary is not furry.[(triple3)] Harry is round.[(triple4)]