The bear eats the cow. The bear eats the dog. The bear is green. The bear is nice. The bear is rough. The bear is young. The bear likes the dog. The bear needs the dog. The cow eats the dog. The cow is green. The cow likes the bear. The cow likes the dog. The cow needs the dog. The dog is nice. The dog likes the cow. The dog does not need the bear. If someone is rough and young then they like the bear. If someone needs the cow then the cow does not need the dog. If someone is big then they are not young. Nice people are young. If the bear needs the cow and the cow is rough then the bear does not need the dog. If someone is green and they eat the cow then they need the bear. If someone is nice and they like the cow then the cow is big. If someone likes the bear then the bear eats the cow.
The dog does not need the bear.
@0: The bear eats the cow.[(triple1 OR ((triple11) -> rule8) OR ((((triple5 triple6) -> rule1)) -> rule8) OR ((((triple5 ((triple4) -> rule4)) -> rule1)) -> rule8))] The bear eats the dog.[(triple2)] The bear is green.[(triple3)] The bear is nice.[(triple4)] The bear is rough.[(triple5)] The bear is young.[(triple6 OR ((triple4) -> rule4))] The bear likes the dog.[(triple7)] The bear needs the dog.[(triple8)] The cow eats the dog.[(triple9)] The cow is green.[(triple10)] The cow likes the bear.[(triple11)] The cow likes the dog.[(triple12)] The cow needs the dog.[(triple13)] The dog does not need the bear.[(triple16)] The dog is nice.[(triple14)] The dog likes the cow.[(triple15)] @1: The bear likes the bear.[(((triple5 triple6) -> rule1) OR ((triple5 ((triple4) -> rule4)) -> rule1))] The bear needs the bear.[(((triple3 triple1) -> rule6) OR ((triple3 ((triple11) -> rule8)) -> rule6) OR ((triple3 ((((triple5 triple6) -> rule1)) -> rule8)) -> rule6) OR ((triple3 ((((triple5 ((triple4) -> rule4)) -> rule1)) -> rule8)) -> rule6))] The cow is big.[(((triple14 triple15) -> rule7))] The dog is young.[(((triple14) -> rule4))] @2: The cow is not young.[(((((triple14 triple15) -> rule7)) -> rule3))]