The cow needs the squirrel. The cow sees the squirrel. The cow visits the rabbit. The rabbit is green. The rabbit is rough. The rabbit needs the cow. The rabbit needs the squirrel. The rabbit sees the cow. The squirrel needs the rabbit. The squirrel sees the cow. The squirrel sees the rabbit. The squirrel visits the rabbit. If someone needs the cow and the cow is kind then they need the squirrel. If someone sees the squirrel and the squirrel visits the cow then they need the cow. If someone needs the squirrel and the squirrel needs the rabbit then the rabbit visits the squirrel. If someone visits the squirrel then the squirrel visits the cow. If the rabbit sees the squirrel and the rabbit visits the squirrel then the rabbit visits the cow. If someone is kind and they visit the rabbit then the rabbit visits the cow. If someone visits the rabbit and the rabbit needs the squirrel then the squirrel needs the cow. If someone needs the squirrel then they are cold.
The squirrel does not visit the cow.
@0: The cow needs the squirrel.[(triple1)] The cow sees the squirrel.[(triple2)] The cow visits the rabbit.[(triple3)] The rabbit is green.[(triple4)] The rabbit is rough.[(triple5)] The rabbit needs the cow.[(triple6)] The rabbit needs the squirrel.[(triple7)] The rabbit sees the cow.[(triple8)] The squirrel needs the rabbit.[(triple9)] The squirrel sees the cow.[(triple10)] The squirrel sees the rabbit.[(triple11)] The squirrel visits the rabbit.[(triple12)] @1: The cow is cold.[(((triple1) -> rule8))] The rabbit is cold.[(((triple7) -> rule8))] The rabbit visits the squirrel.[(((triple1 triple9) -> rule3) OR ((triple7 triple9) -> rule3))] The squirrel needs the cow.[(((triple12 triple7) -> rule7) OR ((triple3 triple7) -> rule7))] @2: The squirrel visits the cow.[(((((triple1 triple9) -> rule3)) -> rule4) OR ((((triple7 triple9) -> rule3)) -> rule4))] @3: The cow needs the cow.[(((triple2 ((((triple1 triple9) -> rule3)) -> rule4)) -> rule2) OR ((triple2 ((((triple7 triple9) -> rule3)) -> rule4)) -> rule2))]