The cow is nice. The cow is round. The mouse needs the rabbit. The mouse sees the squirrel. The mouse visits the rabbit. The rabbit is nice. The rabbit is round. The rabbit needs the squirrel. The rabbit sees the mouse. The rabbit sees the squirrel. The rabbit visits the squirrel. The squirrel is green. The squirrel sees the cow. The squirrel sees the mouse. The squirrel visits the mouse. If someone visits the cow then the cow visits the rabbit. If the mouse sees the squirrel then the squirrel sees the cow. If someone sees the mouse then they see the rabbit. If someone sees the cow then the cow is red. If someone needs the cow then the cow visits the squirrel. If someone visits the mouse and they see the cow then the mouse sees the cow.
The cow does not visit the squirrel.
@0: The cow is nice.[(triple1)] The cow is round.[(triple2)] The mouse needs the rabbit.[(triple3)] The mouse sees the squirrel.[(triple4)] The mouse visits the rabbit.[(triple5)] The rabbit is nice.[(triple6)] The rabbit is round.[(triple7)] The rabbit needs the squirrel.[(triple8)] The rabbit sees the mouse.[(triple9)] The rabbit sees the squirrel.[(triple10)] The rabbit visits the squirrel.[(triple11)] The squirrel is green.[(triple12)] The squirrel sees the cow.[(triple13 OR ((triple4) -> rule2))] The squirrel sees the mouse.[(triple14)] The squirrel visits the mouse.[(triple15)] @1: The cow is red.[(((triple13) -> rule4) OR ((((triple4) -> rule2)) -> rule4) OR ((((triple15 triple13) -> rule6)) -> rule4) OR ((((triple15 ((triple4) -> rule2)) -> rule6)) -> rule4))] The mouse sees the cow.[(((triple15 triple13) -> rule6) OR ((triple15 ((triple4) -> rule2)) -> rule6))] The rabbit sees the rabbit.[(((triple9) -> rule3))] The squirrel sees the rabbit.[(((triple14) -> rule3))]