The mouse chases the tiger. The mouse eats the rabbit. The mouse eats the tiger. The mouse is round. The mouse sees the tiger. The rabbit chases the mouse. The rabbit eats the mouse. The rabbit is big. The rabbit is green. The rabbit sees the mouse. The rabbit sees the tiger. The tiger eats the rabbit. The tiger is nice. The tiger is round. The tiger sees the mouse. The tiger sees the rabbit. If someone sees the rabbit and they chase the tiger then the rabbit eats the tiger. If the rabbit eats the tiger and the tiger sees the rabbit then the tiger eats the mouse. If someone chases the rabbit then they eat the rabbit. If someone sees the tiger then they are round. If someone sees the rabbit then the rabbit eats the mouse. If the tiger eats the mouse and the tiger sees the rabbit then the mouse chases the rabbit. If someone chases the tiger then they see the rabbit. If someone eats the tiger and they chase the rabbit then they see the mouse.
The tiger eats the mouse.
@0: The mouse chases the tiger.[(triple1)] The mouse eats the rabbit.[(triple2 OR ((((((((((triple1) -> rule7) triple1) -> rule1) triple16) -> rule2) triple16) -> rule6)) -> rule3))] The mouse eats the tiger.[(triple3)] The mouse is round.[(triple4 OR ((triple5) -> rule4))] The mouse sees the tiger.[(triple5)] The rabbit chases the mouse.[(triple6)] The rabbit eats the mouse.[(triple7 OR ((triple16) -> rule5) OR ((((triple1) -> rule7)) -> rule5))] The rabbit is big.[(triple8)] The rabbit is green.[(triple9)] The rabbit sees the mouse.[(triple10)] The rabbit sees the tiger.[(triple11)] The tiger eats the rabbit.[(triple12)] The tiger is nice.[(triple13)] The tiger is round.[(triple14)] The tiger sees the mouse.[(triple15)] The tiger sees the rabbit.[(triple16)] @1: The mouse sees the rabbit.[(((triple1) -> rule7))] The rabbit is round.[(((triple11) -> rule4))] @2: The rabbit eats the tiger.[(((((triple1) -> rule7) triple1) -> rule1))] @3: The tiger eats the mouse.[(((((((triple1) -> rule7) triple1) -> rule1) triple16) -> rule2))] @4: The mouse chases the rabbit.[(((((((((triple1) -> rule7) triple1) -> rule1) triple16) -> rule2) triple16) -> rule6))] @5: The mouse sees the mouse.[(((triple3 ((((((((triple1) -> rule7) triple1) -> rule1) triple16) -> rule2) triple16) -> rule6)) -> rule8))]