Bob is cold. Bob is smart. Charlie is blue. Charlie is cold. Charlie is nice. Charlie is quiet. Charlie is round. Charlie is smart. Charlie is white. Dave is blue. Dave is cold. Dave is nice. Dave is quiet. Dave is round. Dave is smart. If something is white and nice then it is blue. Smart things are nice.
Charlie is not round.
@0: Bob is cold.[(triple1)] Bob is smart.[(triple2)] Charlie is blue.[(triple3 OR ((triple9 triple5) -> rule1) OR ((triple9 ((triple8) -> rule2)) -> rule1))] Charlie is cold.[(triple4)] Charlie is nice.[(triple5 OR ((triple8) -> rule2))] Charlie is quiet.[(triple6)] Charlie is round.[(triple7)] Charlie is smart.[(triple8)] Charlie is white.[(triple9)] Dave is blue.[(triple10)] Dave is cold.[(triple11)] Dave is nice.[(triple12 OR ((triple15) -> rule2))] Dave is quiet.[(triple13)] Dave is round.[(triple14)] Dave is smart.[(triple15)] @1: Bob is nice.[(((triple2) -> rule2))]