Anne is big. Anne is nice. Bob is cold. Bob is not green. Bob is nice. Bob is not round. Bob is smart. Bob is white. Fiona is cold. Fiona is nice. Fiona is smart. Fiona is white. Harry is big. Harry is cold. Harry is not green. Harry is white. White, cold things are not green.
Fiona is nice.
@0: Anne is big.[(triple1)] Anne is nice.[(triple2)] Bob is cold.[(triple3)] Bob is nice.[(triple5)] Bob is not green.[(triple4 OR ((triple8 triple3) -> rule1))] Bob is not round.[(triple6)] Bob is smart.[(triple7)] Bob is white.[(triple8)] Fiona is cold.[(triple9)] Fiona is nice.[(triple10)] Fiona is smart.[(triple11)] Fiona is white.[(triple12)] Harry is big.[(triple13)] Harry is cold.[(triple14)] Harry is not green.[(triple15 OR ((triple16 triple14) -> rule1))] Harry is white.[(triple16)] @1: Fiona is not green.[(((triple12 triple9) -> rule1))]