Charlie is kind. Fiona is red. Gary is red. Harry is nice. Rough, green people are cold. All rough, green people are red. If someone is green then they are cold. Furry people are kind. Red, furry people are kind. All green people are kind. All nice people are green. If Fiona is kind then Fiona is red.
Fiona is nice.
@0: Charlie is kind.[(triple1)] Fiona is red.[(triple2)] Gary is red.[(triple3)] Harry is nice.[(triple4)] @1: Harry is green.[(((triple4) -> rule7))] @2: Harry is cold.[(((((triple4) -> rule7)) -> rule3))] Harry is kind.[(((((triple4) -> rule7)) -> rule6))]