The bald eagle likes the cow. The bald eagle needs the cow. The bald eagle needs the dog. The cow likes the tiger. The cow needs the bald eagle. The cow needs the tiger. The dog is big. The dog needs the cow. The dog needs the tiger. The tiger eats the cow. The tiger is big. The tiger is young. If someone is cold and they need the bald eagle then the bald eagle eats the dog. If someone eats the cow then they like the dog. If someone needs the tiger then they are cold. If someone is cold and they like the dog then the dog eats the tiger. If someone is rough then they eat the dog. If someone is cold and they like the cow then they like the tiger. If someone needs the dog and the dog is cold then the dog eats the bald eagle. If someone eats the dog then the dog likes the tiger.
The tiger does not like the dog.
@0: The bald eagle likes the cow.[(triple1)] The bald eagle needs the cow.[(triple2)] The bald eagle needs the dog.[(triple3)] The cow likes the tiger.[(triple4)] The cow needs the bald eagle.[(triple5)] The cow needs the tiger.[(triple6)] The dog is big.[(triple7)] The dog needs the cow.[(triple8)] The dog needs the tiger.[(triple9)] The tiger eats the cow.[(triple10)] The tiger is big.[(triple11)] The tiger is young.[(triple12)] @1: The cow is cold.[(((triple6) -> rule3))] The dog is cold.[(((triple9) -> rule3))] The tiger likes the dog.[(((triple10) -> rule2))] @2: The bald eagle eats the dog.[(((((triple6) -> rule3) triple5) -> rule1))] The dog eats the bald eagle.[(((triple3 ((triple9) -> rule3)) -> rule7))] @3: The dog likes the tiger.[(((((((triple6) -> rule3) triple5) -> rule1)) -> rule8))]