The mouse is kind. The mouse is red. The mouse likes the tiger. The mouse sees the tiger. The mouse visits the tiger. The tiger is not big. The tiger likes the mouse. If the mouse sees the tiger then the tiger likes the mouse. If the tiger likes the mouse and the tiger is not red then the mouse is round. If someone likes the mouse and the mouse does not like the tiger then they are not round.
The mouse is not kind.
@0: The mouse is kind.[(triple1)] The mouse is red.[(triple2)] The mouse likes the tiger.[(triple3)] The mouse sees the tiger.[(triple4)] The mouse visits the tiger.[(triple5)] The tiger is not big.[(triple6)] The tiger likes the mouse.[(triple7 OR ((triple4) -> rule1))]