Gary is blue. Gary is not red. Gary is round. Gary is smart. Gary is not white. Harry is blue. Harry is white. All red things are not round. If something is smart then it is round. If Gary is red then Gary is not quiet. If Gary is quiet then Gary is not red. If something is blue then it is not red. If something is kind and not round then it is white. Smart, red things are white. If something is blue and not quiet then it is white.
Harry is not blue.
@0: Gary is blue.[(triple1)] Gary is not red.[(triple2 OR ((triple1) -> rule5))] Gary is not white.[(triple5)] Gary is round.[(triple3 OR ((triple4) -> rule2))] Gary is smart.[(triple4)] Harry is blue.[(triple6)] Harry is white.[(triple7)] @1: Harry is not red.[(((triple6) -> rule5))]