Charlie is cold. Fiona is furry. If Charlie is red and Charlie is cold then Charlie is green. If Charlie is smart then Charlie is cold. All smart, furry people are round. If someone is furry and nice then they are not round. If someone is cold then they are not round. If Fiona is nice and Fiona is furry then Fiona is cold.
Fiona is not round.
@0: Charlie is cold.[(triple1)] Fiona is furry.[(triple2)] @1: Charlie is not round.[(((triple1) -> rule5))]