The bear is not big. The bear needs the mouse. The bear does not need the tiger. The bear visits the mouse. The bear visits the tiger. The mouse is cold. The mouse is kind. The mouse needs the tiger. The mouse does not see the bear. The mouse sees the tiger. The tiger is cold. The tiger is green. The tiger needs the mouse. The tiger visits the bear. The tiger visits the mouse. If someone needs the bear then they see the mouse. If someone is kind and they visit the bear then they visit the tiger. If someone visits the mouse then they visit the bear. If someone visits the tiger and they visit the mouse then the mouse needs the bear. If the tiger is big then the tiger visits the bear. If someone sees the tiger and the tiger does not see the bear then the bear visits the mouse. If someone sees the mouse then the mouse visits the bear. If the mouse is red then the mouse does not see the bear.
The tiger does not visit the tiger.
@0: The bear does not need the tiger.[(triple3)] The bear is not big.[(triple1)] The bear needs the mouse.[(triple2)] The bear visits the mouse.[(triple4)] The bear visits the tiger.[(triple5)] The mouse does not see the bear.[(triple9)] The mouse is cold.[(triple6)] The mouse is kind.[(triple7)] The mouse needs the tiger.[(triple8)] The mouse sees the tiger.[(triple10)] The tiger is cold.[(triple11)] The tiger is green.[(triple12)] The tiger needs the mouse.[(triple13)] The tiger visits the bear.[(triple14 OR ((triple15) -> rule3))] The tiger visits the mouse.[(triple15)] @1: The bear visits the bear.[(((triple4) -> rule3))] The mouse needs the bear.[(((triple5 triple4) -> rule4))] @2: The mouse sees the mouse.[(((((triple5 triple4) -> rule4)) -> rule1))] @3: The mouse visits the bear.[(((((((triple5 triple4) -> rule4)) -> rule1)) -> rule7))] @4: The mouse visits the tiger.[(((triple7 ((((((triple5 triple4) -> rule4)) -> rule1)) -> rule7)) -> rule2))]