The bald eagle is kind. The bald eagle is rough. The bald eagle needs the mouse. The cat is green. The cat is rough. The dog is rough. The dog likes the bald eagle. The dog likes the mouse. The dog needs the bald eagle. The mouse chases the bald eagle. The mouse chases the cat. The mouse is green. The mouse is nice. The mouse likes the dog. The mouse needs the bald eagle. If someone likes the mouse then they chase the dog. If someone needs the dog then the dog is big. If someone chases the mouse and they need the cat then the mouse likes the cat. If someone is kind then they like the bald eagle. If someone chases the cat and they are nice then the cat is rough. If someone chases the bald eagle then they like the cat. If someone chases the cat then the cat chases the bald eagle. If someone chases the mouse then the mouse chases the dog.
The mouse does not chase the dog.
@0: The bald eagle is kind.[(triple1)] The bald eagle is rough.[(triple2)] The bald eagle needs the mouse.[(triple3)] The cat is green.[(triple4)] The cat is rough.[(triple5 OR ((triple11 triple13) -> rule5))] The dog is rough.[(triple6)] The dog likes the bald eagle.[(triple7)] The dog likes the mouse.[(triple8)] The dog needs the bald eagle.[(triple9)] The mouse chases the bald eagle.[(triple10)] The mouse chases the cat.[(triple11)] The mouse is green.[(triple12)] The mouse is nice.[(triple13)] The mouse likes the dog.[(triple14)] The mouse needs the bald eagle.[(triple15)] @1: The bald eagle likes the bald eagle.[(((triple1) -> rule4))] The cat chases the bald eagle.[(((triple11) -> rule7))] The dog chases the dog.[(((triple8) -> rule1))] The mouse likes the cat.[(((triple10) -> rule6))] @2: The cat likes the cat.[(((((triple11) -> rule7)) -> rule6))]