Charlie is not furry. Dave is blue. Dave is furry. Fiona is big. Fiona is blue. Fiona is cold. Fiona is not furry. Fiona is not nice. Fiona is red. Fiona is white. Harry is blue. Harry is cold. Harry is furry. Harry is nice. Harry is red. Harry is white. Blue people are cold. If Charlie is cold and Charlie is not big then Charlie is nice. If Harry is big then Harry is blue.
Charlie is not cold.
@0: Charlie is not furry.[(triple1)] Dave is blue.[(triple2)] Dave is furry.[(triple3)] Fiona is big.[(triple4)] Fiona is blue.[(triple5)] Fiona is cold.[(triple6 OR ((triple5) -> rule1))] Fiona is not furry.[(triple7)] Fiona is not nice.[(triple8)] Fiona is red.[(triple9)] Fiona is white.[(triple10)] Harry is blue.[(triple11)] Harry is cold.[(triple12 OR ((triple11) -> rule1))] Harry is furry.[(triple13)] Harry is nice.[(triple14)] Harry is red.[(triple15)] Harry is white.[(triple16)] @1: Dave is cold.[(((triple2) -> rule1))]