The bald eagle is green. The bald eagle is not red. The cat is green. The cat needs the bald eagle. The mouse chases the cat. The mouse is big. The mouse is blue. The squirrel chases the cat. The squirrel chases the mouse. The squirrel does not need the bald eagle. The squirrel does not need the cat. The squirrel does not see the cat. If someone needs the squirrel and the squirrel does not need the mouse then the squirrel chases the cat. If the mouse chases the bald eagle then the mouse chases the squirrel. If the bald eagle needs the mouse and the bald eagle is not green then the mouse does not need the cat. If the cat sees the bald eagle then the cat is big. If someone is rough and big then they see the bald eagle. If someone is blue then they chase the bald eagle. If someone is red then they do not chase the squirrel. If the bald eagle does not need the squirrel and the squirrel does not see the bald eagle then the squirrel sees the cat.
The mouse chases the bald eagle.
@0: The bald eagle is green.[(triple1)] The bald eagle is not red.[(triple2)] The cat is green.[(triple3)] The cat needs the bald eagle.[(triple4)] The mouse chases the cat.[(triple5)] The mouse is big.[(triple6)] The mouse is blue.[(triple7)] The squirrel chases the cat.[(triple8)] The squirrel chases the mouse.[(triple9)] The squirrel does not need the bald eagle.[(triple10)] The squirrel does not need the cat.[(triple11)] The squirrel does not see the cat.[(triple12)] @1: The mouse chases the bald eagle.[(((triple7) -> rule6))] @2: The mouse chases the squirrel.[(((((triple7) -> rule6)) -> rule2))]