The bear is nice. The bear is round. The bear needs the cow. The bear needs the mouse. The cat eats the bear. The cat eats the cow. The cat needs the bear. The cow eats the mouse. The cow is red. The mouse chases the bear. The mouse chases the cat. The mouse eats the cow. The mouse is blue. The mouse is nice. The mouse is red. The mouse needs the bear. If someone is round then they need the cow. If the bear needs the cow and the cow needs the mouse then the cow is nice. If someone eats the mouse then the mouse is blue.
The cow is not nice.
@0: The bear is nice.[(triple1)] The bear is round.[(triple2)] The bear needs the cow.[(triple3 OR ((triple2) -> rule1))] The bear needs the mouse.[(triple4)] The cat eats the bear.[(triple5)] The cat eats the cow.[(triple6)] The cat needs the bear.[(triple7)] The cow eats the mouse.[(triple8)] The cow is red.[(triple9)] The mouse chases the bear.[(triple10)] The mouse chases the cat.[(triple11)] The mouse eats the cow.[(triple12)] The mouse is blue.[(triple13 OR ((triple8) -> rule3))] The mouse is nice.[(triple14)] The mouse is red.[(triple15)] The mouse needs the bear.[(triple16)]