Bob is cold. Bob is nice. Bob is smart. Bob is white. Charlie is red. Dave is quiet. Dave is red. Fiona is cold. Fiona is quiet. Fiona is smart. If Charlie is white then Charlie is red. If someone is white then they are smart.
Bob is not smart.
@0: Bob is cold.[(triple1)] Bob is nice.[(triple2)] Bob is smart.[(triple3 OR ((triple4) -> rule2))] Bob is white.[(triple4)] Charlie is red.[(triple5)] Dave is quiet.[(triple6)] Dave is red.[(triple7)] Fiona is cold.[(triple8)] Fiona is quiet.[(triple9)] Fiona is smart.[(triple10)]