The bald eagle eats the cat. The bald eagle eats the dog. The bald eagle is nice. The bald eagle needs the dog. The bald eagle needs the tiger. The bald eagle sees the dog. The cat eats the tiger. The cat is blue. The cat is rough. The cat is round. The cat needs the tiger. The cat sees the bald eagle. The cat sees the dog. The dog sees the cat. The tiger is rough. The tiger sees the dog. If something eats the dog then it needs the bald eagle. If something needs the cat and the cat needs the dog then it is kind. If something sees the bald eagle and it eats the cat then it is blue. If something eats the tiger and the tiger eats the cat then the cat eats the tiger. If something eats the tiger then the tiger eats the dog. If something is kind then it sees the tiger. If something needs the bald eagle and the bald eagle needs the tiger then it needs the cat. If something is kind then it eats the dog.
The bald eagle sees the cat.
@0: The bald eagle eats the cat.[(triple1)] The bald eagle eats the dog.[(triple2)] The bald eagle is nice.[(triple3)] The bald eagle needs the dog.[(triple4)] The bald eagle needs the tiger.[(triple5)] The bald eagle sees the dog.[(triple6)] The cat eats the tiger.[(triple7)] The cat is blue.[(triple8)] The cat is rough.[(triple9)] The cat is round.[(triple10)] The cat needs the tiger.[(triple11)] The cat sees the bald eagle.[(triple12)] The cat sees the dog.[(triple13)] The dog sees the cat.[(triple14)] The tiger is rough.[(triple15)] The tiger sees the dog.[(triple16)] @1: The bald eagle needs the bald eagle.[(((triple2) -> rule1))] The tiger eats the dog.[(((triple7) -> rule5))] @2: The bald eagle needs the cat.[(((((triple2) -> rule1) triple5) -> rule7))] The tiger needs the bald eagle.[(((((triple7) -> rule5)) -> rule1))] @3: The tiger needs the cat.[(((((((triple7) -> rule5)) -> rule1) triple5) -> rule7))]