The bear eats the cow. The bear eats the tiger. The bear is kind. The bear likes the tiger. The cow chases the dog. The cow eats the bear. The cow eats the dog. The cow is kind. The cow likes the tiger. The dog chases the cow. The dog chases the tiger. The dog eats the bear. The dog eats the cow. The dog is cold. The dog is nice. The tiger eats the cow. If someone eats the dog then they eat the tiger. If someone eats the tiger then the tiger likes the bear. If someone chases the bear and the bear eats the tiger then they are nice. If the bear chases the dog and the bear likes the tiger then the bear likes the cow. If someone chases the dog then they like the bear. If someone is big and they eat the tiger then they like the cow. If someone likes the bear then the bear likes the tiger. If someone likes the bear then the bear is cold.
The tiger likes the bear.
@0: The bear eats the cow.[(triple1)] The bear eats the tiger.[(triple2)] The bear is kind.[(triple3)] The bear likes the tiger.[(triple4 OR ((((triple2) -> rule2)) -> rule7) OR ((((triple5) -> rule5)) -> rule7) OR ((((((triple7) -> rule1)) -> rule2)) -> rule7))] The cow chases the dog.[(triple5)] The cow eats the bear.[(triple6)] The cow eats the dog.[(triple7)] The cow is kind.[(triple8)] The cow likes the tiger.[(triple9)] The dog chases the cow.[(triple10)] The dog chases the tiger.[(triple11)] The dog eats the bear.[(triple12)] The dog eats the cow.[(triple13)] The dog is cold.[(triple14)] The dog is nice.[(triple15)] The tiger eats the cow.[(triple16)] @1: The cow eats the tiger.[(((triple7) -> rule1))] The cow likes the bear.[(((triple5) -> rule5))] The tiger likes the bear.[(((triple2) -> rule2) OR ((((triple7) -> rule1)) -> rule2))] @2: The bear is cold.[(((((triple2) -> rule2)) -> rule8) OR ((((triple5) -> rule5)) -> rule8) OR ((((((triple7) -> rule1)) -> rule2)) -> rule8))]