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