The mouse eats the tiger. The mouse is kind. The mouse is not nice. The mouse is rough. The mouse is round. The mouse is young. The mouse likes the tiger. The mouse sees the tiger. The tiger does not eat the mouse. The tiger is rough. The tiger does not like the mouse. The tiger sees the mouse. If something sees the tiger then it is young. If something eats the tiger then it is young. If something sees the mouse then the mouse is young. If something eats the mouse then the mouse sees the tiger. If something sees the tiger and it is not rough then the tiger sees the mouse. If something sees the mouse and the mouse does not like the tiger then the mouse eats the tiger. If something likes the tiger then it likes the mouse. If the tiger eats the mouse and the mouse likes the tiger then the mouse is nice.
The mouse is nice.
@0: The mouse eats the tiger.[(triple1)] The mouse is kind.[(triple2)] The mouse is not nice.[(triple3)] The mouse is rough.[(triple4)] The mouse is round.[(triple5)] The mouse is young.[(triple6 OR ((triple1) -> rule2) OR ((triple12) -> rule3) OR ((triple8) -> rule1))] The mouse likes the tiger.[(triple7)] The mouse sees the tiger.[(triple8)] The tiger does not eat the mouse.[(triple9)] The tiger does not like the mouse.[(triple11)] The tiger is rough.[(triple10)] The tiger sees the mouse.[(triple12)] @1: The mouse likes the mouse.[(((triple7) -> rule7))]