The bald eagle is big. The bald eagle is red. The bald eagle sees the cat. The bald eagle sees the mouse. The cat is rough. The cat likes the bald eagle. The cat needs the mouse. The cow needs the mouse. The mouse likes the cow. The mouse sees the cat. If someone sees the cat then they are rough. If someone sees the cat and they like the cow then they are rough. If the cow likes the cat then the cat sees the cow. If someone needs the cat and the cat is rough then they like the bald eagle. If someone needs the cow then they need the bald eagle. If someone is red then they like the bald eagle. If someone needs the cat then the cat needs the cow. If someone needs the cat then they like the bald eagle.
The cat sees the cow.
@0: The bald eagle is big.[(triple1)] The bald eagle is red.[(triple2)] The bald eagle sees the cat.[(triple3)] The bald eagle sees the mouse.[(triple4)] The cat is rough.[(triple5)] The cat likes the bald eagle.[(triple6)] The cat needs the mouse.[(triple7)] The cow needs the mouse.[(triple8)] The mouse likes the cow.[(triple9)] The mouse sees the cat.[(triple10)] @1: The bald eagle is rough.[(((triple3) -> rule1))] The bald eagle likes the bald eagle.[(((triple2) -> rule6))] The mouse is rough.[(((triple10) -> rule1) OR ((triple10 triple9) -> rule2))]