The mouse chases the tiger. The mouse eats the tiger. The mouse is not cold. The mouse needs the tiger. The rabbit chases the mouse. The rabbit chases the tiger. The rabbit eats the tiger. The rabbit is nice. The tiger eats the rabbit. The tiger is not big. The tiger is kind. The tiger needs the rabbit. If someone chases the mouse then they are green. If someone needs the rabbit then they chase the mouse. If the rabbit chases the mouse then the mouse needs the rabbit. If someone is cold and green then they chase the tiger. If someone is green and they do not need the rabbit then the rabbit needs the tiger. If someone is green and they need the tiger then the tiger is green.
The tiger is not big.
@0: The mouse chases the tiger.[(triple1)] The mouse eats the tiger.[(triple2)] The mouse is not cold.[(triple3)] The mouse needs the tiger.[(triple4)] The rabbit chases the mouse.[(triple5)] The rabbit chases the tiger.[(triple6)] The rabbit eats the tiger.[(triple7)] The rabbit is nice.[(triple8)] The tiger eats the rabbit.[(triple9)] The tiger is kind.[(triple11)] The tiger is not big.[(triple10)] The tiger needs the rabbit.[(triple12)] @1: The mouse needs the rabbit.[(((triple5) -> rule3))] The rabbit is green.[(((triple5) -> rule1))] The tiger chases the mouse.[(((triple12) -> rule2))] @2: The mouse chases the mouse.[(((((triple5) -> rule3)) -> rule2))] The tiger is green.[(((((triple12) -> rule2)) -> rule1) OR ((((((((triple5) -> rule3)) -> rule2)) -> rule1) triple4) -> rule6))] @3: The mouse is green.[(((((((triple5) -> rule3)) -> rule2)) -> rule1))]