The cow sees the squirrel. The mouse is big. The mouse needs the cow. The squirrel sees the tiger. The tiger sees the cow. The tiger sees the mouse. The tiger visits the cow. If someone needs the tiger and they are rough then the tiger needs the squirrel. If someone is cold and they see the tiger then the tiger visits the cow. If the squirrel needs the tiger and the squirrel sees the mouse then the mouse sees the squirrel. If someone needs the tiger and they need the cow then the cow is blue. If someone needs the cow then they are rough. If someone is rough then they visit the mouse. If the tiger is big then the tiger needs the mouse. If the tiger needs the squirrel then the squirrel needs the cow. If someone is rough then they need the tiger.
The tiger is rough.
@0: The cow sees the squirrel.[(triple1)] The mouse is big.[(triple2)] The mouse needs the cow.[(triple3)] The squirrel sees the tiger.[(triple4)] The tiger sees the cow.[(triple5)] The tiger sees the mouse.[(triple6)] The tiger visits the cow.[(triple7)] @1: The mouse is rough.[(((triple3) -> rule5))] @2: The mouse needs the tiger.[(((((triple3) -> rule5)) -> rule9))] The mouse visits the mouse.[(((((triple3) -> rule5)) -> rule6))] @3: The cow is blue.[(((((((triple3) -> rule5)) -> rule9) triple3) -> rule4) OR ((((((((((((((triple3) -> rule5)) -> rule9) ((triple3) -> rule5)) -> rule1)) -> rule8)) -> rule5)) -> rule9) ((((((((triple3) -> rule5)) -> rule9) ((triple3) -> rule5)) -> rule1)) -> rule8)) -> rule4))] The tiger needs the squirrel.[(((((((triple3) -> rule5)) -> rule9) ((triple3) -> rule5)) -> rule1))] @4: The squirrel needs the cow.[(((((((((triple3) -> rule5)) -> rule9) ((triple3) -> rule5)) -> rule1)) -> rule8))] @5: The squirrel is rough.[(((((((((((triple3) -> rule5)) -> rule9) ((triple3) -> rule5)) -> rule1)) -> rule8)) -> rule5))] @6: The squirrel needs the tiger.[(((((((((((((triple3) -> rule5)) -> rule9) ((triple3) -> rule5)) -> rule1)) -> rule8)) -> rule5)) -> rule9))] The squirrel visits the mouse.[(((((((((((((triple3) -> rule5)) -> rule9) ((triple3) -> rule5)) -> rule1)) -> rule8)) -> rule5)) -> rule6))]