The cow is blue. The squirrel is blue. The squirrel is cold. If someone visits the squirrel then they eat the squirrel. If someone is blue then they visit the squirrel. If someone visits the squirrel then the squirrel does not eat the cow. If the squirrel is not cold then the squirrel eats the cow. If someone eats the cow then the cow is blue. If someone sees the squirrel and they visit the cow then the cow is young. If someone visits the squirrel and they do not eat the cow then the squirrel visits the cow. If someone visits the squirrel and they do not eat the cow then they visit the cow.
The cow does not visit the cow.
@0: The cow is blue.[(triple1)] The squirrel is blue.[(triple2)] The squirrel is cold.[(triple3)] @1: The cow visits the squirrel.[(((triple1) -> rule2))] The squirrel visits the squirrel.[(((triple2) -> rule2))] @2: The cow eats the squirrel.[(((((triple1) -> rule2)) -> rule1))] The squirrel does not eat the cow.[(((((triple1) -> rule2)) -> rule3) OR ((((triple2) -> rule2)) -> rule3))] The squirrel eats the squirrel.[(((((triple2) -> rule2)) -> rule1))] @3: The squirrel visits the cow.[(((((triple2) -> rule2) ((((triple1) -> rule2)) -> rule3)) -> rule7) OR ((((triple2) -> rule2) ((((triple1) -> rule2)) -> rule3)) -> rule8) OR ((((triple2) -> rule2) ((((triple2) -> rule2)) -> rule3)) -> rule7) OR ((((triple2) -> rule2) ((((triple2) -> rule2)) -> rule3)) -> rule8))]