The bald eagle is green. The bald eagle is rough. The bald eagle likes the cow. The bald eagle likes the dog. The bald eagle needs the bear. The bald eagle needs the cow. The bear is young. The cow needs the dog. The dog is big. The dog likes the bear. The dog visits the cow. If something likes the bear then the bear is young. If something likes the cow and the cow is green then the cow likes the bald eagle. If something needs the dog then it is big. If something visits the cow and the cow visits the dog then it needs the cow. If something likes the bear and the bear likes the dog then it visits the cow. If something is big then it visits the dog. If something is big and it needs the cow then the cow is green.
The cow visits the dog.
@0: The bald eagle is green.[(triple1)] The bald eagle is rough.[(triple2)] The bald eagle likes the cow.[(triple3)] The bald eagle likes the dog.[(triple4)] The bald eagle needs the bear.[(triple5)] The bald eagle needs the cow.[(triple6)] The bear is young.[(triple7 OR ((triple10) -> rule1))] The cow needs the dog.[(triple8)] The dog is big.[(triple9)] The dog likes the bear.[(triple10)] The dog visits the cow.[(triple11)] @1: The cow is big.[(((triple8) -> rule3))] The dog visits the dog.[(((triple9) -> rule6))] @2: The cow visits the dog.[(((((triple8) -> rule3)) -> rule6))] @3: The dog needs the cow.[(((triple11 ((((triple8) -> rule3)) -> rule6)) -> rule4))] @4: The cow is green.[(((triple9 ((triple11 ((((triple8) -> rule3)) -> rule6)) -> rule4)) -> rule7))] @5: The cow likes the bald eagle.[(((triple3 ((triple9 ((triple11 ((((triple8) -> rule3)) -> rule6)) -> rule4)) -> rule7)) -> rule2))]