The bear eats the cow. The bear eats the squirrel. The bear is kind. The bear is young. The bear likes the dog. The bear likes the squirrel. The cow is red. The dog eats the cow. The dog is nice. The dog likes the cow. The dog visits the bear. The dog visits the cow. The dog visits the squirrel. The squirrel eats the bear. The squirrel visits the bear. If something likes the cow and it eats the dog then the cow is round. If the bear eats the cow then the cow is red.
The bear does not like the squirrel.
@0: The bear eats the cow.[(triple1)] The bear eats the squirrel.[(triple2)] The bear is kind.[(triple3)] The bear is young.[(triple4)] The bear likes the dog.[(triple5)] The bear likes the squirrel.[(triple6)] The cow is red.[(triple7 OR ((triple1) -> rule2))] The dog eats the cow.[(triple8)] The dog is nice.[(triple9)] The dog likes the cow.[(triple10)] The dog visits the bear.[(triple11)] The dog visits the cow.[(triple12)] The dog visits the squirrel.[(triple13)] The squirrel eats the bear.[(triple14)] The squirrel visits the bear.[(triple15)]