The mouse likes the tiger. The mouse sees the tiger. The mouse visits the tiger. The rabbit is rough. The rabbit likes the mouse. The rabbit visits the mouse. The tiger is cold. The tiger is not round. The tiger does not like the mouse. The tiger visits the rabbit. If someone visits the rabbit then they do not see the tiger. If someone is rough then they are red. If the rabbit is red and the rabbit does not see the tiger then the rabbit likes the tiger.
The tiger is round.
@0: The mouse likes the tiger.[(triple1)] The mouse sees the tiger.[(triple2)] The mouse visits the tiger.[(triple3)] The rabbit is rough.[(triple4)] The rabbit likes the mouse.[(triple5)] The rabbit visits the mouse.[(triple6)] The tiger does not like the mouse.[(triple9)] The tiger is cold.[(triple7)] The tiger is not round.[(triple8)] The tiger visits the rabbit.[(triple10)] @1: The rabbit is red.[(((triple4) -> rule2))] The tiger does not see the tiger.[(((triple10) -> rule1))]