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