The bald eagle chases the dog. The bald eagle is blue. The bald eagle is rough. The bald eagle likes the dog. The dog chases the bald eagle. The dog chases the tiger. The tiger chases the bald eagle. The tiger eats the bald eagle. The tiger likes the bald eagle. The tiger likes the dog. If something is kind and it chases the dog then it likes the bald eagle. If something is blue and it eats the bald eagle then the bald eagle is big. If something is rough and it likes the bald eagle then it eats the dog. If something likes the bald eagle then the bald eagle is kind. If the tiger is rough and the tiger chases the bald eagle then the tiger chases the dog. If something eats the tiger then the tiger is big.
The bald eagle likes the bald eagle.
@0: The bald eagle chases the dog.[(triple1)] The bald eagle is blue.[(triple2)] The bald eagle is rough.[(triple3)] The bald eagle likes the dog.[(triple4)] The dog chases the bald eagle.[(triple5)] The dog chases the tiger.[(triple6)] The tiger chases the bald eagle.[(triple7)] The tiger eats the bald eagle.[(triple8)] The tiger likes the bald eagle.[(triple9)] The tiger likes the dog.[(triple10)] @1: The bald eagle is kind.[(((triple9) -> rule4))] @2: The bald eagle likes the bald eagle.[(((((triple9) -> rule4) triple1) -> rule1))] @3: The bald eagle eats the dog.[(((triple3 ((((triple9) -> rule4) triple1) -> rule1)) -> rule3))]