The mouse eats the rabbit. The mouse is big. The mouse is blue. The mouse is cold. The mouse is green. The mouse is kind. The mouse sees the rabbit. The mouse visits the rabbit. The rabbit eats the mouse. The rabbit is big. The rabbit is blue. The rabbit is cold. The rabbit is green. The rabbit is kind. The rabbit sees the mouse. The rabbit visits the mouse. If something is green then it eats the rabbit. If something eats the rabbit then it sees the mouse. If something eats the mouse then the mouse is big. If the rabbit eats the mouse then the mouse eats the rabbit. If something sees the mouse then the mouse sees the rabbit. If something visits the rabbit then the rabbit sees the mouse.
The mouse eats the mouse.
@0: The mouse eats the rabbit.[(triple1 OR ((triple5) -> rule1) OR ((triple9) -> rule4))] The mouse is big.[(triple2 OR ((triple9) -> rule3))] The mouse is blue.[(triple3)] The mouse is cold.[(triple4)] The mouse is green.[(triple5)] The mouse is kind.[(triple6)] The mouse sees the rabbit.[(triple7 OR ((triple15) -> rule5) OR ((((triple1) -> rule2)) -> rule5) OR ((((triple8) -> rule6)) -> rule5) OR ((((((triple13) -> rule1)) -> rule2)) -> rule5) OR ((((((triple5) -> rule1)) -> rule2)) -> rule5) OR ((((((triple9) -> rule4)) -> rule2)) -> rule5))] The mouse visits the rabbit.[(triple8)] The rabbit eats the mouse.[(triple9)] The rabbit is big.[(triple10)] The rabbit is blue.[(triple11)] The rabbit is cold.[(triple12)] The rabbit is green.[(triple13)] The rabbit is kind.[(triple14)] The rabbit sees the mouse.[(triple15 OR ((triple8) -> rule6) OR ((((triple13) -> rule1)) -> rule2))] The rabbit visits the mouse.[(triple16)] @1: The mouse sees the mouse.[(((triple1) -> rule2) OR ((((triple5) -> rule1)) -> rule2) OR ((((triple9) -> rule4)) -> rule2))] The rabbit eats the rabbit.[(((triple13) -> rule1))]