The cow eats the tiger. The cow is not green. The cow is not kind. The cow is red. The cow is round. The cow is young. The cow needs the tiger. The cow sees the tiger. The tiger does not eat the cow. The tiger is not green. The tiger is kind. The tiger is not round. The tiger is not young. The tiger needs the cow. The tiger sees the cow. If the cow sees the tiger and the tiger is not green then the tiger sees the cow. If someone eats the cow and they are not kind then the cow eats the tiger. If someone is young and they eat the tiger then they do not need the cow. If someone eats the cow then they do not see the tiger. If someone needs the cow and they are not round then the cow needs the tiger. If the cow is red and the cow needs the tiger then the cow sees the tiger.
The tiger does not see the tiger.
@0: The cow eats the tiger.[(triple1)] The cow is not green.[(triple2)] The cow is not kind.[(triple3)] The cow is red.[(triple4)] The cow is round.[(triple5)] The cow is young.[(triple6)] The cow needs the tiger.[(triple7 OR ((triple14 triple12) -> rule5))] The cow sees the tiger.[(triple8 OR ((triple4 triple7) -> rule6) OR ((triple4 ((triple14 triple12) -> rule5)) -> rule6))] The tiger does not eat the cow.[(triple9)] The tiger is kind.[(triple11)] The tiger is not green.[(triple10)] The tiger is not round.[(triple12)] The tiger is not young.[(triple13)] The tiger needs the cow.[(triple14)] The tiger sees the cow.[(triple15 OR ((triple8 triple10) -> rule1) OR ((((triple4 triple7) -> rule6) triple10) -> rule1) OR ((((triple4 ((triple14 triple12) -> rule5)) -> rule6) triple10) -> rule1))] @1: The cow does not need the cow.[(((triple6 triple1) -> rule3))]