The bear is big. The bear needs the cow. The cow eats the bear. The cow eats the dog. The cow is big. The cow is green. The cow likes the dog. The cow needs the bear. The dog eats the bear. The dog is cold. The dog is green. The dog is rough. The dog likes the bear. The dog needs the bear. The dog needs the cow. If something is rough and green then it likes the dog. If something eats the bear then the bear eats the cow. If something eats the bear and it likes the bear then it is rough. If the bear likes the dog and the dog is nice then the dog eats the bear. If something likes the bear then the bear likes the cow. If something eats the cow and it eats the dog then it is green.
The bear likes the dog.
@0: The bear is big.[(triple1)] The bear needs the cow.[(triple2)] The cow eats the bear.[(triple3)] The cow eats the dog.[(triple4)] The cow is big.[(triple5)] The cow is green.[(triple6)] The cow likes the dog.[(triple7)] The cow needs the bear.[(triple8)] The dog eats the bear.[(triple9)] The dog is cold.[(triple10)] The dog is green.[(triple11)] The dog is rough.[(triple12 OR ((triple9 triple13) -> rule3))] The dog likes the bear.[(triple13)] The dog needs the bear.[(triple14)] The dog needs the cow.[(triple15)] @1: The bear eats the cow.[(((triple3) -> rule2) OR ((triple9) -> rule2))] The bear likes the cow.[(((triple13) -> rule5))] The dog likes the dog.[(((triple12 triple11) -> rule1) OR ((((triple9 triple13) -> rule3) triple11) -> rule1))]