The bear is big. The bear is cold. The bear needs the mouse. The bear sees the mouse. The lion is cold. The lion is green. The lion is young. The lion needs the bear. The lion sees the bear. The lion sees the mouse. The lion sees the tiger. The lion visits the mouse. The lion visits the tiger. The mouse needs the bear. The mouse needs the tiger. The tiger is cold. If something is cold then it visits the bear. If something needs the tiger then it needs the lion. Green things are round. If something is round and it visits the mouse then it is big. If the tiger visits the bear and the tiger is young then the tiger is round. If something needs the lion then the lion needs the bear. If something visits the mouse and it sees the tiger then the tiger is cold. If something visits the tiger and it is big then the tiger sees the lion.
The tiger does not see the lion.
@0: The bear is big.[(triple1)] The bear is cold.[(triple2)] The bear needs the mouse.[(triple3)] The bear sees the mouse.[(triple4)] The lion is cold.[(triple5)] The lion is green.[(triple6)] The lion is young.[(triple7)] The lion needs the bear.[(triple8 OR ((((triple15) -> rule2)) -> rule6))] The lion sees the bear.[(triple9)] The lion sees the mouse.[(triple10)] The lion sees the tiger.[(triple11)] The lion visits the mouse.[(triple12)] The lion visits the tiger.[(triple13)] The mouse needs the bear.[(triple14)] The mouse needs the tiger.[(triple15)] The tiger is cold.[(triple16 OR ((triple12 triple11) -> rule7))] @1: The bear visits the bear.[(((triple2) -> rule1))] The lion is round.[(((triple6) -> rule3))] The lion visits the bear.[(((triple5) -> rule1))] The mouse needs the lion.[(((triple15) -> rule2))] The tiger visits the bear.[(((triple16) -> rule1) OR ((((triple12 triple11) -> rule7)) -> rule1))] @2: The lion is big.[(((((triple6) -> rule3) triple12) -> rule4))] @3: The tiger sees the lion.[(((triple13 ((((triple6) -> rule3) triple12) -> rule4)) -> rule8))]