Charlie is cold. Charlie is kind. Dave is furry. Dave is not green. Dave is not kind. Dave is smart. Fiona is nice. Harry is big. Harry is not cold. Harry is not furry. Harry is nice. Harry is smart. Smart, furry things are not cold. Kind, green things are cold. Cold things are nice. If something is big and not kind then it is smart. All green things are furry. If Charlie is smart and Charlie is big then Charlie is furry.
Charlie is nice.
@0: Charlie is cold.[(triple1)] Charlie is kind.[(triple2)] Dave is furry.[(triple3)] Dave is not green.[(triple4)] Dave is not kind.[(triple5)] Dave is smart.[(triple6)] Fiona is nice.[(triple7)] Harry is big.[(triple8)] Harry is nice.[(triple11)] Harry is not cold.[(triple9)] Harry is not furry.[(triple10)] Harry is smart.[(triple12)] @1: Charlie is nice.[(((triple1) -> rule3))] Dave is not cold.[(((triple6 triple3) -> rule1))]