The mouse is big. The mouse is blue. The mouse is kind. The mouse is red. The mouse is rough. The mouse likes the tiger. The mouse sees the tiger. The mouse visits the tiger. The tiger is big. The tiger is blue. The tiger is kind. The tiger is red. The tiger is rough. The tiger likes the mouse. The tiger sees the mouse. The tiger visits the mouse. If someone sees the tiger and the tiger sees the mouse then the mouse visits the tiger.
The mouse does not like the tiger.
@0: The mouse is big.[(triple1)] The mouse is blue.[(triple2)] The mouse is kind.[(triple3)] The mouse is red.[(triple4)] The mouse is rough.[(triple5)] The mouse likes the tiger.[(triple6)] The mouse sees the tiger.[(triple7)] The mouse visits the tiger.[(triple8 OR ((triple7 triple15) -> rule1))] The tiger is big.[(triple9)] The tiger is blue.[(triple10)] The tiger is kind.[(triple11)] The tiger is red.[(triple12)] The tiger is rough.[(triple13)] The tiger likes the mouse.[(triple14)] The tiger sees the mouse.[(triple15)] The tiger visits the mouse.[(triple16)]