The bear is kind. The bear is round. The cow needs the dog. The cow needs the tiger. The dog does not eat the cow. The dog eats the tiger. The dog is kind. The dog needs the bear. The dog needs the tiger. The tiger eats the dog. The tiger is young. The tiger likes the bear. If someone needs the bear and they do not eat the bear then they like the cow. If the dog needs the cow and the cow is kind then the cow is not young. If someone eats the cow then they are kind. If someone likes the bear then they are not kind. If someone is blue then they need the cow. If someone needs the dog then they are not blue. If the cow is not blue then the cow does not like the tiger. If someone needs the tiger and they do not like the tiger then they do not eat the dog.
The dog is young.
@0: The bear is kind.[(triple1)] The bear is round.[(triple2)] The cow needs the dog.[(triple3)] The cow needs the tiger.[(triple4)] The dog does not eat the cow.[(triple5)] The dog eats the tiger.[(triple6)] The dog is kind.[(triple7)] The dog needs the bear.[(triple8)] The dog needs the tiger.[(triple9)] The tiger eats the dog.[(triple10)] The tiger is young.[(triple11)] The tiger likes the bear.[(triple12)] @1: The cow is not blue.[(((triple3) -> rule6))] The tiger is not kind.[(((triple12) -> rule4))] @2: The cow does not like the tiger.[(((((triple3) -> rule6)) -> rule7))] @3: The cow does not eat the dog.[(((triple4 ((((triple3) -> rule6)) -> rule7)) -> rule8))]