Dave is blue. Dave is furry. Dave is nice. Dave is not quiet. Dave is smart. Dave is young. Harry is blue. Harry is cold. Harry is furry. Harry is young. Smart things are nice. If something is blue then it is nice. Quiet things are not cold. If something is smart and cold then it is not furry. If something is quiet and not cold then it is furry. If something is smart then it is furry. If something is cold then it is furry. If Dave is not furry then Dave is young.
Dave is not cold.
@0: Dave is blue.[(triple1)] Dave is furry.[(triple2 OR ((triple5) -> rule6))] Dave is nice.[(triple3 OR ((triple1) -> rule2) OR ((triple5) -> rule1))] Dave is not quiet.[(triple4)] Dave is smart.[(triple5)] Dave is young.[(triple6)] Harry is blue.[(triple7)] Harry is cold.[(triple8)] Harry is furry.[(triple9 OR ((triple8) -> rule7))] Harry is young.[(triple10)] @1: Harry is nice.[(((triple7) -> rule2))]