The bald eagle eats the rabbit. The bald eagle is green. The bald eagle is kind. The bald eagle needs the tiger. The cat is green. The cat needs the rabbit. The rabbit chases the cat. The rabbit eats the cat. The rabbit eats the tiger. The rabbit needs the tiger. The tiger chases the cat. The tiger needs the bald eagle. If something needs the rabbit and it is kind then it eats the rabbit. If something needs the bald eagle and it chases the cat then the cat is young. If the tiger chases the cat then the cat is round. If something chases the cat then it needs the rabbit. If something needs the rabbit then it eats the cat. If something eats the cat then it chases the tiger.
The tiger does not eat the cat.
@0: The bald eagle eats the rabbit.[(triple1)] The bald eagle is green.[(triple2)] The bald eagle is kind.[(triple3)] The bald eagle needs the tiger.[(triple4)] The cat is green.[(triple5)] The cat needs the rabbit.[(triple6)] The rabbit chases the cat.[(triple7)] The rabbit eats the cat.[(triple8 OR ((((triple7) -> rule4)) -> rule5))] The rabbit eats the tiger.[(triple9)] The rabbit needs the tiger.[(triple10)] The tiger chases the cat.[(triple11)] The tiger needs the bald eagle.[(triple12)] @1: The cat eats the cat.[(((triple6) -> rule5))] The cat is round.[(((triple11) -> rule3))] The cat is young.[(((triple12 triple11) -> rule2))] The rabbit chases the tiger.[(((triple8) -> rule6) OR ((((((triple7) -> rule4)) -> rule5)) -> rule6))] The rabbit needs the rabbit.[(((triple7) -> rule4))] The tiger needs the rabbit.[(((triple11) -> rule4))] @2: The cat chases the tiger.[(((((triple6) -> rule5)) -> rule6))] The tiger eats the cat.[(((((triple11) -> rule4)) -> rule5))] @3: The tiger chases the tiger.[(((((((triple11) -> rule4)) -> rule5)) -> rule6))]