The bear likes the rabbit. The bear needs the cat. The cat is nice. The cat needs the bear. The cat needs the cow. The cat needs the rabbit. The cat visits the cow. The cow is big. The cow is rough. The cow is round. The cow likes the rabbit. The cow visits the bear. The cow visits the cat. The cow visits the rabbit. The rabbit is big. The rabbit likes the bear. If the bear is round then the bear is blue. If something likes the cat then it needs the cow. If something visits the cat then it is rough. If something is blue and it likes the cow then it is rough. If something is blue and nice then it likes the rabbit. If something visits the cat then it likes the bear. If something visits the cow then it is blue. If the cat likes the bear and the bear needs the cat then the bear is round.
The cow does not visit the cow.
@0: The bear likes the rabbit.[(triple1)] The bear needs the cat.[(triple2)] The cat is nice.[(triple3)] The cat needs the bear.[(triple4)] The cat needs the cow.[(triple5)] The cat needs the rabbit.[(triple6)] The cat visits the cow.[(triple7)] The cow is big.[(triple8)] The cow is rough.[(triple9 OR ((triple13) -> rule3))] The cow is round.[(triple10)] The cow likes the rabbit.[(triple11)] The cow visits the bear.[(triple12)] The cow visits the cat.[(triple13)] The cow visits the rabbit.[(triple14)] The rabbit is big.[(triple15)] The rabbit likes the bear.[(triple16)] @1: The cat is blue.[(((triple7) -> rule7))] The cow likes the bear.[(((triple13) -> rule6))] @2: The cat likes the rabbit.[(((((triple7) -> rule7) triple3) -> rule5))]