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