The mouse eats the rabbit. The mouse is blue. The mouse is kind. The mouse is nice. The mouse is red. The mouse is rough. The mouse sees the rabbit. The mouse visits the rabbit. The rabbit eats the mouse. The rabbit is kind. The rabbit is nice. The rabbit is red. The rabbit is rough. The rabbit sees the mouse. The rabbit visits the mouse. If something sees the mouse and the mouse visits the rabbit then the rabbit visits the mouse. If something visits the rabbit and it eats the mouse then the rabbit visits the mouse. If something eats the rabbit and the rabbit is nice then the rabbit visits the mouse.
The rabbit is not blue.
@0: The mouse eats the rabbit.[(triple1)] The mouse is blue.[(triple2)] The mouse is kind.[(triple3)] The mouse is nice.[(triple4)] The mouse is red.[(triple5)] The mouse is rough.[(triple6)] The mouse sees the rabbit.[(triple7)] The mouse visits the rabbit.[(triple8)] The rabbit eats the mouse.[(triple9)] The rabbit is kind.[(triple10)] The rabbit is nice.[(triple11)] The rabbit is red.[(triple12)] The rabbit is rough.[(triple13)] The rabbit sees the mouse.[(triple14)] The rabbit visits the mouse.[(triple15 OR ((triple1 triple11) -> rule3) OR ((triple14 triple8) -> rule1))]