The bear is green. The bear needs the mouse. The bear needs the tiger. The mouse visits the tiger. The tiger is not blue. The tiger is nice. The tiger does not need the mouse. If the mouse visits the tiger then the tiger visits the bear. If someone visits the tiger and they are not rough then they see the tiger. If someone needs the bear and they visit the mouse then they do not visit the bear. If someone is cold then they visit the bear. If the tiger visits the bear and the bear is green then the tiger sees the mouse. If someone is nice then they are cold. If the bear needs the tiger and the tiger does not visit the bear then the bear sees the mouse. If someone sees the mouse then the mouse sees the bear.
The tiger sees the mouse.
@0: The bear is green.[(triple1)] The bear needs the mouse.[(triple2)] The bear needs the tiger.[(triple3)] The mouse visits the tiger.[(triple4)] The tiger does not need the mouse.[(triple7)] The tiger is nice.[(triple6)] The tiger is not blue.[(triple5)] @1: The tiger is cold.[(((triple6) -> rule6))] The tiger visits the bear.[(((triple4) -> rule1) OR ((((triple6) -> rule6)) -> rule4))] @2: The tiger sees the mouse.[(((((triple4) -> rule1) triple1) -> rule5) OR ((((((triple6) -> rule6)) -> rule4) triple1) -> rule5))] @3: The mouse sees the bear.[(((((((triple4) -> rule1) triple1) -> rule5)) -> rule8) OR ((((((((triple6) -> rule6)) -> rule4) triple1) -> rule5)) -> rule8))]