The bear eats the cow. The bear eats the rabbit. The bear is red. The bear likes the rabbit. The bear sees the cow. The bear sees the rabbit. The cow is green. The cow likes the bear. The cow likes the rabbit. The rabbit eats the bear. The rabbit is red. The rabbit likes the bear. If the rabbit sees the bear then the rabbit likes the cow. If someone sees the bear then they eat the bear. If someone is cold and red then they see the cow. If someone eats the rabbit then they like the cow. If someone likes the bear and the bear likes the rabbit then they see the rabbit. If someone eats the bear then they like the bear.
The rabbit eats the bear.
@0: The bear eats the cow.[(triple1)] The bear eats the rabbit.[(triple2)] The bear is red.[(triple3)] The bear likes the rabbit.[(triple4)] The bear sees the cow.[(triple5)] The bear sees the rabbit.[(triple6)] The cow is green.[(triple7)] The cow likes the bear.[(triple8)] The cow likes the rabbit.[(triple9)] The rabbit eats the bear.[(triple10)] The rabbit is red.[(triple11)] The rabbit likes the bear.[(triple12 OR ((triple10) -> rule6))] @1: The bear likes the cow.[(((triple2) -> rule4))] The cow sees the rabbit.[(((triple8 triple4) -> rule5))] The rabbit sees the rabbit.[(((triple12 triple4) -> rule5) OR ((((triple10) -> rule6) triple4) -> rule5))]