The bear is big. The bear is kind. The bear likes the cow. The bear needs the cow. The bear visits the cow. The cow is green. The cow is not kind. The cow is not rough. The cow is round. The cow does not like the bear. The cow needs the bear. The cow visits the bear. If something is kind then it likes the bear. If something likes the cow and the cow does not need the bear then the bear is kind. If the bear does not visit the cow then the cow is big.
The cow does not like the bear.
@0: The bear is big.[(triple1)] The bear is kind.[(triple2)] The bear likes the cow.[(triple3)] The bear needs the cow.[(triple4)] The bear visits the cow.[(triple5)] The cow does not like the bear.[(triple10)] The cow is green.[(triple6)] The cow is not kind.[(triple7)] The cow is not rough.[(triple8)] The cow is round.[(triple9)] The cow needs the bear.[(triple11)] The cow visits the bear.[(triple12)] @1: The bear likes the bear.[(((triple2) -> rule1))]