Charlie is smart. Fiona is cold. Fiona is green. Fiona is kind. Fiona is white. Gary is cold. Gary is green. Gary is kind. Gary is smart. Gary is white. If someone is green and furry then they are kind. All furry people are green. If someone is quiet and not green then they are cold. Quiet, furry people are smart. Smart people are not quiet. If Fiona is furry and Fiona is not kind then Fiona is not smart.
Fiona is not kind.
@0: Charlie is smart.[(triple1)] Fiona is cold.[(triple2)] Fiona is green.[(triple3)] Fiona is kind.[(triple4)] Fiona is white.[(triple5)] Gary is cold.[(triple6)] Gary is green.[(triple7)] Gary is kind.[(triple8)] Gary is smart.[(triple9)] Gary is white.[(triple10)] @1: Charlie is not quiet.[(((triple1) -> rule5))] Gary is not quiet.[(((triple9) -> rule5))]