Anne is cold. Anne is quiet. Charlie is blue. Charlie is green. Charlie is quiet. Charlie is red. Charlie is smart. Charlie is white. Dave is quiet. Dave is red. Dave is white. Gary is green. All red things are quiet. If Dave is blue and Dave is red then Dave is smart.
Charlie is not smart.
@0: Anne is cold.[(triple1)] Anne is quiet.[(triple2)] Charlie is blue.[(triple3)] Charlie is green.[(triple4)] Charlie is quiet.[(triple5 OR ((triple6) -> rule1))] Charlie is red.[(triple6)] Charlie is smart.[(triple7)] Charlie is white.[(triple8)] Dave is quiet.[(triple9 OR ((triple10) -> rule1))] Dave is red.[(triple10)] Dave is white.[(triple11)] Gary is green.[(triple12)]