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