The bear chases the lion. The bear is rough. The bear needs the mouse. The cat does not chase the lion. The cat does not chase the mouse. The cat is blue. The cat sees the lion. The lion is rough. The lion needs the mouse. The mouse needs the bear. The mouse needs the cat. The mouse does not see the cat. If something is blue then it does not need the cat. If something is green then it needs the lion. If something chases the mouse then the mouse chases the bear. If the bear is not nice and the bear is not cold then the bear does not need the lion. If something sees the mouse and it chases the lion then the lion needs the cat. If something chases the lion then the lion does not see the cat.
The cat is rough.
@0: The bear chases the lion.[(triple1)] The bear is rough.[(triple2)] The bear needs the mouse.[(triple3)] The cat does not chase the lion.[(triple4)] The cat does not chase the mouse.[(triple5)] The cat is blue.[(triple6)] The cat sees the lion.[(triple7)] The lion is rough.[(triple8)] The lion needs the mouse.[(triple9)] The mouse does not see the cat.[(triple12)] The mouse needs the bear.[(triple10)] The mouse needs the cat.[(triple11)] @1: The cat does not need the cat.[(((triple6) -> rule1))] The lion does not see the cat.[(((triple1) -> rule6))]