The bear eats the cow. The bear is big. The bear is not blue. The bear is not red. The bear is round. The bear is young. The bear likes the cow. The bear sees the cow. The cow eats the bear. The cow is blue. The cow is red. The cow is round. The cow is young. The cow likes the bear. The cow sees the bear. If the bear eats the cow and the bear does not like the cow then the cow does not eat the bear. If someone likes the cow then the cow likes the bear. If someone sees the cow and the cow sees the bear then they like the bear. If someone is round and they do not eat the bear then the bear sees the cow. If someone sees the cow and they do not like the cow then the cow is not blue. If someone likes the bear then they see the bear.
The cow does not see the cow.
@0: The bear eats the cow.[(triple1)] The bear is big.[(triple2)] The bear is not blue.[(triple3)] The bear is not red.[(triple4)] The bear is round.[(triple5)] The bear is young.[(triple6)] The bear likes the cow.[(triple7)] The bear sees the cow.[(triple8)] The cow eats the bear.[(triple9)] The cow is blue.[(triple10)] The cow is red.[(triple11)] The cow is round.[(triple12)] The cow is young.[(triple13)] The cow likes the bear.[(triple14 OR ((triple7) -> rule2))] The cow sees the bear.[(triple15 OR ((triple14) -> rule6) OR ((((triple7) -> rule2)) -> rule6))] @1: The bear likes the bear.[(((triple8 triple15) -> rule3) OR ((triple8 ((triple14) -> rule6)) -> rule3) OR ((triple8 ((((triple7) -> rule2)) -> rule6)) -> rule3))] @2: The bear sees the bear.[(((((triple8 triple15) -> rule3)) -> rule6) OR ((((triple8 ((triple14) -> rule6)) -> rule3)) -> rule6) OR ((((triple8 ((((triple7) -> rule2)) -> rule6)) -> rule3)) -> rule6))]