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