The bear eats the cow. The bear is round. The bear sees the dog. The bear sees the rabbit. The cow is cold. The cow is red. The cow sees the rabbit. The cow visits the bear. The cow visits the dog. The cow visits the rabbit. The dog eats the bear. The dog eats the rabbit. The dog is big. The dog sees the rabbit. The rabbit is big. The rabbit sees the bear. If something eats the bear then it sees the rabbit. If something eats the cow and it is big then it is kind.
The bear sees the dog.
@0: The bear eats the cow.[(triple1)] The bear is round.[(triple2)] The bear sees the dog.[(triple3)] The bear sees the rabbit.[(triple4)] The cow is cold.[(triple5)] The cow is red.[(triple6)] The cow sees the rabbit.[(triple7)] The cow visits the bear.[(triple8)] The cow visits the dog.[(triple9)] The cow visits the rabbit.[(triple10)] The dog eats the bear.[(triple11)] The dog eats the rabbit.[(triple12)] The dog is big.[(triple13)] The dog sees the rabbit.[(triple14 OR ((triple11) -> rule1))] The rabbit is big.[(triple15)] The rabbit sees the bear.[(triple16)]