The bear is rough. The bear does not visit the mouse. The cat likes the tiger. The mouse is not green. The mouse is rough. The mouse likes the bear. The mouse likes the cat. The mouse does not see the cat. The mouse visits the bear. The tiger is big. The tiger is green. The tiger is rough. The tiger is round. The tiger likes the mouse. The tiger visits the cat. The tiger visits the mouse. If something sees the bear and it visits the mouse then the mouse does not like the cat. If something visits the cat then the cat is round. If the tiger visits the cat and the cat sees the bear then the cat is green. If something sees the mouse and the mouse likes the cat then the mouse is kind. If something is round then it sees the cat. If the cat sees the tiger then the tiger sees the cat. If something sees the cat then it sees the tiger. If something visits the mouse and it is not green then the mouse sees the cat.
The bear does not see the tiger.
@0: The bear does not visit the mouse.[(triple2)] The bear is rough.[(triple1)] The cat likes the tiger.[(triple3)] The mouse does not see the cat.[(triple8)] The mouse is not green.[(triple4)] The mouse is rough.[(triple5)] The mouse likes the bear.[(triple6)] The mouse likes the cat.[(triple7)] The mouse visits the bear.[(triple9)] The tiger is big.[(triple10)] The tiger is green.[(triple11)] The tiger is rough.[(triple12)] The tiger is round.[(triple13)] The tiger likes the mouse.[(triple14)] The tiger visits the cat.[(triple15)] The tiger visits the mouse.[(triple16)] @1: The cat is round.[(((triple15) -> rule2))] The tiger sees the cat.[(((triple13) -> rule5) OR ((((((((triple15) -> rule2)) -> rule5)) -> rule7)) -> rule6))] @2: The cat sees the cat.[(((((triple15) -> rule2)) -> rule5))] The tiger sees the tiger.[(((((triple13) -> rule5)) -> rule7) OR ((((((((((triple15) -> rule2)) -> rule5)) -> rule7)) -> rule6)) -> rule7))] @3: The cat sees the tiger.[(((((((triple15) -> rule2)) -> rule5)) -> rule7))]