The bear is cold. The bear needs the tiger. The bear visits the dog. The bear visits the mouse. The dog is red. The dog is young. The dog likes the bear. The dog likes the mouse. The dog likes the tiger. The dog needs the bear. The dog needs the mouse. The dog needs the tiger. The dog visits the tiger. The mouse needs the dog. The mouse visits the bear. The tiger is green. If someone needs the bear then the bear visits the mouse. All young people are rough. If the dog is rough and the dog is red then the dog needs the tiger. If someone needs the mouse and they visit the mouse then the mouse likes the bear. If someone likes the tiger and they are cold then the tiger is cold. All cold people are rough. If someone is cold and they need the bear then they like the bear. If someone likes the bear and the bear is green then the bear needs the dog.
The tiger does not like the bear.
@0: The bear is cold.[(triple1)] The bear needs the tiger.[(triple2)] The bear visits the dog.[(triple3)] The bear visits the mouse.[(triple4 OR ((triple10) -> rule1))] The dog is red.[(triple5)] The dog is young.[(triple6)] The dog likes the bear.[(triple7)] The dog likes the mouse.[(triple8)] The dog likes the tiger.[(triple9)] The dog needs the bear.[(triple10)] The dog needs the mouse.[(triple11)] The dog needs the tiger.[(triple12 OR ((((triple6) -> rule2) triple5) -> rule3))] The dog visits the tiger.[(triple13)] The mouse needs the dog.[(triple14)] The mouse visits the bear.[(triple15)] The tiger is green.[(triple16)] @1: The bear is rough.[(((triple1) -> rule6))] The dog is rough.[(((triple6) -> rule2))]