The bald eagle is blue. The cat likes the tiger. The dog sees the cat. The tiger likes the dog. If something likes the cat and it is kind then it is red. If something is kind and it sees the dog then the dog is big. If something is red then it likes the dog. If something eats the bald eagle and it is kind then it is nice. If something sees the bald eagle then it eats the tiger. If something likes the bald eagle and it is big then it is red. If something sees the dog then the dog sees the bald eagle. If something is blue then it sees the dog.
The bald eagle is not big.
@0: The bald eagle is blue.[(triple1)] The cat likes the tiger.[(triple2)] The dog sees the cat.[(triple3)] The tiger likes the dog.[(triple4)] @1: The bald eagle sees the dog.[(((triple1) -> rule8))] @2: The dog sees the bald eagle.[(((((triple1) -> rule8)) -> rule7))] @3: The dog eats the tiger.[(((((((triple1) -> rule8)) -> rule7)) -> rule5))]