The bald eagle likes the cat. The bald eagle likes the lion. The cat is big. The cat is kind. The cat is nice. The cat likes the lion. The cat does not visit the bald eagle. The cat visits the tiger. The lion is cold. The lion likes the cat. The lion does not visit the bald eagle. The lion does not visit the cat. The tiger eats the cat. The tiger eats the lion. The tiger is cold. The tiger likes the bald eagle. If the cat visits the lion and the lion likes the bald eagle then the lion visits the bald eagle. If something is nice and big then it likes the lion. If something likes the cat and it does not visit the cat then it does not like the bald eagle. If something visits the tiger and it does not eat the cat then the tiger is big. If something visits the lion and it is big then the lion is not big. If something is nice then it visits the lion.
The lion is not big.
@0: The bald eagle likes the cat.[(triple1)] The bald eagle likes the lion.[(triple2)] The cat does not visit the bald eagle.[(triple7)] The cat is big.[(triple3)] The cat is kind.[(triple4)] The cat is nice.[(triple5)] The cat likes the lion.[(triple6 OR ((triple5 triple3) -> rule2))] The cat visits the tiger.[(triple8)] The lion does not visit the bald eagle.[(triple11)] The lion does not visit the cat.[(triple12)] The lion is cold.[(triple9)] The lion likes the cat.[(triple10)] The tiger eats the cat.[(triple13)] The tiger eats the lion.[(triple14)] The tiger is cold.[(triple15)] The tiger likes the bald eagle.[(triple16)] @1: The cat visits the lion.[(((triple5) -> rule6))] The lion does not like the bald eagle.[(((triple10 triple12) -> rule3))] @2: The lion is not big.[(((((triple5) -> rule6) triple3) -> rule5))]