The bear chases the rabbit. The bear is rough. The cat chases the mouse. The cat eats the mouse. The cat is blue. The cat needs the bear. The mouse does not chase the cat. The mouse is rough. The mouse needs the bear. The mouse needs the cat. The mouse needs the rabbit. The rabbit is red. If someone chases the mouse and they do not eat the rabbit then they need the bear. If someone is cold then they need the bear. If someone chases the rabbit and the rabbit chases the mouse then they need the mouse. If someone is rough and they chase the mouse then the mouse does not chase the cat. If someone eats the rabbit then they are rough. Red people are not blue. If someone is red and they eat the cat then they chase the rabbit. If someone eats the rabbit and they are not rough then they chase the bear.
The cat eats the mouse.
@0: The bear chases the rabbit.[(triple1)] The bear is rough.[(triple2)] The cat chases the mouse.[(triple3)] The cat eats the mouse.[(triple4)] The cat is blue.[(triple5)] The cat needs the bear.[(triple6)] The mouse does not chase the cat.[(triple7)] The mouse is rough.[(triple8)] The mouse needs the bear.[(triple9)] The mouse needs the cat.[(triple10)] The mouse needs the rabbit.[(triple11)] The rabbit is red.[(triple12)] @1: The rabbit is not blue.[(((triple12) -> rule6))]