Dave is blue. Dave is not cold. Dave is not furry. Dave is nice. Dave is not white. Harry is not cold. Harry is furry. Harry is not nice. Harry is quiet. Harry is white. If someone is nice and quiet then they are white. If Dave is round and Dave is not white then Dave is furry. All cold, nice people are round. If someone is white and furry then they are not round. If someone is white and round then they are not cold. Round people are not cold. If someone is nice and not cold then they are blue. If someone is furry and not quiet then they are blue.
Harry is not nice.
@0: Dave is blue.[(triple1 OR ((triple4 triple2) -> rule7))] Dave is nice.[(triple4)] Dave is not cold.[(triple2)] Dave is not furry.[(triple3)] Dave is not white.[(triple5)] Harry is furry.[(triple7)] Harry is not cold.[(triple6)] Harry is not nice.[(triple8)] Harry is quiet.[(triple9)] Harry is white.[(triple10)] @1: Harry is not round.[(((triple10 triple7) -> rule4))]