Anne is blue. Anne is not cold. Anne is smart. Anne is young. Bob is big. Bob is blue. Bob is cold. Bob is rough. Bob is smart. Bob is white. Bob is not young. Dave is blue. Dave is cold. Dave is rough. Dave is not smart. Dave is white. If something is cold and big then it is rough. If something is white and not blue then it is big.
Anne is white.
@0: Anne is blue.[(triple1)] Anne is not cold.[(triple2)] Anne is smart.[(triple3)] Anne is young.[(triple4)] Bob is big.[(triple5)] Bob is blue.[(triple6)] Bob is cold.[(triple7)] Bob is not young.[(triple11)] Bob is rough.[(triple8 OR ((triple7 triple5) -> rule1))] Bob is smart.[(triple9)] Bob is white.[(triple10)] Dave is blue.[(triple12)] Dave is cold.[(triple13)] Dave is not smart.[(triple15)] Dave is rough.[(triple14)] Dave is white.[(triple16)]