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