The bear chases the tiger. The cat does not chase the bear. The cat is big. The cat is green. The mouse chases the cat. The mouse chases the tiger. The mouse is red. The mouse is young. The mouse needs the bear. The mouse needs the tiger. The tiger chases the mouse. The tiger is big. The tiger is green. The tiger needs the bear. The tiger needs the cat. The tiger sees the mouse. If something chases the tiger and the tiger sees the cat then the cat sees the mouse. If something sees the bear then it chases the tiger. If something is young then it is nice. If something needs the mouse then it chases the bear. If something is nice then it chases the bear. If something needs the bear then the bear is nice. If something chases the bear then the bear needs the tiger. If something is green and not young then it chases the cat.
The bear does not need the tiger.
@0: The bear chases the tiger.[(triple1)] The cat does not chase the bear.[(triple2)] The cat is big.[(triple3)] The cat is green.[(triple4)] The mouse chases the cat.[(triple5)] The mouse chases the tiger.[(triple6)] The mouse is red.[(triple7)] The mouse is young.[(triple8)] The mouse needs the bear.[(triple9)] The mouse needs the tiger.[(triple10)] The tiger chases the mouse.[(triple11)] The tiger is big.[(triple12)] The tiger is green.[(triple13)] The tiger needs the bear.[(triple14)] The tiger needs the cat.[(triple15)] The tiger sees the mouse.[(triple16)] @1: The bear is nice.[(((triple14) -> rule6) OR ((triple9) -> rule6))] The mouse is nice.[(((triple8) -> rule3))] @2: The bear chases the bear.[(((((triple14) -> rule6)) -> rule5) OR ((((triple9) -> rule6)) -> rule5))] The mouse chases the bear.[(((((triple8) -> rule3)) -> rule5))] @3: The bear needs the tiger.[(((((((triple14) -> rule6)) -> rule5)) -> rule7) OR ((((((triple8) -> rule3)) -> rule5)) -> rule7) OR ((((((triple9) -> rule6)) -> rule5)) -> rule7))]