The mouse is big. The mouse is kind. The mouse is not nice. The mouse is rough. The mouse is not round. The mouse likes the tiger. The mouse sees the tiger. The mouse visits the tiger. The tiger is big. The tiger is rough. The tiger is round. The tiger likes the mouse. If the mouse visits the tiger then the tiger visits the mouse. If someone is kind then they like the tiger. If the mouse does not visit the tiger then the mouse does not like the tiger.
The mouse is not rough.
@0: The mouse is big.[(triple1)] The mouse is kind.[(triple2)] The mouse is not nice.[(triple3)] The mouse is not round.[(triple5)] The mouse is rough.[(triple4)] The mouse likes the tiger.[(triple6 OR ((triple2) -> rule2))] The mouse sees the tiger.[(triple7)] The mouse visits the tiger.[(triple8)] The tiger is big.[(triple9)] The tiger is rough.[(triple10)] The tiger is round.[(triple11)] The tiger likes the mouse.[(triple12)] @1: The tiger visits the mouse.[(((triple8) -> rule1))]