The bear is round. The bear sees the cow. The bear visits the cow. The cat eats the cow. The cat eats the squirrel. The cat does not see the bear. The cat visits the bear. The cow eats the bear. The cow is big. The cow is kind. The cow sees the cat. The cow does not visit the cat. The squirrel is red. The squirrel visits the cat. The squirrel visits the cow. If something sees the cat and it is not kind then it sees the bear. If something eats the bear and the bear is cold then it sees the bear. If the squirrel is red and the squirrel does not see the cat then the squirrel eats the cat. If something sees the bear then it is big. If something sees the cow then it is cold. If something sees the bear then the bear sees the cow. If something sees the cow and it eats the cow then the cow visits the cat. If something sees the cat and it is not big then the cat does not eat the squirrel.
The squirrel does not eat the cat.
@0: The bear is round.[(triple1)] The bear sees the cow.[(triple2)] The bear visits the cow.[(triple3)] The cat does not see the bear.[(triple6)] The cat eats the cow.[(triple4)] The cat eats the squirrel.[(triple5)] The cat visits the bear.[(triple7)] The cow does not visit the cat.[(triple12)] The cow eats the bear.[(triple8)] The cow is big.[(triple9 OR ((((triple8 ((triple2) -> rule5)) -> rule2)) -> rule4))] The cow is kind.[(triple10)] The cow sees the cat.[(triple11)] The squirrel is red.[(triple13)] The squirrel visits the cat.[(triple14)] The squirrel visits the cow.[(triple15)] @1: The bear is cold.[(((triple2) -> rule5))] @2: The cow sees the bear.[(((triple8 ((triple2) -> rule5)) -> rule2))]