Charlie is cold. Fiona is nice. Gary is furry. Harry is furry. If someone is cold then they are blue. Blue, smart people are nice. Round, furry people are white. Cold people are blue. If someone is white and round then they are smart. Nice, furry people are smart. Cold people are nice. If someone is round and furry then they are nice.
Harry is not furry.
@0: Charlie is cold.[(triple1)] Fiona is nice.[(triple2)] Gary is furry.[(triple3)] Harry is furry.[(triple4)] @1: Charlie is blue.[(((triple1) -> rule1) OR ((triple1) -> rule4))] Charlie is nice.[(((triple1) -> rule7))]