The mouse chases the tiger. The mouse sees the rabbit. The rabbit chases the mouse. The rabbit is green. The rabbit sees the tiger. The tiger chases the rabbit. The tiger eats the mouse. The tiger eats the rabbit. The tiger is blue. The tiger is rough. The tiger sees the mouse. The tiger sees the rabbit. If something is blue then it chases the mouse. If something is big and it sees the mouse then the mouse eats the tiger. If something is cold and it sees the mouse then the mouse is big. If the mouse eats the tiger then the tiger is cold. If the mouse eats the rabbit and the mouse is big then the mouse is cold. If the tiger is rough then the tiger is big.
The rabbit does not eat the tiger.
@0: The mouse chases the tiger.[(triple1)] The mouse sees the rabbit.[(triple2)] The rabbit chases the mouse.[(triple3)] The rabbit is green.[(triple4)] The rabbit sees the tiger.[(triple5)] The tiger chases the rabbit.[(triple6)] The tiger eats the mouse.[(triple7)] The tiger eats the rabbit.[(triple8)] The tiger is blue.[(triple9)] The tiger is rough.[(triple10)] The tiger sees the mouse.[(triple11)] The tiger sees the rabbit.[(triple12)] @1: The tiger chases the mouse.[(((triple9) -> rule1))] The tiger is big.[(((triple10) -> rule6))] @2: The mouse eats the tiger.[(((((triple10) -> rule6) triple11) -> rule2))] @3: The tiger is cold.[(((((((triple10) -> rule6) triple11) -> rule2)) -> rule4))] @4: The mouse is big.[(((((((((triple10) -> rule6) triple11) -> rule2)) -> rule4) triple11) -> rule3))]