The bear is cold. The bear is green. The bear visits the rabbit. The cow likes the rabbit. The dog is green. The dog likes the bear. The dog likes the cow. The rabbit is cold. The rabbit is green. The rabbit likes the cow. The rabbit needs the cow. The rabbit visits the dog. If something needs the cow and it is cold then the cow needs the bear. If the bear is green then the bear likes the rabbit. If something likes the dog and the dog likes the rabbit then the dog is round. If something needs the bear then it visits the cow. If something needs the dog and the dog visits the cow then it likes the cow. If something visits the cow then the cow is big.
The cow does not need the bear.
@0: The bear is cold.[(triple1)] The bear is green.[(triple2)] The bear visits the rabbit.[(triple3)] The cow likes the rabbit.[(triple4)] The dog is green.[(triple5)] The dog likes the bear.[(triple6)] The dog likes the cow.[(triple7)] The rabbit is cold.[(triple8)] The rabbit is green.[(triple9)] The rabbit likes the cow.[(triple10)] The rabbit needs the cow.[(triple11)] The rabbit visits the dog.[(triple12)] @1: The bear likes the rabbit.[(((triple2) -> rule2))] The cow needs the bear.[(((triple11 triple8) -> rule1))] @2: The cow visits the cow.[(((((triple11 triple8) -> rule1)) -> rule4))] @3: The cow is big.[(((((((triple11 triple8) -> rule1)) -> rule4)) -> rule6))]