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