The bear chases the mouse. The bear is nice. The bear is round. The bear likes the dog. The dog chases the bear. The dog is nice. The dog is red. The dog is rough. The dog likes the mouse. The dog sees the mouse. The mouse is cold. The mouse sees the bear. If someone likes the bear then the bear likes the mouse. If someone likes the dog then they chase the mouse. If the mouse likes the dog and the dog does not like the mouse then the mouse is nice. If someone chases the dog and the dog is red then the dog sees the bear. If someone likes the bear and the bear sees the dog then the bear is red. If someone is round and they do not see the mouse then they do not chase the bear.
The dog is not red.
@0: The bear chases the mouse.[(triple1 OR ((triple4) -> rule2))] The bear is nice.[(triple2)] The bear is round.[(triple3)] The bear likes the dog.[(triple4)] The dog chases the bear.[(triple5)] The dog is nice.[(triple6)] The dog is red.[(triple7)] The dog is rough.[(triple8)] The dog likes the mouse.[(triple9)] The dog sees the mouse.[(triple10)] The mouse is cold.[(triple11)] The mouse sees the bear.[(triple12)]