The mouse does not chase the tiger. The mouse is blue. The mouse is nice. The mouse is round. The mouse sees the tiger. The tiger chases the mouse. The tiger eats the mouse. The tiger is cold. The tiger is nice. The tiger is red. The tiger is round. The tiger sees the mouse. If someone sees the tiger then they are nice. If someone eats the mouse then they see the mouse. Nice people are round.
The tiger is red.
@0: The mouse does not chase the tiger.[(triple1)] The mouse is blue.[(triple2)] The mouse is nice.[(triple3 OR ((triple5) -> rule1))] The mouse is round.[(triple4 OR ((triple3) -> rule3) OR ((((triple5) -> rule1)) -> rule3))] The mouse sees the tiger.[(triple5)] The tiger chases the mouse.[(triple6)] The tiger eats the mouse.[(triple7)] The tiger is cold.[(triple8)] The tiger is nice.[(triple9)] The tiger is red.[(triple10)] The tiger is round.[(triple11 OR ((triple9) -> rule3))] The tiger sees the mouse.[(triple12 OR ((triple7) -> rule2))]