The bald eagle chases the cow. The bald eagle is rough. The bald eagle likes the cow. The bald eagle needs the dog. The cow chases the bald eagle. The cow chases the dog. The cow is big. The cow likes the bald eagle. The cow likes the dog. The dog likes the bald eagle. The dog needs the bald eagle. The dog needs the cow. If someone chases the bald eagle then the bald eagle likes the dog. If someone is nice and they like the dog then the dog chases the cow. If someone is big then they chase the dog. If someone likes the bald eagle then the bald eagle likes the cow. All rough people are big. If someone needs the cow then the cow is blue.
The dog is not big.
@0: The bald eagle chases the cow.[(triple1)] The bald eagle is rough.[(triple2)] The bald eagle likes the cow.[(triple3 OR ((triple10) -> rule4) OR ((triple8) -> rule4))] The bald eagle needs the dog.[(triple4)] The cow chases the bald eagle.[(triple5)] The cow chases the dog.[(triple6 OR ((triple7) -> rule3))] The cow is big.[(triple7)] The cow likes the bald eagle.[(triple8)] The cow likes the dog.[(triple9)] The dog likes the bald eagle.[(triple10)] The dog needs the bald eagle.[(triple11)] The dog needs the cow.[(triple12)] @1: The bald eagle is big.[(((triple2) -> rule5))] The bald eagle likes the dog.[(((triple5) -> rule1))] The cow is blue.[(((triple12) -> rule6))] @2: The bald eagle chases the dog.[(((((triple2) -> rule5)) -> rule3))]