The mouse chases the tiger. The mouse is big. The mouse is cold. The mouse is red. The mouse is rough. The mouse is round. The mouse likes the tiger. The mouse visits the tiger. The tiger chases the mouse. The tiger is big. The tiger is cold. The tiger is red. The tiger is rough. The tiger likes the mouse. The tiger visits the mouse. If the mouse visits the tiger and the mouse chases the tiger then the mouse is cold. If someone likes the tiger and they visit the tiger then they are round. If someone chases the mouse and the mouse visits the tiger then they chase the tiger. If someone visits the mouse and the mouse visits the tiger then they like the tiger. If someone chases the tiger and the tiger chases the mouse then they visit the tiger. If someone chases the tiger and they visit the tiger then the tiger likes the mouse. If someone is cold and they chase the mouse then they visit the mouse. If someone chases the tiger and they are red then the tiger visits the mouse.
The tiger is not round.
@0: The mouse chases the tiger.[(triple1)] The mouse is big.[(triple2)] The mouse is cold.[(triple3 OR ((triple8 triple1) -> rule1) OR ((((triple1 triple9) -> rule5) triple1) -> rule1))] The mouse is red.[(triple4)] The mouse is rough.[(triple5)] The mouse is round.[(triple6 OR ((triple7 triple8) -> rule2) OR ((triple7 ((triple1 triple9) -> rule5)) -> rule2))] The mouse likes the tiger.[(triple7)] The mouse visits the tiger.[(triple8 OR ((triple1 triple9) -> rule5))] The tiger chases the mouse.[(triple9)] The tiger is big.[(triple10)] The tiger is cold.[(triple11)] The tiger is red.[(triple12)] The tiger is rough.[(triple13)] The tiger likes the mouse.[(triple14 OR ((triple1 triple8) -> rule6) OR ((triple1 ((triple1 triple9) -> rule5)) -> rule6) OR ((((triple9 triple8) -> rule3) ((((triple9 triple8) -> rule3) triple9) -> rule5)) -> rule6) OR ((((triple9 ((triple1 triple9) -> rule5)) -> rule3) ((((triple9 triple8) -> rule3) triple9) -> rule5)) -> rule6) OR ((((triple9 triple8) -> rule3) ((((triple9 ((triple1 triple9) -> rule5)) -> rule3) triple9) -> rule5)) -> rule6) OR ((((triple9 ((triple1 triple9) -> rule5)) -> rule3) ((((triple9 ((triple1 triple9) -> rule5)) -> rule3) triple9) -> rule5)) -> rule6))] The tiger visits the mouse.[(triple15 OR ((triple1 triple4) -> rule8) OR ((triple11 triple9) -> rule7) OR ((((triple9 triple8) -> rule3) triple12) -> rule8) OR ((((triple9 ((triple1 triple9) -> rule5)) -> rule3) triple12) -> rule8))] @1: The tiger chases the tiger.[(((triple9 triple8) -> rule3) OR ((triple9 ((triple1 triple9) -> rule5)) -> rule3))] The tiger likes the tiger.[(((triple15 triple8) -> rule4) OR ((triple15 ((triple1 triple9) -> rule5)) -> rule4) OR ((((triple1 triple4) -> rule8) triple8) -> rule4) OR ((((triple11 triple9) -> rule7) triple8) -> rule4) OR ((((triple1 triple4) -> rule8) ((triple1 triple9) -> rule5)) -> rule4) OR ((((triple11 triple9) -> rule7) ((triple1 triple9) -> rule5)) -> rule4) OR ((((((triple9 triple8) -> rule3) triple12) -> rule8) triple8) -> rule4) OR ((((((triple9 triple8) -> rule3) triple12) -> rule8) ((triple1 triple9) -> rule5)) -> rule4) OR ((((((triple9 ((triple1 triple9) -> rule5)) -> rule3) triple12) -> rule8) triple8) -> rule4) OR ((((((triple9 ((triple1 triple9) -> rule5)) -> rule3) triple12) -> rule8) ((triple1 triple9) -> rule5)) -> rule4))] @2: The tiger visits the tiger.[(((((triple9 triple8) -> rule3) triple9) -> rule5) OR ((((triple9 ((triple1 triple9) -> rule5)) -> rule3) triple9) -> rule5))] @3: The tiger is round.[(((((triple15 triple8) -> rule4) ((((triple9 triple8) -> rule3) triple9) -> rule5)) -> rule2) OR ((((triple15 ((triple1 triple9) -> rule5)) -> rule4) ((((triple9 triple8) -> rule3) triple9) -> rule5)) -> rule2) OR ((((((triple1 triple4) -> rule8) triple8) -> rule4) ((((triple9 triple8) -> rule3) triple9) -> rule5)) -> rule2) OR ((((((triple11 triple9) -> rule7) triple8) -> rule4) ((((triple9 triple8) -> rule3) triple9) -> rule5)) -> rule2) OR ((((((triple1 triple4) -> rule8) ((triple1 triple9) -> rule5)) -> rule4) ((((triple9 triple8) -> rule3) triple9) -> rule5)) -> rule2) OR ((((((triple11 triple9) -> rule7) ((triple1 triple9) -> rule5)) -> rule4) ((((triple9 triple8) -> rule3) triple9) -> rule5)) -> rule2) OR ((((triple15 triple8) -> rule4) ((((triple9 ((triple1 triple9) -> rule5)) -> rule3) triple9) -> rule5)) -> rule2) OR ((((triple15 ((triple1 triple9) -> rule5)) -> rule4) ((((triple9 ((triple1 triple9) -> rule5)) -> rule3) triple9) -> rule5)) -> rule2) OR ((((((triple1 triple4) -> rule8) triple8) -> rule4) ((((triple9 ((triple1 triple9) -> rule5)) -> rule3) triple9) -> rule5)) -> rule2) OR ((((((triple11 triple9) -> rule7) triple8) -> rule4) ((((triple9 ((triple1 triple9) -> rule5)) -> rule3) triple9) -> rule5)) -> rule2) OR ((((((((triple9 triple8) -> rule3) triple12) -> rule8) triple8) -> rule4) ((((triple9 triple8) -> rule3) triple9) -> rule5)) -> rule2) OR ((((((triple1 triple4) -> rule8) ((triple1 triple9) -> rule5)) -> rule4) ((((triple9 ((triple1 triple9) -> rule5)) -> rule3) triple9) -> rule5)) -> rule2) OR ((((((triple11 triple9) -> rule7) ((triple1 triple9) -> rule5)) -> rule4) ((((triple9 ((triple1 triple9) -> rule5)) -> rule3) triple9) -> rule5)) -> rule2) OR ((((((((triple9 triple8) -> rule3) triple12) -> rule8) triple8) -> rule4) ((((triple9 ((triple1 triple9) -> rule5)) -> rule3) triple9) -> rule5)) -> rule2) OR ((((((((triple9 triple8) -> rule3) triple12) -> rule8) ((triple1 triple9) -> rule5)) -> rule4) ((((triple9 triple8) -> rule3) triple9) -> rule5)) -> rule2) OR ((((((((triple9 triple8) -> rule3) triple12) -> rule8) ((triple1 triple9) -> rule5)) -> rule4) ((((triple9 ((triple1 triple9) -> rule5)) -> rule3) triple9) -> rule5)) -> rule2) OR ((((((((triple9 ((triple1 triple9) -> rule5)) -> rule3) triple12) -> rule8) triple8) -> rule4) ((((triple9 triple8) -> rule3) triple9) -> rule5)) -> rule2) OR ((((((((triple9 ((triple1 triple9) -> rule5)) -> rule3) triple12) -> rule8) triple8) -> rule4) ((((triple9 ((triple1 triple9) -> rule5)) -> rule3) triple9) -> rule5)) -> rule2) OR ((((((((triple9 ((triple1 triple9) -> rule5)) -> rule3) triple12) -> rule8) ((triple1 triple9) -> rule5)) -> rule4) ((((triple9 triple8) -> rule3) triple9) -> rule5)) -> rule2) OR ((((((((triple9 ((triple1 triple9) -> rule5)) -> rule3) triple12) -> rule8) ((triple1 triple9) -> rule5)) -> rule4) ((((triple9 ((triple1 triple9) -> rule5)) -> rule3) triple9) -> rule5)) -> rule2))]