The bear is not big. The bear is round. The cow eats the lion. The dog is big. The dog is kind. The dog likes the bear. The lion is green. The lion is red. The lion likes the bear. The lion sees the cow. If someone eats the dog and the dog likes the bear then the bear is not red. If someone is green and they see the cow then the cow sees the lion.
The bear does not see the dog.
@0: The bear is not big.[(triple1)] The bear is round.[(triple2)] The cow eats the lion.[(triple3)] The dog is big.[(triple4)] The dog is kind.[(triple5)] The dog likes the bear.[(triple6)] The lion is green.[(triple7)] The lion is red.[(triple8)] The lion likes the bear.[(triple9)] The lion sees the cow.[(triple10)] @1: The cow sees the lion.[(((triple7 triple10) -> rule2))]