The bald eagle is blue. The bald eagle is not cold. The bald eagle is not kind. The bald eagle is red. The bald eagle does not see the tiger. The cat is cold. The cat does not like the bald eagle. The cat sees the bald eagle. The tiger eats the cat. The tiger is blue. The tiger is nice. The tiger sees the bald eagle. If something sees the cat then it is red. If something sees the bald eagle then it likes the cat. If something is nice and it likes the tiger then it is blue. If something likes the cat then it is blue. If something is blue then it likes the tiger. If something likes the bald eagle and the bald eagle is not kind then it does not see the bald eagle.
The bald eagle is not kind.
@0: The bald eagle does not see the tiger.[(triple5)] The bald eagle is blue.[(triple1)] The bald eagle is not cold.[(triple2)] The bald eagle is not kind.[(triple3)] The bald eagle is red.[(triple4)] The cat does not like the bald eagle.[(triple7)] The cat is cold.[(triple6)] The cat sees the bald eagle.[(triple8)] The tiger eats the cat.[(triple9)] The tiger is blue.[(triple10 OR ((((triple12) -> rule2)) -> rule4))] The tiger is nice.[(triple11)] The tiger sees the bald eagle.[(triple12)] @1: The bald eagle likes the tiger.[(((triple1) -> rule5))] The cat likes the cat.[(((triple8) -> rule2))] The tiger likes the cat.[(((triple12) -> rule2))] The tiger likes the tiger.[(((triple10) -> rule5) OR ((((((triple12) -> rule2)) -> rule4)) -> rule5))] @2: The cat is blue.[(((((triple8) -> rule2)) -> rule4))] @3: The cat likes the tiger.[(((((((triple8) -> rule2)) -> rule4)) -> rule5))]