Charlie is furry. Charlie is nice. Charlie is red. Erin is cold. Erin is green. Erin is kind. Erin is nice. Erin is white. Fiona is cold. Fiona is furry. Fiona is green. Fiona is red. Harry is kind. Harry is nice. Harry is red. If Erin is green and Erin is not white then Erin is not cold. Green things are red.
Harry is not cold.
@0: Charlie is furry.[(triple1)] Charlie is nice.[(triple2)] Charlie is red.[(triple3)] Erin is cold.[(triple4)] Erin is green.[(triple5)] Erin is kind.[(triple6)] Erin is nice.[(triple7)] Erin is white.[(triple8)] Fiona is cold.[(triple9)] Fiona is furry.[(triple10)] Fiona is green.[(triple11)] Fiona is red.[(triple12 OR ((triple11) -> rule2))] Harry is kind.[(triple13)] Harry is nice.[(triple14)] Harry is red.[(triple15)] @1: Erin is red.[(((triple5) -> rule2))]