The bear sees the lion. The lion likes the bear. The lion likes the tiger. The lion sees the tiger. The mouse is cold. The tiger likes the bear. The tiger likes the lion. If the mouse sees the tiger and the tiger visits the bear then the mouse sees the lion. If something sees the bear then the bear likes the lion. If something is rough then it likes the tiger. If something likes the bear then it visits the lion. If the tiger is cold and the tiger is red then the tiger likes the lion. If something sees the tiger then it is rough. If something likes the bear then it sees the tiger. If the bear is red then the bear sees the mouse.
The mouse is not red.
@0: The bear sees the lion.[(triple1)] The lion likes the bear.[(triple2)] The lion likes the tiger.[(triple3 OR ((((triple4) -> rule6)) -> rule3) OR ((((((triple2) -> rule7)) -> rule6)) -> rule3))] The lion sees the tiger.[(triple4 OR ((triple2) -> rule7))] The mouse is cold.[(triple5)] The tiger likes the bear.[(triple6)] The tiger likes the lion.[(triple7)] @1: The lion is rough.[(((triple4) -> rule6) OR ((((triple2) -> rule7)) -> rule6))] The lion visits the lion.[(((triple2) -> rule4))] The tiger sees the tiger.[(((triple6) -> rule7))] The tiger visits the lion.[(((triple6) -> rule4))] @2: The tiger is rough.[(((((triple6) -> rule7)) -> rule6))] @3: The tiger likes the tiger.[(((((((triple6) -> rule7)) -> rule6)) -> rule3))]