The mouse is kind. The mouse is nice. The mouse is red. The mouse is rough. The mouse likes the tiger. The mouse needs the rabbit. The rabbit chases the tiger. The rabbit is kind. The rabbit is rough. The rabbit needs the tiger. The tiger chases the mouse. The tiger is nice. The tiger is red. The tiger likes the mouse. The tiger likes the rabbit. The tiger needs the rabbit. If something is red then it likes the tiger.
The tiger needs the rabbit.
@0: The mouse is kind.[(triple1)] The mouse is nice.[(triple2)] The mouse is red.[(triple3)] The mouse is rough.[(triple4)] The mouse likes the tiger.[(triple5 OR ((triple3) -> rule1))] The mouse needs the rabbit.[(triple6)] The rabbit chases the tiger.[(triple7)] The rabbit is kind.[(triple8)] The rabbit is rough.[(triple9)] The rabbit needs the tiger.[(triple10)] The tiger chases the mouse.[(triple11)] The tiger is nice.[(triple12)] The tiger is red.[(triple13)] The tiger likes the mouse.[(triple14)] The tiger likes the rabbit.[(triple15)] The tiger needs the rabbit.[(triple16)] @1: The tiger likes the tiger.[(((triple13) -> rule1))]