The mouse eats the tiger. The mouse is green. The mouse needs the tiger. The mouse visits the tiger. The tiger is kind. The tiger needs the mouse. The tiger visits the mouse. If someone is red and they eat the mouse then the mouse needs the tiger. If someone needs the tiger then the tiger needs the mouse. If the mouse needs the tiger and the mouse visits the tiger then the mouse is young. All green people are rough. If someone eats the tiger then they need the tiger. If the tiger is young then the tiger eats the mouse.
The tiger does not need the tiger.
@0: The mouse eats the tiger.[(triple1)] The mouse is green.[(triple2)] The mouse needs the tiger.[(triple3 OR ((triple1) -> rule5))] The mouse visits the tiger.[(triple4)] The tiger is kind.[(triple5)] The tiger needs the mouse.[(triple6 OR ((triple3) -> rule2) OR ((((triple1) -> rule5)) -> rule2))] The tiger visits the mouse.[(triple7)] @1: The mouse is rough.[(((triple2) -> rule4))] The mouse is young.[(((triple3 triple4) -> rule3) OR ((((triple1) -> rule5) triple4) -> rule3))]