The cow does not eat the mouse. The cow does not visit the squirrel. The mouse is nice. The mouse sees the cow. The mouse does not see the tiger. The mouse visits the squirrel. The squirrel eats the mouse. The squirrel is nice. The squirrel does not see the cow. The squirrel visits the cow. The tiger eats the cow. The tiger eats the squirrel. The tiger is not young. The tiger sees the mouse. The tiger sees the squirrel. The tiger visits the mouse. If something visits the mouse then it eats the cow. If something eats the tiger and it sees the squirrel then the squirrel does not see the cow. If something sees the squirrel and the squirrel eats the cow then it is blue. If something is nice then it visits the mouse. If something is nice and it eats the cow then the cow visits the mouse. If something visits the mouse and it does not eat the mouse then the mouse is rough. If something eats the cow and it is rough then it does not eat the squirrel. If the cow eats the squirrel and the squirrel eats the cow then the cow sees the squirrel. If the squirrel is not blue then the squirrel sees the tiger.
The mouse visits the tiger.
@0: The cow does not eat the mouse.[(triple1)] The cow does not visit the squirrel.[(triple2)] The mouse does not see the tiger.[(triple5)] The mouse is nice.[(triple3)] The mouse sees the cow.[(triple4)] The mouse visits the squirrel.[(triple6)] The squirrel does not see the cow.[(triple9)] The squirrel eats the mouse.[(triple7)] The squirrel is nice.[(triple8)] The squirrel visits the cow.[(triple10)] The tiger eats the cow.[(triple11 OR ((triple16) -> rule1))] The tiger eats the squirrel.[(triple12)] The tiger is not young.[(triple13)] The tiger sees the mouse.[(triple14)] The tiger sees the squirrel.[(triple15)] The tiger visits the mouse.[(triple16)] @1: The mouse visits the mouse.[(((triple3) -> rule4))] The squirrel visits the mouse.[(((triple8) -> rule4))] @2: The mouse eats the cow.[(((((triple3) -> rule4)) -> rule1))] The squirrel eats the cow.[(((((triple8) -> rule4)) -> rule1))] @3: The cow visits the mouse.[(((triple3 ((((triple3) -> rule4)) -> rule1)) -> rule5) OR ((triple8 ((((triple8) -> rule4)) -> rule1)) -> rule5))] The tiger is blue.[(((triple15 ((((triple8) -> rule4)) -> rule1)) -> rule3))] @4: The cow eats the cow.[(((((triple3 ((((triple3) -> rule4)) -> rule1)) -> rule5)) -> rule1) OR ((((triple8 ((((triple8) -> rule4)) -> rule1)) -> rule5)) -> rule1))] The mouse is rough.[(((((triple3 ((((triple3) -> rule4)) -> rule1)) -> rule5) triple1) -> rule6) OR ((((triple8 ((((triple8) -> rule4)) -> rule1)) -> rule5) triple1) -> rule6))] @5: The mouse does not eat the squirrel.[(((((((triple3) -> rule4)) -> rule1) ((((triple3 ((((triple3) -> rule4)) -> rule1)) -> rule5) triple1) -> rule6)) -> rule7) OR ((((((triple3) -> rule4)) -> rule1) ((((triple8 ((((triple8) -> rule4)) -> rule1)) -> rule5) triple1) -> rule6)) -> rule7))]