The mouse eats the tiger. The mouse is not big. The mouse is not blue. The mouse is cold. The mouse is not kind. The mouse is round. The mouse needs the tiger. The mouse visits the tiger. The tiger does not eat the mouse. The tiger is big. The tiger is blue. The tiger is not cold. The tiger is kind. The tiger is round. The tiger needs the mouse. The tiger visits the mouse. If the mouse needs the tiger and the mouse visits the tiger then the mouse eats the tiger. If someone visits the mouse then the mouse is round. If someone is round and not cold then they are big.
The tiger does not visit the tiger.
@0: The mouse eats the tiger.[(triple1 OR ((triple7 triple8) -> rule1))] The mouse is cold.[(triple4)] The mouse is not big.[(triple2)] The mouse is not blue.[(triple3)] The mouse is not kind.[(triple5)] The mouse is round.[(triple6 OR ((triple16) -> rule2))] The mouse needs the tiger.[(triple7)] The mouse visits the tiger.[(triple8)] The tiger does not eat the mouse.[(triple9)] The tiger is big.[(triple10 OR ((triple14 triple12) -> rule3))] The tiger is blue.[(triple11)] The tiger is kind.[(triple13)] The tiger is not cold.[(triple12)] The tiger is round.[(triple14)] The tiger needs the mouse.[(triple15)] The tiger visits the mouse.[(triple16)]