Anne is big. Anne is not blue. Anne is not cold. Anne is green. Anne is not kind. Anne is not nice. Anne is smart. Bob is blue. Bob is not cold. Bob is green. Bob is not kind. Bob is smart. If Bob is cold and Bob is not green then Bob is not kind. If someone is big then they are smart. All green, nice people are not smart. If someone is kind then they are smart. If someone is big then they are not nice. If Bob is big and Bob is not kind then Bob is blue.
Anne is blue.
@0: Anne is big.[(triple1)] Anne is green.[(triple4)] Anne is not blue.[(triple2)] Anne is not cold.[(triple3)] Anne is not kind.[(triple5)] Anne is not nice.[(triple6 OR ((triple1) -> rule5))] Anne is smart.[(triple7 OR ((triple1) -> rule2))] Bob is blue.[(triple8)] Bob is green.[(triple10)] Bob is not cold.[(triple9)] Bob is not kind.[(triple11)] Bob is smart.[(triple12)]