The lion is big. The lion is blue. The lion needs the tiger. The mouse is rough. The mouse is round. The mouse sees the lion. The tiger is red. The tiger needs the lion. The tiger sees the lion. The tiger sees the mouse. If someone needs the tiger and the tiger sees the lion then they visit the lion. If someone is blue then they visit the mouse. If the mouse is round and the mouse needs the tiger then the tiger needs the mouse. If the tiger visits the lion then the lion visits the tiger. If the mouse is round then the mouse is blue. If someone sees the lion and they need the mouse then the lion needs the tiger.
The tiger does not visit the mouse.
@0: The lion is big.[(triple1)] The lion is blue.[(triple2)] The lion needs the tiger.[(triple3)] The mouse is rough.[(triple4)] The mouse is round.[(triple5)] The mouse sees the lion.[(triple6)] The tiger is red.[(triple7)] The tiger needs the lion.[(triple8)] The tiger sees the lion.[(triple9)] The tiger sees the mouse.[(triple10)] @1: The lion visits the lion.[(((triple3 triple9) -> rule1))] The lion visits the mouse.[(((triple2) -> rule2))] The mouse is blue.[(((triple5) -> rule5))] @2: The mouse visits the mouse.[(((((triple5) -> rule5)) -> rule2))]