The mouse is blue. The mouse is kind. The mouse is round. The mouse is young. The mouse likes the tiger. The mouse needs the tiger. The mouse visits the tiger. The tiger is blue. The tiger is kind. The tiger is red. The tiger is round. The tiger is young. The tiger likes the mouse. The tiger needs the mouse. The tiger visits the mouse. If the mouse is kind then the mouse is round. If something needs the tiger and the tiger likes the mouse then the tiger visits the mouse. If something is blue and it visits the tiger then it needs the mouse. If the tiger is kind and the tiger is red then the tiger visits the mouse. If something is blue and young then it likes the mouse. If something is red then it is blue. If something likes the tiger and the tiger needs the mouse then the mouse is kind. If something is young and it likes the mouse then it likes the tiger.
The tiger does not visit the mouse.
@0: The mouse is blue.[(triple1)] The mouse is kind.[(triple2 OR ((triple5 triple14) -> rule7) OR ((((triple12 triple13) -> rule8) triple14) -> rule7) OR ((((triple12 ((triple8 triple12) -> rule5)) -> rule8) triple14) -> rule7) OR ((((triple4 ((triple1 triple4) -> rule5)) -> rule8) triple14) -> rule7) OR ((((triple12 ((((triple10) -> rule6) triple12) -> rule5)) -> rule8) triple14) -> rule7))] The mouse is round.[(triple3 OR ((triple2) -> rule1) OR ((((triple5 triple14) -> rule7)) -> rule1) OR ((((((triple12 triple13) -> rule8) triple14) -> rule7)) -> rule1) OR ((((((triple12 ((triple8 triple12) -> rule5)) -> rule8) triple14) -> rule7)) -> rule1) OR ((((((triple4 ((triple1 triple4) -> rule5)) -> rule8) triple14) -> rule7)) -> rule1) OR ((((((triple12 ((((triple10) -> rule6) triple12) -> rule5)) -> rule8) triple14) -> rule7)) -> rule1))] The mouse is young.[(triple4)] The mouse likes the tiger.[(triple5 OR ((triple4 ((triple1 triple4) -> rule5)) -> rule8))] The mouse needs the tiger.[(triple6)] The mouse visits the tiger.[(triple7)] The tiger is blue.[(triple8 OR ((triple10) -> rule6))] The tiger is kind.[(triple9)] The tiger is red.[(triple10)] The tiger is round.[(triple11)] The tiger is young.[(triple12)] The tiger likes the mouse.[(triple13 OR ((triple8 triple12) -> rule5) OR ((((triple10) -> rule6) triple12) -> rule5))] The tiger needs the mouse.[(triple14)] The tiger visits the mouse.[(triple15 OR ((triple6 triple13) -> rule2) OR ((triple9 triple10) -> rule4) OR ((triple6 ((triple8 triple12) -> rule5)) -> rule2) OR ((triple6 ((((triple10) -> rule6) triple12) -> rule5)) -> rule2))] @1: The mouse likes the mouse.[(((triple1 triple4) -> rule5))] The mouse needs the mouse.[(((triple1 triple7) -> rule3))] The tiger likes the tiger.[(((triple12 triple13) -> rule8) OR ((triple12 ((triple8 triple12) -> rule5)) -> rule8) OR ((triple12 ((((triple10) -> rule6) triple12) -> rule5)) -> rule8))]