Bob is blue. Bob is not cold. Bob is green. Bob is smart. Bob is white. Charlie is big. Charlie is cold. Charlie is green. Charlie is red. Charlie is white. Fiona is not big. Fiona is blue. Fiona is cold. Fiona is red. Fiona is not white. If Charlie is cold and Charlie is not red then Charlie is not green. All red, white things are green. If something is big and smart then it is white.
Bob is cold.
@0: Bob is blue.[(triple1)] Bob is green.[(triple3)] Bob is not cold.[(triple2)] Bob is smart.[(triple4)] Bob is white.[(triple5)] Charlie is big.[(triple6)] Charlie is cold.[(triple7)] Charlie is green.[(triple8 OR ((triple9 triple10) -> rule2))] Charlie is red.[(triple9)] Charlie is white.[(triple10)] Fiona is blue.[(triple12)] Fiona is cold.[(triple13)] Fiona is not big.[(triple11)] Fiona is not white.[(triple15)] Fiona is red.[(triple14)]