The cat sees the mouse. The mouse is round. The tiger sees the mouse. If someone needs the mouse and the mouse likes the cat then the cat sees the mouse. If someone sees the tiger then the tiger is kind. If someone needs the tiger then the tiger is rough. If someone sees the tiger then they are round. If someone is rough then they do not need the mouse. If someone is round and they see the cat then the cat is round. If someone sees the mouse then they need the tiger. If the cat likes the mouse and the cat does not need the mouse then the mouse is kind.
The tiger is round.
@0: The cat sees the mouse.[(triple1)] The mouse is round.[(triple2)] The tiger sees the mouse.[(triple3)] @1: The cat needs the tiger.[(((triple1) -> rule7))] The tiger needs the tiger.[(((triple3) -> rule7))] @2: The tiger is rough.[(((((triple1) -> rule7)) -> rule3) OR ((((triple3) -> rule7)) -> rule3))] @3: The tiger does not need the mouse.[(((((((triple1) -> rule7)) -> rule3)) -> rule5) OR ((((((triple3) -> rule7)) -> rule3)) -> rule5))]