The mouse chases the tiger. The mouse is green. The mouse is red. The mouse likes the tiger. The mouse needs the tiger. The tiger chases the mouse. The tiger is green. The tiger is round. The tiger likes the mouse. The tiger needs the mouse. If someone needs the mouse and the mouse needs the tiger then they like the tiger. If someone chases the mouse then they are green. If someone likes the tiger and the tiger is red then the tiger likes the mouse.
The mouse is blue.
@0: The mouse chases the tiger.[(triple1)] The mouse is green.[(triple2)] The mouse is red.[(triple3)] The mouse likes the tiger.[(triple4)] The mouse needs the tiger.[(triple5)] The tiger chases the mouse.[(triple6)] The tiger is green.[(triple7 OR ((triple6) -> rule2))] The tiger is round.[(triple8)] The tiger likes the mouse.[(triple9)] The tiger needs the mouse.[(triple10)] @1: The tiger likes the tiger.[(((triple10 triple5) -> rule1))]