The bear is nice. The bear likes the cow. The bear likes the lion. The bear needs the lion. The bear visits the cow. The cow is blue. The cow likes the bear. The cow visits the bear. The cow visits the lion. The lion is big. The lion likes the bear. The lion needs the cow. If someone likes the bear then the bear needs the lion. If someone needs the bear then the bear likes the cow. If someone needs the cow then they are blue. If someone visits the bear and the bear is nice then they need the lion. If the cow needs the bear then the bear is rough. If someone visits the cow and the cow is blue then the cow visits the bear.
The bear is not blue.
@0: The bear is nice.[(triple1)] The bear likes the cow.[(triple2)] The bear likes the lion.[(triple3)] The bear needs the lion.[(triple4 OR ((triple11) -> rule1) OR ((triple7) -> rule1))] The bear visits the cow.[(triple5)] The cow is blue.[(triple6)] The cow likes the bear.[(triple7)] The cow visits the bear.[(triple8 OR ((triple5 triple6) -> rule6))] The cow visits the lion.[(triple9)] The lion is big.[(triple10)] The lion likes the bear.[(triple11)] The lion needs the cow.[(triple12)] @1: The cow needs the lion.[(((triple8 triple1) -> rule4) OR ((((triple5 triple6) -> rule6) triple1) -> rule4))] The lion is blue.[(((triple12) -> rule3))]