The bear eats the cow. The bear eats the dog. The bear likes the dog. The bear sees the dog. The cow is nice. The dog eats the bear. The dog eats the cow. The dog is red. The dog is young. The dog likes the bear. If something sees the cow then the cow eats the bear. If the cow likes the dog and the cow eats the bear then the dog sees the cow. If something likes the dog then the dog sees the cow. If something eats the bear and it eats the dog then the bear sees the dog. If something likes the bear and it sees the bear then the bear eats the cow. If something is young and it eats the cow then it eats the bear.
The cow is red.
@0: The bear eats the cow.[(triple1)] The bear eats the dog.[(triple2)] The bear likes the dog.[(triple3)] The bear sees the dog.[(triple4)] The cow is nice.[(triple5)] The dog eats the bear.[(triple6 OR ((triple9 triple7) -> rule6))] The dog eats the cow.[(triple7)] The dog is red.[(triple8)] The dog is young.[(triple9)] The dog likes the bear.[(triple10)] @1: The dog sees the cow.[(((triple3) -> rule3))] @2: The cow eats the bear.[(((((triple3) -> rule3)) -> rule1))]