The bald eagle is big. The bald eagle is cold. The bald eagle is green. The bald eagle is red. The bald eagle likes the cat. The bald eagle needs the cat. The bald eagle does not visit the cat. The cat is not cold. The cat is not kind. The cat is red. The cat likes the bald eagle. The cat needs the bald eagle. If something needs the cat and it likes the bald eagle then the cat is not big. If the cat is green and the cat likes the bald eagle then the bald eagle is not red. If something is kind and it does not visit the bald eagle then it is big.
The cat is not big.
@0: The bald eagle does not visit the cat.[(triple7)] The bald eagle is big.[(triple1)] The bald eagle is cold.[(triple2)] The bald eagle is green.[(triple3)] The bald eagle is red.[(triple4)] The bald eagle likes the cat.[(triple5)] The bald eagle needs the cat.[(triple6)] The cat is not cold.[(triple8)] The cat is not kind.[(triple9)] The cat is red.[(triple10)] The cat likes the bald eagle.[(triple11)] The cat needs the bald eagle.[(triple12)]