The bald eagle chases the tiger. The bald eagle is green. The bald eagle likes the mouse. The bald eagle likes the tiger. The dog needs the mouse. The mouse is rough. The tiger chases the bald eagle. The tiger chases the mouse. The tiger is round. The tiger likes the bald eagle. The tiger needs the bald eagle. If someone needs the mouse and the mouse chases the dog then the dog likes the tiger. If the dog likes the tiger and the tiger is green then the dog chases the mouse. If someone needs the dog then the dog needs the tiger. If someone is red then they chase the dog. If someone likes the tiger then they are red. If someone is rough then they like the tiger. If someone chases the tiger then the tiger needs the bald eagle. If someone needs the tiger and they like the bald eagle then the bald eagle needs the mouse.
The mouse is not red.
@0: The bald eagle chases the tiger.[(triple1)] The bald eagle is green.[(triple2)] The bald eagle likes the mouse.[(triple3)] The bald eagle likes the tiger.[(triple4)] The dog needs the mouse.[(triple5)] The mouse is rough.[(triple6)] The tiger chases the bald eagle.[(triple7)] The tiger chases the mouse.[(triple8)] The tiger is round.[(triple9)] The tiger likes the bald eagle.[(triple10)] The tiger needs the bald eagle.[(triple11 OR ((triple1) -> rule7))] @1: The bald eagle is red.[(((triple4) -> rule5))] The mouse likes the tiger.[(((triple6) -> rule6))] @2: The bald eagle chases the dog.[(((((triple4) -> rule5)) -> rule4))] The mouse is red.[(((((triple6) -> rule6)) -> rule5))] @3: The mouse chases the dog.[(((((((triple6) -> rule6)) -> rule5)) -> rule4))] @4: The dog likes the tiger.[(((triple5 ((((((triple6) -> rule6)) -> rule5)) -> rule4)) -> rule1))] @5: The dog is red.[(((((triple5 ((((((triple6) -> rule6)) -> rule5)) -> rule4)) -> rule1)) -> rule5))] @6: The dog chases the dog.[(((((((triple5 ((((((triple6) -> rule6)) -> rule5)) -> rule4)) -> rule1)) -> rule5)) -> rule4))]