The bear chases the mouse. The bear chases the tiger. The bear is big. The bear is blue. The bear is green. The bear sees the mouse. The bear visits the mouse. The mouse chases the bear. The mouse chases the tiger. The mouse is blue. The mouse is nice. The mouse visits the bear. The tiger chases the mouse. The tiger is blue. The tiger is nice. The tiger visits the mouse. If something sees the mouse and it is green then the mouse visits the bear. If something chases the bear and the bear visits the tiger then it visits the tiger. If something chases the tiger and it chases the mouse then the tiger is blue.
The bear does not visit the tiger.
@0: The bear chases the mouse.[(triple1)] The bear chases the tiger.[(triple2)] The bear is big.[(triple3)] The bear is blue.[(triple4)] The bear is green.[(triple5)] The bear sees the mouse.[(triple6)] The bear visits the mouse.[(triple7)] The mouse chases the bear.[(triple8)] The mouse chases the tiger.[(triple9)] The mouse is blue.[(triple10)] The mouse is nice.[(triple11)] The mouse visits the bear.[(triple12 OR ((triple6 triple5) -> rule1))] The tiger chases the mouse.[(triple13)] The tiger is blue.[(triple14 OR ((triple2 triple1) -> rule3))] The tiger is nice.[(triple15)] The tiger visits the mouse.[(triple16)]