The mouse is big. The mouse is cold. The rabbit chases the tiger. The rabbit eats the mouse. The rabbit is big. The rabbit is cold. The rabbit sees the mouse. The tiger eats the mouse. The tiger sees the mouse. The tiger sees the rabbit. If something is round and rough then it eats the rabbit. If the mouse chases the rabbit then the rabbit is big. If something chases the tiger and the tiger chases the mouse then it eats the rabbit. If something is cold and big then it eats the tiger. If something chases the tiger and the tiger eats the mouse then it sees the rabbit. If something is cold and it eats the rabbit then it chases the rabbit. If the rabbit is nice then the rabbit eats the tiger. If something is nice and it eats the rabbit then the rabbit sees the mouse.
The rabbit chases the tiger.
@0: The mouse is big.[(triple1)] The mouse is cold.[(triple2)] The rabbit chases the tiger.[(triple3)] The rabbit eats the mouse.[(triple4)] The rabbit is big.[(triple5)] The rabbit is cold.[(triple6)] The rabbit sees the mouse.[(triple7)] The tiger eats the mouse.[(triple8)] The tiger sees the mouse.[(triple9)] The tiger sees the rabbit.[(triple10)] @1: The mouse eats the tiger.[(((triple2 triple1) -> rule4))] The rabbit eats the tiger.[(((triple6 triple5) -> rule4))] The rabbit sees the rabbit.[(((triple3 triple8) -> rule5))]