The bald eagle chases the cow. The bald eagle is big. The bear chases the bald eagle. The bear is green. The bear is nice. The bear does not like the cat. The cat chases the bald eagle. The cat chases the cow. The cat is big. The cat is kind. The cat does not like the bald eagle. The cow chases the cat. The cow likes the bald eagle. The cow likes the cat. The cow needs the bear. The cow does not need the cat. If someone needs the bald eagle and the bald eagle likes the cat then they need the cat. If someone chases the bear then the bear chases the cow. If the cat likes the bear and the bear likes the bald eagle then the bear is big. Nice, cold people are kind. If someone chases the cow then they are kind. If someone likes the cat then the cat is not green. If someone likes the bald eagle and they do not chase the cat then the cat is big. If someone chases the cat then they chase the bear.
The bear does not chase the cat.
@0: The bald eagle chases the cow.[(triple1)] The bald eagle is big.[(triple2)] The bear chases the bald eagle.[(triple3)] The bear does not like the cat.[(triple6)] The bear is green.[(triple4)] The bear is nice.[(triple5)] The cat chases the bald eagle.[(triple7)] The cat chases the cow.[(triple8)] The cat does not like the bald eagle.[(triple11)] The cat is big.[(triple9)] The cat is kind.[(triple10 OR ((triple8) -> rule5))] The cow chases the cat.[(triple12)] The cow does not need the cat.[(triple16)] The cow likes the bald eagle.[(triple13)] The cow likes the cat.[(triple14)] The cow needs the bear.[(triple15)] @1: The bald eagle is kind.[(((triple1) -> rule5))] The cat is not green.[(((triple14) -> rule6))] The cow chases the bear.[(((triple12) -> rule8))] @2: The bear chases the cow.[(((((triple12) -> rule8)) -> rule2))] @3: The bear is kind.[(((((((triple12) -> rule8)) -> rule2)) -> rule5))]