The mouse eats the tiger. The mouse is big. The mouse is kind. The mouse is nice. The mouse is rough. The mouse is young. The mouse likes the tiger. The mouse sees the tiger. The tiger eats the mouse. The tiger is kind. The tiger is nice. The tiger is rough. The tiger is young. The tiger likes the mouse. The tiger sees the mouse. If someone is nice and they like the tiger then they are big. If someone eats the tiger then the tiger likes the mouse. If someone eats the mouse then the mouse is young. If the tiger eats the mouse and the mouse is kind then the tiger likes the mouse. If someone sees the mouse and they like the mouse then they like the tiger. If someone is young and big then they see the tiger. If the tiger likes the mouse and the mouse sees the tiger then the tiger eats the mouse. If someone sees the mouse then the mouse eats the tiger.
The tiger does not see the tiger.
@0: The mouse eats the tiger.[(triple1 OR ((triple15) -> rule8))] The mouse is big.[(triple2 OR ((triple4 triple7) -> rule1))] The mouse is kind.[(triple3)] The mouse is nice.[(triple4)] The mouse is rough.[(triple5)] The mouse is young.[(triple6 OR ((triple9) -> rule3) OR ((((triple14 triple8) -> rule7)) -> rule3) OR ((((((triple1) -> rule2) triple8) -> rule7)) -> rule3) OR ((((((((triple15) -> rule8)) -> rule2) triple8) -> rule7)) -> rule3))] The mouse likes the tiger.[(triple7)] The mouse sees the tiger.[(triple8 OR ((triple6 triple2) -> rule6) OR ((triple6 ((triple4 triple7) -> rule1)) -> rule6) OR ((((triple9) -> rule3) triple2) -> rule6) OR ((((triple9) -> rule3) ((triple4 triple7) -> rule1)) -> rule6))] The tiger eats the mouse.[(triple9 OR ((triple14 triple8) -> rule7) OR ((triple14 ((triple6 triple2) -> rule6)) -> rule7) OR ((((triple1) -> rule2) triple8) -> rule7) OR ((((triple1) -> rule2) ((triple6 triple2) -> rule6)) -> rule7) OR ((triple14 ((triple6 ((triple4 triple7) -> rule1)) -> rule6)) -> rule7) OR ((((((triple15) -> rule8)) -> rule2) triple8) -> rule7) OR ((((triple1) -> rule2) ((triple6 ((triple4 triple7) -> rule1)) -> rule6)) -> rule7) OR ((((((triple15) -> rule8)) -> rule2) ((triple6 triple2) -> rule6)) -> rule7) OR ((((((triple15) -> rule8)) -> rule2) ((triple6 ((triple4 triple7) -> rule1)) -> rule6)) -> rule7))] The tiger is kind.[(triple10)] The tiger is nice.[(triple11)] The tiger is rough.[(triple12)] The tiger is young.[(triple13)] The tiger likes the mouse.[(triple14 OR ((triple1) -> rule2) OR ((triple9 triple3) -> rule4) OR ((((triple15) -> rule8)) -> rule2))] The tiger sees the mouse.[(triple15)] @1: The tiger likes the tiger.[(((triple15 triple14) -> rule5) OR ((triple15 ((triple1) -> rule2)) -> rule5) OR ((triple15 ((triple9 triple3) -> rule4)) -> rule5) OR ((triple15 ((((triple15) -> rule8)) -> rule2)) -> rule5))] @2: The tiger is big.[(((triple11 ((triple15 triple14) -> rule5)) -> rule1) OR ((triple11 ((triple15 ((triple1) -> rule2)) -> rule5)) -> rule1) OR ((triple11 ((triple15 ((triple9 triple3) -> rule4)) -> rule5)) -> rule1) OR ((triple11 ((triple15 ((((triple15) -> rule8)) -> rule2)) -> rule5)) -> rule1))] @3: The tiger sees the tiger.[(((triple13 ((triple11 ((triple15 triple14) -> rule5)) -> rule1)) -> rule6) OR ((triple13 ((triple11 ((triple15 ((triple1) -> rule2)) -> rule5)) -> rule1)) -> rule6) OR ((triple13 ((triple11 ((triple15 ((triple9 triple3) -> rule4)) -> rule5)) -> rule1)) -> rule6) OR ((triple13 ((triple11 ((triple15 ((((triple15) -> rule8)) -> rule2)) -> rule5)) -> rule1)) -> rule6))]