The bald eagle chases the cat. The bald eagle chases the tiger. The bald eagle is blue. The bald eagle is cold. The bald eagle is nice. The bald eagle likes the cat. The bald eagle likes the tiger. The bald eagle visits the cat. The bald eagle visits the tiger. The cat chases the bald eagle. The cat chases the tiger. The cat is big. The cat is blue. The cat is kind. The cat visits the bald eagle. The tiger visits the bald eagle. If the cat visits the bald eagle and the cat likes the bald eagle then the bald eagle chases the cat. If someone visits the cat and they chase the bald eagle then the cat chases the tiger. If someone visits the bald eagle and the bald eagle is nice then they are big.
The cat is big.
@0: The bald eagle chases the cat.[(triple1)] The bald eagle chases the tiger.[(triple2)] The bald eagle is blue.[(triple3)] The bald eagle is cold.[(triple4)] The bald eagle is nice.[(triple5)] The bald eagle likes the cat.[(triple6)] The bald eagle likes the tiger.[(triple7)] The bald eagle visits the cat.[(triple8)] The bald eagle visits the tiger.[(triple9)] The cat chases the bald eagle.[(triple10)] The cat chases the tiger.[(triple11)] The cat is big.[(triple12 OR ((triple15 triple5) -> rule3))] The cat is blue.[(triple13)] The cat is kind.[(triple14)] The cat visits the bald eagle.[(triple15)] The tiger visits the bald eagle.[(triple16)] @1: The tiger is big.[(((triple16 triple5) -> rule3))]