The bald eagle chases the cow. The bald eagle is not nice. The bald eagle is not red. The bear is green. The cow chases the bear. The cow is green. The cow needs the bald eagle. The cow needs the mouse. The mouse chases the bear. The mouse likes the bear. The mouse does not need the bear. The mouse needs the cow. If the bald eagle chases the mouse then the mouse is rough. Green people are blue. If someone chases the cow then the cow is rough. If someone is blue then they chase the bald eagle. If the cow chases the bald eagle then the bald eagle is green.
The bald eagle chases the mouse.
@0: The bald eagle chases the cow.[(triple1)] The bald eagle is not nice.[(triple2)] The bald eagle is not red.[(triple3)] The bear is green.[(triple4)] The cow chases the bear.[(triple5)] The cow is green.[(triple6)] The cow needs the bald eagle.[(triple7)] The cow needs the mouse.[(triple8)] The mouse chases the bear.[(triple9)] The mouse does not need the bear.[(triple11)] The mouse likes the bear.[(triple10)] The mouse needs the cow.[(triple12)] @1: The bear is blue.[(((triple4) -> rule2))] The cow is blue.[(((triple6) -> rule2))] The cow is rough.[(((triple1) -> rule3))] @2: The bear chases the bald eagle.[(((((triple4) -> rule2)) -> rule4))] The cow chases the bald eagle.[(((((triple6) -> rule2)) -> rule4))] @3: The bald eagle is green.[(((((((triple6) -> rule2)) -> rule4)) -> rule5))] @4: The bald eagle is blue.[(((((((((triple6) -> rule2)) -> rule4)) -> rule5)) -> rule2))] @5: The bald eagle chases the bald eagle.[(((((((((((triple6) -> rule2)) -> rule4)) -> rule5)) -> rule2)) -> rule4))]