Erin is blue. Erin is cold. Erin is red. Fiona is big. Fiona is nice. Fiona is red. Fiona is white. Harry is big. Harry is blue. Harry is cold. Harry is kind. Harry is nice. If someone is red then they are white.
Erin is not blue.
@0: Erin is blue.[(triple1)] Erin is cold.[(triple2)] Erin is red.[(triple3)] Fiona is big.[(triple4)] Fiona is nice.[(triple5)] Fiona is red.[(triple6)] Fiona is white.[(triple7 OR ((triple6) -> rule1))] Harry is big.[(triple8)] Harry is blue.[(triple9)] Harry is cold.[(triple10)] Harry is kind.[(triple11)] Harry is nice.[(triple12)] @1: Erin is white.[(((triple3) -> rule1))]