The bald eagle chases the cat. The bald eagle is big. The bald eagle is green. The bald eagle is kind. The bald eagle is nice. The bald eagle is not red. The bald eagle likes the cat. The bald eagle needs the cat. The cat does not chase the bald eagle. The cat is green. If something is kind then it needs the bald eagle. If the cat likes the bald eagle and the cat is green then the bald eagle needs the cat.
The cat is red.
@0: The bald eagle chases the cat.[(triple1)] The bald eagle is big.[(triple2)] The bald eagle is green.[(triple3)] The bald eagle is kind.[(triple4)] The bald eagle is nice.[(triple5)] The bald eagle is not red.[(triple6)] The bald eagle likes the cat.[(triple7)] The bald eagle needs the cat.[(triple8)] The cat does not chase the bald eagle.[(triple9)] The cat is green.[(triple10)] @1: The bald eagle needs the bald eagle.[(((triple4) -> rule1))]