The mouse chases the tiger. The mouse is big. The mouse is cold. The mouse is kind. The mouse is nice. The mouse is round. The mouse needs the tiger. The mouse does not see the tiger. The tiger chases the mouse. The tiger is big. The tiger is cold. The tiger is kind. The tiger is nice. The tiger is round. The tiger needs the mouse. The tiger sees the mouse. If the tiger sees the mouse then the mouse chases the tiger. If someone sees the tiger then they need the tiger. If someone is nice then they need the tiger. If the mouse does not chase the tiger then the mouse needs the tiger. If the mouse does not need the tiger then the tiger does not chase the mouse. If someone needs the tiger and the tiger chases the mouse then they chase the mouse.
The mouse sees the mouse.
@0: The mouse chases the tiger.[(triple1 OR ((triple16) -> rule1))] The mouse does not see the tiger.[(triple8)] The mouse is big.[(triple2)] The mouse is cold.[(triple3)] The mouse is kind.[(triple4)] The mouse is nice.[(triple5)] The mouse is round.[(triple6)] The mouse needs the tiger.[(triple7 OR ((triple5) -> rule3))] The tiger chases the mouse.[(triple9)] The tiger is big.[(triple10)] The tiger is cold.[(triple11)] The tiger is kind.[(triple12)] The tiger is nice.[(triple13)] The tiger is round.[(triple14)] The tiger needs the mouse.[(triple15)] The tiger sees the mouse.[(triple16)] @1: The mouse chases the mouse.[(((triple7 triple9) -> rule6) OR ((((triple5) -> rule3) triple9) -> rule6))] The tiger needs the tiger.[(((triple13) -> rule3))]