The bear eats the cat. The bear eats the cow. The bear is green. The bear is kind. The bear visits the cat. The cat is young. The cat needs the squirrel. The cat visits the cow. The cow eats the bear. The cow is cold. The cow visits the bear. The squirrel eats the cat. If something is cold then it visits the squirrel. If something eats the cow then the cow is green. If something needs the cow and the cow is cold then the cow eats the cat. If something visits the cow and the cow eats the bear then the bear visits the squirrel. If something is cold then it needs the cat. If something visits the squirrel then the squirrel is green.
The cat does not visit the squirrel.
@0: The bear eats the cat.[(triple1)] The bear eats the cow.[(triple2)] The bear is green.[(triple3)] The bear is kind.[(triple4)] The bear visits the cat.[(triple5)] The cat is young.[(triple6)] The cat needs the squirrel.[(triple7)] The cat visits the cow.[(triple8)] The cow eats the bear.[(triple9)] The cow is cold.[(triple10)] The cow visits the bear.[(triple11)] The squirrel eats the cat.[(triple12)] @1: The bear visits the squirrel.[(((triple8 triple9) -> rule4))] The cow is green.[(((triple2) -> rule2))] The cow needs the cat.[(((triple10) -> rule5))] The cow visits the squirrel.[(((triple10) -> rule1))] @2: The squirrel is green.[(((((triple10) -> rule1)) -> rule6) OR ((((triple8 triple9) -> rule4)) -> rule6))]