The lion likes the mouse. The mouse eats the lion. The mouse is kind. The mouse is round. The mouse visits the tiger. The tiger likes the lion. The tiger visits the mouse. If someone is kind and they visit the tiger then the tiger visits the lion. If the tiger eats the mouse and the tiger is nice then the mouse is red. If someone likes the lion then the lion likes the tiger. If someone visits the lion then they are red. If someone is red and they visit the mouse then the mouse likes the tiger. If someone is kind and they like the mouse then the mouse is round.
The tiger is not red.
@0: The lion likes the mouse.[(triple1)] The mouse eats the lion.[(triple2)] The mouse is kind.[(triple3)] The mouse is round.[(triple4)] The mouse visits the tiger.[(triple5)] The tiger likes the lion.[(triple6)] The tiger visits the mouse.[(triple7)] @1: The lion likes the tiger.[(((triple6) -> rule3))] The tiger visits the lion.[(((triple3 triple5) -> rule1))] @2: The tiger is red.[(((((triple3 triple5) -> rule1)) -> rule4))] @3: The mouse likes the tiger.[(((((((triple3 triple5) -> rule1)) -> rule4) triple7) -> rule5))]