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