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