The bald eagle is nice. The bald eagle is young. The bald eagle needs the cat. The cat needs the tiger. The cat visits the tiger. The mouse is red. The mouse is young. The mouse needs the bald eagle. The mouse needs the cat. The mouse sees the cat. The mouse visits the bald eagle. The tiger sees the bald eagle. If someone is red then they are big.
The cat visits the bald eagle.
@0: The bald eagle is nice.[(triple1)] The bald eagle is young.[(triple2)] The bald eagle needs the cat.[(triple3)] The cat needs the tiger.[(triple4)] The cat visits the tiger.[(triple5)] The mouse is red.[(triple6)] The mouse is young.[(triple7)] The mouse needs the bald eagle.[(triple8)] The mouse needs the cat.[(triple9)] The mouse sees the cat.[(triple10)] The mouse visits the bald eagle.[(triple11)] The tiger sees the bald eagle.[(triple12)] @1: The mouse is big.[(((triple6) -> rule1))]