Bob is big. Bob is cold. Bob is green. Bob is nice. Bob is quiet. Charlie is big. Charlie is nice. Charlie is quiet. Charlie is not red. Fiona is big. Fiona is cold. Fiona is green. Fiona is quiet. Fiona is white. Harry is nice. Harry is quiet. All quiet people are white. If Harry is green then Harry is not white.
Fiona is not cold.
@0: Bob is big.[(triple1)] Bob is cold.[(triple2)] Bob is green.[(triple3)] Bob is nice.[(triple4)] Bob is quiet.[(triple5)] Charlie is big.[(triple6)] Charlie is nice.[(triple7)] Charlie is not red.[(triple9)] Charlie is quiet.[(triple8)] Fiona is big.[(triple10)] Fiona is cold.[(triple11)] Fiona is green.[(triple12)] Fiona is quiet.[(triple13)] Fiona is white.[(triple14 OR ((triple13) -> rule1))] Harry is nice.[(triple15)] Harry is quiet.[(triple16)] @1: Bob is white.[(((triple5) -> rule1))] Charlie is white.[(((triple8) -> rule1))] Harry is white.[(((triple16) -> rule1))]