Bob is furry. Bob is quiet. Bob is round. Dave is cold. Dave is furry. Dave is green. Dave is not quiet. Dave is red. Dave is round. Fiona is furry. Fiona is red. Fiona is not round. Harry is not blue. Harry is furry. Harry is red. If something is red and quiet then it is cold. If Harry is furry and Harry is not blue then Harry is not cold.
Bob is cold.
@0: Bob is furry.[(triple1)] Bob is quiet.[(triple2)] Bob is round.[(triple3)] Dave is cold.[(triple4)] Dave is furry.[(triple5)] Dave is green.[(triple6)] Dave is not quiet.[(triple7)] Dave is red.[(triple8)] Dave is round.[(triple9)] Fiona is furry.[(triple10)] Fiona is not round.[(triple12)] Fiona is red.[(triple11)] Harry is furry.[(triple14)] Harry is not blue.[(triple13)] Harry is red.[(triple15)] @1: Harry is not cold.[(((triple14 triple13) -> rule2))]