The cow eats the tiger. The cow is not kind. The cow sees the tiger. The cow visits the lion. The cow visits the tiger. The lion eats the cow. The lion eats the tiger. The lion is blue. The lion visits the tiger. The tiger eats the cow. The tiger eats the lion. The tiger is blue. The tiger is round. The tiger sees the cow. The tiger sees the lion. The tiger visits the cow. If something is red then it eats the lion. If the lion is blue and the lion does not visit the tiger then the tiger does not eat the cow. If something sees the lion then the lion is red. If the tiger is kind then the tiger is green. If something eats the lion then it does not visit the lion. If something sees the tiger and the tiger does not eat the cow then it visits the lion.
The lion is not green.
@0: The cow eats the tiger.[(triple1)] The cow is not kind.[(triple2)] The cow sees the tiger.[(triple3)] The cow visits the lion.[(triple4)] The cow visits the tiger.[(triple5)] The lion eats the cow.[(triple6)] The lion eats the tiger.[(triple7)] The lion is blue.[(triple8)] The lion visits the tiger.[(triple9)] The tiger eats the cow.[(triple10)] The tiger eats the lion.[(triple11)] The tiger is blue.[(triple12)] The tiger is round.[(triple13)] The tiger sees the cow.[(triple14)] The tiger sees the lion.[(triple15)] The tiger visits the cow.[(triple16)] @1: The lion is red.[(((triple15) -> rule3))] The tiger does not visit the lion.[(((triple11) -> rule5))] @2: The lion eats the lion.[(((((triple15) -> rule3)) -> rule1))] @3: The lion does not visit the lion.[(((((((triple15) -> rule3)) -> rule1)) -> rule5))]