Charlie is cold. Charlie is not furry. Charlie is smart. Charlie is white. Dave is not blue. Dave is furry. Dave is red. Dave is smart. Dave is young. Harry is cold. If something is blue and smart then it is furry. If Dave is not red then Dave is white. If something is young and not blue then it is smart. If something is smart and not young then it is not cold. If Charlie is furry then Charlie is not smart. If something is smart and not blue then it is white. If something is smart and not furry then it is white. If something is red and not blue then it is white.
Harry is not smart.
@0: Charlie is cold.[(triple1)] Charlie is not furry.[(triple2)] Charlie is smart.[(triple3)] Charlie is white.[(triple4 OR ((triple3 triple2) -> rule7))] Dave is furry.[(triple6)] Dave is not blue.[(triple5)] Dave is red.[(triple7)] Dave is smart.[(triple8 OR ((triple9 triple5) -> rule3))] Dave is young.[(triple9)] Harry is cold.[(triple10)] @1: Dave is white.[(((triple7 triple5) -> rule8) OR ((triple8 triple5) -> rule6) OR ((((triple9 triple5) -> rule3) triple5) -> rule6))]