The bear chases the dog. The bear is big. The bear is red. The bear needs the dog. The dog chases the bear. The dog chases the mouse. The dog eats the bear. The dog eats the mouse. The dog is big. The dog is kind. The dog is rough. The dog needs the mouse. The mouse chases the dog. The mouse eats the dog. The mouse is kind. The mouse needs the bear. If someone eats the bear then they need the mouse. If the bear eats the mouse and the mouse is red then the bear is kind.
The bear is not big.
@0: The bear chases the dog.[(triple1)] The bear is big.[(triple2)] The bear is red.[(triple3)] The bear needs the dog.[(triple4)] The dog chases the bear.[(triple5)] The dog chases the mouse.[(triple6)] The dog eats the bear.[(triple7)] The dog eats the mouse.[(triple8)] The dog is big.[(triple9)] The dog is kind.[(triple10)] The dog is rough.[(triple11)] The dog needs the mouse.[(triple12 OR ((triple7) -> rule1))] The mouse chases the dog.[(triple13)] The mouse eats the dog.[(triple14)] The mouse is kind.[(triple15)] The mouse needs the bear.[(triple16)]