The bear chases the dog. The bear is big. The bear is blue. The bear is nice. The bear is red. The bear does not visit the dog. The dog chases the bear. The dog is big. The dog is nice. The dog is red. The dog sees the bear. The dog visits the bear. If something is nice and not big then it visits the dog. If something sees the bear then the bear does not visit the dog. If something chases the dog and the dog visits the bear then the dog is red. If something is round and not blue then it chases the dog. If something chases the bear then it chases the dog. If something sees the bear and the bear sees the dog then it does not visit the bear.
The bear is not big.
@0: The bear chases the dog.[(triple1)] The bear does not visit the dog.[(triple6 OR ((triple11) -> rule2))] The bear is big.[(triple2)] The bear is blue.[(triple3)] The bear is nice.[(triple4)] The bear is red.[(triple5)] The dog chases the bear.[(triple7)] The dog is big.[(triple8)] The dog is nice.[(triple9)] The dog is red.[(triple10 OR ((triple1 triple12) -> rule3) OR ((((triple7) -> rule5) triple12) -> rule3))] The dog sees the bear.[(triple11)] The dog visits the bear.[(triple12)] @1: The dog chases the dog.[(((triple7) -> rule5))]