The bald eagle chases the mouse. The bald eagle is green. The bald eagle is kind. The bald eagle likes the rabbit. The cat chases the rabbit. The cat eats the mouse. The mouse eats the bald eagle. The mouse eats the cat. The mouse is rough. The rabbit chases the cat. The rabbit is nice. The rabbit likes the mouse. If the rabbit is green and the rabbit chases the cat then the cat eats the rabbit. If something eats the rabbit and it likes the rabbit then the rabbit chases the cat. If something eats the cat then the cat chases the rabbit. If something likes the cat and it chases the cat then it is green. If something eats the rabbit then the rabbit likes the cat. If something is rough then it eats the rabbit. If something eats the rabbit then the rabbit is nice. If something eats the bald eagle and it is nice then the bald eagle eats the cat.
The bald eagle does not eat the rabbit.
@0: The bald eagle chases the mouse.[(triple1)] The bald eagle is green.[(triple2)] The bald eagle is kind.[(triple3)] The bald eagle likes the rabbit.[(triple4)] The cat chases the rabbit.[(triple5 OR ((triple8) -> rule3))] The cat eats the mouse.[(triple6)] The mouse eats the bald eagle.[(triple7)] The mouse eats the cat.[(triple8)] The mouse is rough.[(triple9)] The rabbit chases the cat.[(triple10)] The rabbit is nice.[(triple11 OR ((((triple9) -> rule6)) -> rule7) OR ((((((((((triple9) -> rule6)) -> rule5) triple10) -> rule4) triple10) -> rule1)) -> rule7))] The rabbit likes the mouse.[(triple12)] @1: The mouse eats the rabbit.[(((triple9) -> rule6))] @2: The rabbit likes the cat.[(((((triple9) -> rule6)) -> rule5))] @3: The rabbit is green.[(((((((triple9) -> rule6)) -> rule5) triple10) -> rule4))] @4: The cat eats the rabbit.[(((((((((triple9) -> rule6)) -> rule5) triple10) -> rule4) triple10) -> rule1))]