Dave is blue. Dave is cold. Dave is furry. Dave is round. Dave is white. Erin is furry. Erin is not green. Fiona is blue. Fiona is not cold. Fiona is furry. Fiona is green. Fiona is round. Fiona is not white. Harry is not blue. Harry is cold. Harry is round. If someone is cold then they are furry. If Fiona is white and Fiona is round then Fiona is blue. If Fiona is white and Fiona is green then Fiona is not blue.
Erin is not kind.
@0: Dave is blue.[(triple1)] Dave is cold.[(triple2)] Dave is furry.[(triple3 OR ((triple2) -> rule1))] Dave is round.[(triple4)] Dave is white.[(triple5)] Erin is furry.[(triple6)] Erin is not green.[(triple7)] Fiona is blue.[(triple8)] Fiona is furry.[(triple10)] Fiona is green.[(triple11)] Fiona is not cold.[(triple9)] Fiona is not white.[(triple13)] Fiona is round.[(triple12)] Harry is cold.[(triple15)] Harry is not blue.[(triple14)] Harry is round.[(triple16)] @1: Harry is furry.[(((triple15) -> rule1))]