Charlie is round. Gary is furry. Harry is not furry. If something is nice and blue then it is not red. All furry, smart things are red. If something is blue and big then it is not round. Furry, nice things are not round. If something is big and blue then it is not round. If something is nice and red then it is blue. If something is furry and not big then it is smart. If Harry is not furry and Harry is not blue then Harry is round.
Charlie is furry.
@0: Charlie is round.[(triple1)] Gary is furry.[(triple2)] Harry is not furry.[(triple3)]