The mouse is kind. The mouse is rough. The mouse likes the squirrel. The mouse needs the squirrel. The mouse needs the tiger. The mouse sees the squirrel. The squirrel is cold. The squirrel is rough. The squirrel does not like the mouse. The squirrel does not like the tiger. The squirrel needs the tiger. The tiger is nice. The tiger is not rough. The tiger needs the squirrel. The tiger does not see the mouse. If someone sees the tiger then the tiger is kind. If someone is rough then they need the mouse. If someone likes the squirrel and the squirrel likes the mouse then they are young. If someone needs the mouse then the mouse sees the tiger. If someone sees the squirrel and they are rough then they need the tiger. If the tiger likes the squirrel then the squirrel likes the mouse. If someone likes the squirrel then the squirrel sees the mouse. If someone is kind then they like the tiger.
The mouse sees the tiger.
@0: The mouse is kind.[(triple1)] The mouse is rough.[(triple2)] The mouse likes the squirrel.[(triple3)] The mouse needs the squirrel.[(triple4)] The mouse needs the tiger.[(triple5 OR ((triple6 triple2) -> rule5))] The mouse sees the squirrel.[(triple6)] The squirrel does not like the mouse.[(triple9)] The squirrel does not like the tiger.[(triple10)] The squirrel is cold.[(triple7)] The squirrel is rough.[(triple8)] The squirrel needs the tiger.[(triple11)] The tiger does not see the mouse.[(triple15)] The tiger is nice.[(triple12)] The tiger is not rough.[(triple13)] The tiger needs the squirrel.[(triple14)] @1: The mouse likes the tiger.[(((triple1) -> rule8))] The mouse needs the mouse.[(((triple2) -> rule2))] The squirrel needs the mouse.[(((triple8) -> rule2))] The squirrel sees the mouse.[(((triple3) -> rule7))] @2: The mouse sees the tiger.[(((((triple2) -> rule2)) -> rule4) OR ((((triple8) -> rule2)) -> rule4))] @3: The tiger is kind.[(((((((triple2) -> rule2)) -> rule4)) -> rule1) OR ((((((triple8) -> rule2)) -> rule4)) -> rule1))] @4: The tiger likes the tiger.[(((((((((triple2) -> rule2)) -> rule4)) -> rule1)) -> rule8) OR ((((((((triple8) -> rule2)) -> rule4)) -> rule1)) -> rule8))]