The mouse eats the tiger. The mouse is blue. The mouse is kind. The mouse is nice. The mouse is red. The mouse is round. The mouse needs the tiger. The mouse sees the tiger. The tiger eats the mouse. The tiger is blue. The tiger is kind. The tiger is red. The tiger is round. The tiger needs the mouse. The tiger sees the mouse. If someone eats the tiger and the tiger needs the mouse then they need the mouse. If someone is blue then they see the mouse. If the mouse needs the tiger and the tiger needs the mouse then the tiger sees the mouse. If someone is round then they need the mouse. If someone sees the mouse then the mouse eats the tiger. If someone eats the tiger then they see the mouse.
The tiger does not see the mouse.
@0: The mouse eats the tiger.[(triple1 OR ((triple15) -> rule5) OR ((((triple10) -> rule2)) -> rule5) OR ((((triple2) -> rule2)) -> rule5) OR ((((triple7 triple14) -> rule3)) -> rule5) OR ((((triple7 ((triple13) -> rule4)) -> rule3)) -> rule5))] The mouse is blue.[(triple2)] The mouse is kind.[(triple3)] The mouse is nice.[(triple4)] The mouse is red.[(triple5)] The mouse is round.[(triple6)] The mouse needs the tiger.[(triple7)] The mouse sees the tiger.[(triple8)] The tiger eats the mouse.[(triple9)] The tiger is blue.[(triple10)] The tiger is kind.[(triple11)] The tiger is red.[(triple12)] The tiger is round.[(triple13)] The tiger needs the mouse.[(triple14 OR ((triple13) -> rule4))] The tiger sees the mouse.[(triple15 OR ((triple10) -> rule2) OR ((triple7 triple14) -> rule3) OR ((triple7 ((triple13) -> rule4)) -> rule3))] @1: The mouse needs the mouse.[(((triple6) -> rule4) OR ((triple1 triple14) -> rule1) OR ((triple1 ((triple13) -> rule4)) -> rule1) OR ((((triple15) -> rule5) triple14) -> rule1) OR ((((triple15) -> rule5) ((triple13) -> rule4)) -> rule1) OR ((((((triple10) -> rule2)) -> rule5) triple14) -> rule1) OR ((((((triple2) -> rule2)) -> rule5) triple14) -> rule1) OR ((((((triple7 triple14) -> rule3)) -> rule5) triple14) -> rule1) OR ((((((triple10) -> rule2)) -> rule5) ((triple13) -> rule4)) -> rule1) OR ((((((triple2) -> rule2)) -> rule5) ((triple13) -> rule4)) -> rule1) OR ((((((triple7 triple14) -> rule3)) -> rule5) ((triple13) -> rule4)) -> rule1) OR ((((((triple7 ((triple13) -> rule4)) -> rule3)) -> rule5) triple14) -> rule1) OR ((((((triple7 ((triple13) -> rule4)) -> rule3)) -> rule5) ((triple13) -> rule4)) -> rule1))] The mouse sees the mouse.[(((triple1) -> rule6) OR ((triple2) -> rule2) OR ((((triple15) -> rule5)) -> rule6) OR ((((((triple10) -> rule2)) -> rule5)) -> rule6) OR ((((((triple7 triple14) -> rule3)) -> rule5)) -> rule6) OR ((((((triple7 ((triple13) -> rule4)) -> rule3)) -> rule5)) -> rule6))]