The bear is green. The bear visits the squirrel. The cat is red. The cat needs the bear. The cat needs the squirrel. The cat sees the cow. The cow needs the squirrel. The cow sees the bear. The cow sees the cat. The squirrel is red. The squirrel visits the cat. The squirrel visits the cow. If the squirrel sees the cat and the cat visits the cow then the cat is young. If something visits the bear then the bear visits the squirrel. If something is nice and it visits the cat then it is green. If the squirrel is red and the squirrel needs the bear then the squirrel is nice. If something is young then it sees the squirrel. If something needs the squirrel and it sees the cat then the cat sees the cow. If something needs the bear and the bear visits the squirrel then it sees the squirrel. If something sees the squirrel then it needs the bear.
The bear does not see the squirrel.
@0: The bear is green.[(triple1)] The bear visits the squirrel.[(triple2)] The cat is red.[(triple3)] The cat needs the bear.[(triple4)] The cat needs the squirrel.[(triple5)] The cat sees the cow.[(triple6 OR ((triple7 triple9) -> rule6))] The cow needs the squirrel.[(triple7)] The cow sees the bear.[(triple8)] The cow sees the cat.[(triple9)] The squirrel is red.[(triple10)] The squirrel visits the cat.[(triple11)] The squirrel visits the cow.[(triple12)] @1: The cat sees the squirrel.[(((triple4 triple2) -> rule7))]