Fiona is big. Fiona is cold. Fiona is green. Fiona is nice. Fiona is red. Fiona is smart. Fiona is white. Harry is big. Harry is cold. Harry is smart. All cold people are white.
Harry is not green.
@0: Fiona is big.[(triple1)] Fiona is cold.[(triple2)] Fiona is green.[(triple3)] Fiona is nice.[(triple4)] Fiona is red.[(triple5)] Fiona is smart.[(triple6)] Fiona is white.[(triple7 OR ((triple2) -> rule1))] Harry is big.[(triple8)] Harry is cold.[(triple9)] Harry is smart.[(triple10)] @1: Harry is white.[(((triple9) -> rule1))]