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