Charlie is blue. Charlie is cold. Charlie is not furry. Charlie is red. Charlie is rough. Charlie is smart. Charlie is white. If something is furry and red then it is rough. All blue things are rough. If something is rough and not red then it is not furry. All furry, cold things are white. If something is furry and not red then it is white. If Charlie is rough and Charlie is not cold then Charlie is not white.
Charlie is red.
@0: Charlie is blue.[(triple1)] Charlie is cold.[(triple2)] Charlie is not furry.[(triple3)] Charlie is red.[(triple4)] Charlie is rough.[(triple5 OR ((triple1) -> rule2))] Charlie is smart.[(triple6)] Charlie is white.[(triple7)]