Charlie is cold. Charlie is nice. Charlie is red. Charlie is smart. Charlie is white. Dave is cold. Dave is nice. Dave is smart. Dave is white. Gary is cold. If Charlie is smart then Charlie is blue. All red, cold people are smart.
Dave is white.
@0: Charlie is cold.[(triple1)] Charlie is nice.[(triple2)] Charlie is red.[(triple3)] Charlie is smart.[(triple4 OR ((triple3 triple1) -> rule2))] Charlie is white.[(triple5)] Dave is cold.[(triple6)] Dave is nice.[(triple7)] Dave is smart.[(triple8)] Dave is white.[(triple9)] Gary is cold.[(triple10)] @1: Charlie is blue.[(((triple4) -> rule1) OR ((((triple3 triple1) -> rule2)) -> rule1))]