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