The bald eagle chases the cow. The bald eagle does not chase the tiger. The bald eagle is rough. The bald eagle visits the bear. The bald eagle visits the tiger. The bear chases the tiger. The bear is green. The bear needs the bald eagle. The bear visits the bald eagle. The cow chases the bald eagle. The cow is big. The tiger does not need the bald eagle. If someone needs the bald eagle then they are green. If someone visits the bear and they are green then the bear needs the cow. If the bear is cold and the bear is big then the bear needs the tiger. If someone visits the bear and the bear needs the bald eagle then they do not chase the bear. If someone is round and they need the tiger then they visit the bear. If someone is green and they chase the tiger then the tiger is green.
The tiger does not visit the bear.
@0: The bald eagle chases the cow.[(triple1)] The bald eagle does not chase the tiger.[(triple2)] The bald eagle is rough.[(triple3)] The bald eagle visits the bear.[(triple4)] The bald eagle visits the tiger.[(triple5)] The bear chases the tiger.[(triple6)] The bear is green.[(triple7 OR ((triple8) -> rule1))] The bear needs the bald eagle.[(triple8)] The bear visits the bald eagle.[(triple9)] The cow chases the bald eagle.[(triple10)] The cow is big.[(triple11)] The tiger does not need the bald eagle.[(triple12)] @1: The bald eagle does not chase the bear.[(((triple4 triple8) -> rule4))] The tiger is green.[(((triple7 triple6) -> rule6) OR ((((triple8) -> rule1) triple6) -> rule6))]