The bald eagle needs the cow. The bald eagle needs the tiger. The bald eagle sees the cow. The cow is big. The cow needs the bald eagle. The cow needs the tiger. The mouse eats the cow. The mouse is blue. The mouse is cold. The mouse needs the bald eagle. The mouse sees the cow. The mouse sees the tiger. The tiger eats the cow. The tiger needs the bald eagle. The tiger needs the cow. The tiger needs the mouse. If someone needs the tiger then they are red. If the mouse needs the bald eagle and the bald eagle needs the cow then the mouse needs the cow. If the cow needs the mouse and the mouse sees the cow then the mouse is big. If someone eats the mouse then they see the cow. If someone sees the mouse and they see the bald eagle then the bald eagle needs the tiger. If someone is big then they see the bald eagle. If someone is big and they see the bald eagle then they need the mouse.
The cow eats the mouse.
@0: The bald eagle needs the cow.[(triple1)] The bald eagle needs the tiger.[(triple2)] The bald eagle sees the cow.[(triple3)] The cow is big.[(triple4)] The cow needs the bald eagle.[(triple5)] The cow needs the tiger.[(triple6)] The mouse eats the cow.[(triple7)] The mouse is blue.[(triple8)] The mouse is cold.[(triple9)] The mouse needs the bald eagle.[(triple10)] The mouse sees the cow.[(triple11)] The mouse sees the tiger.[(triple12)] The tiger eats the cow.[(triple13)] The tiger needs the bald eagle.[(triple14)] The tiger needs the cow.[(triple15)] The tiger needs the mouse.[(triple16)] @1: The bald eagle is red.[(((triple2) -> rule1))] The cow is red.[(((triple6) -> rule1))] The cow sees the bald eagle.[(((triple4) -> rule6))] The mouse needs the cow.[(((triple10 triple1) -> rule2))] @2: The cow needs the mouse.[(((triple4 ((triple4) -> rule6)) -> rule7))] @3: The mouse is big.[(((((triple4 ((triple4) -> rule6)) -> rule7) triple11) -> rule3))] @4: The mouse sees the bald eagle.[(((((((triple4 ((triple4) -> rule6)) -> rule7) triple11) -> rule3)) -> rule6))] @5: The mouse needs the mouse.[(((((((triple4 ((triple4) -> rule6)) -> rule7) triple11) -> rule3) ((((((triple4 ((triple4) -> rule6)) -> rule7) triple11) -> rule3)) -> rule6)) -> rule7))]