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