The mouse chases the tiger. The mouse eats the tiger. The mouse is cold. The mouse is kind. The mouse is rough. The mouse likes the tiger. The tiger chases the mouse. The tiger eats the mouse. The tiger is cold. The tiger is kind. The tiger is rough. The tiger likes the mouse. If someone likes the mouse and the mouse chases the tiger then they are red. If someone is kind and they eat the tiger then they eat the mouse. If someone is rough then they chase the tiger. If the tiger likes the mouse and the mouse chases the tiger then the mouse eats the tiger. If someone eats the tiger then they chase the tiger. If someone chases the mouse then they eat the tiger.
The mouse is not rough.
@0: The mouse chases the tiger.[(triple1 OR ((triple2) -> rule5) OR ((triple5) -> rule3))] The mouse eats the tiger.[(triple2 OR ((triple12 triple1) -> rule4) OR ((triple12 ((triple5) -> rule3)) -> rule4))] The mouse is cold.[(triple3)] The mouse is kind.[(triple4)] The mouse is rough.[(triple5)] The mouse likes the tiger.[(triple6)] The tiger chases the mouse.[(triple7)] The tiger eats the mouse.[(triple8 OR ((triple10 ((triple7) -> rule6)) -> rule2))] The tiger is cold.[(triple9)] The tiger is kind.[(triple10)] The tiger is rough.[(triple11)] The tiger likes the mouse.[(triple12)] @1: The mouse eats the mouse.[(((triple4 triple2) -> rule2) OR ((triple4 ((triple12 triple1) -> rule4)) -> rule2) OR ((triple4 ((triple12 ((triple5) -> rule3)) -> rule4)) -> rule2))] The tiger chases the tiger.[(((triple11) -> rule3) OR ((((triple7) -> rule6)) -> rule5))] The tiger eats the tiger.[(((triple7) -> rule6))] The tiger is red.[(((triple12 triple1) -> rule1) OR ((triple12 ((triple2) -> rule5)) -> rule1) OR ((triple12 ((triple5) -> rule3)) -> rule1))]