The bear eats the cow. The bear is kind. The bear likes the cat. The cat eats the squirrel. The cat is kind. The cat likes the cow. The cow is kind. The cow likes the cat. The squirrel eats the cat. The squirrel is young. If something likes the bear and the bear is big then the bear visits the squirrel. If something likes the cow then it likes the squirrel.
The cat does not like the squirrel.
@0: The bear eats the cow.[(triple1)] The bear is kind.[(triple2)] The bear likes the cat.[(triple3)] The cat eats the squirrel.[(triple4)] The cat is kind.[(triple5)] The cat likes the cow.[(triple6)] The cow is kind.[(triple7)] The cow likes the cat.[(triple8)] The squirrel eats the cat.[(triple9)] The squirrel is young.[(triple10)] @1: The cat likes the squirrel.[(((triple6) -> rule2))]