The bald eagle eats the cat. The bald eagle eats the tiger. The bald eagle needs the tiger. The bald eagle sees the mouse. The cat is green. The cat is kind. The cat is young. The cat needs the bald eagle. The mouse does not eat the cat. The mouse is kind. The mouse is round. The mouse needs the cat. The tiger eats the bald eagle. The tiger needs the mouse. The tiger sees the cat. If the bald eagle is round and the bald eagle sees the mouse then the mouse sees the tiger. If something eats the cat then it is round.
The cat is round.
@0: The bald eagle eats the cat.[(triple1)] The bald eagle eats the tiger.[(triple2)] The bald eagle needs the tiger.[(triple3)] The bald eagle sees the mouse.[(triple4)] The cat is green.[(triple5)] The cat is kind.[(triple6)] The cat is young.[(triple7)] The cat needs the bald eagle.[(triple8)] The mouse does not eat the cat.[(triple9)] The mouse is kind.[(triple10)] The mouse is round.[(triple11)] The mouse needs the cat.[(triple12)] The tiger eats the bald eagle.[(triple13)] The tiger needs the mouse.[(triple14)] The tiger sees the cat.[(triple15)] @1: The bald eagle is round.[(((triple1) -> rule2))] @2: The mouse sees the tiger.[(((((triple1) -> rule2) triple4) -> rule1))]