The bear is cold. The bear likes the tiger. The bear sees the cat. The cat likes the tiger. The cat sees the mouse. The cat does not see the tiger. The cat visits the mouse. The mouse visits the tiger. The tiger is big. The tiger likes the cat. The tiger sees the cat. If someone visits the bear and they do not visit the tiger then they are not cold. If someone sees the cat and they visit the cat then the cat likes the mouse. If someone is big and they like the tiger then they visit the cat. If someone sees the cat then they like the tiger. If someone is cold then they do not see the bear. If someone likes the mouse then the mouse sees the cat. If someone sees the tiger and they do not visit the cat then they are round. If the tiger sees the bear and the tiger is not round then the bear does not like the cat.
The mouse does not visit the cat.
@0: The bear is cold.[(triple1)] The bear likes the tiger.[(triple2 OR ((triple3) -> rule4))] The bear sees the cat.[(triple3)] The cat does not see the tiger.[(triple6)] The cat likes the tiger.[(triple4)] The cat sees the mouse.[(triple5)] The cat visits the mouse.[(triple7)] The mouse visits the tiger.[(triple8)] The tiger is big.[(triple9)] The tiger likes the cat.[(triple10)] The tiger sees the cat.[(triple11)] @1: The bear does not see the bear.[(((triple1) -> rule5))] The tiger likes the tiger.[(((triple11) -> rule4))] @2: The tiger visits the cat.[(((triple9 ((triple11) -> rule4)) -> rule3))] @3: The cat likes the mouse.[(((triple11 ((triple9 ((triple11) -> rule4)) -> rule3)) -> rule2))] @4: The mouse sees the cat.[(((((triple11 ((triple9 ((triple11) -> rule4)) -> rule3)) -> rule2)) -> rule6))] @5: The mouse likes the tiger.[(((((((triple11 ((triple9 ((triple11) -> rule4)) -> rule3)) -> rule2)) -> rule6)) -> rule4))]