Dave is cold. Dave is furry. Dave is quiet. Dave is smart. Harry is blue. Harry is cold. Harry is furry. Harry is kind. Harry is quiet. Harry is red. If Dave is blue and Dave is not smart then Dave is furry. All quiet people are cold.
Dave is red.
@0: Dave is cold.[(triple1 OR ((triple3) -> rule2))] Dave is furry.[(triple2)] Dave is quiet.[(triple3)] Dave is smart.[(triple4)] Harry is blue.[(triple5)] Harry is cold.[(triple6 OR ((triple9) -> rule2))] Harry is furry.[(triple7)] Harry is kind.[(triple8)] Harry is quiet.[(triple9)] Harry is red.[(triple10)]