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