The cow is round. The lion is kind. The mouse visits the tiger. The tiger likes the mouse. If someone is cold then they are not rough. If the lion visits the tiger and the lion likes the tiger then the lion likes the cow. If someone is round then they visit the mouse. If someone likes the lion and they are not big then the lion is not cold. If someone visits the mouse then the mouse is round. If someone is cold and they do not like the tiger then they visit the lion. If someone likes the cow and they are not big then the cow visits the mouse. If someone sees the lion and they do not visit the mouse then the lion sees the cow.
The tiger does not visit the lion.
@0: The cow is round.[(triple1)] The lion is kind.[(triple2)] The mouse visits the tiger.[(triple3)] The tiger likes the mouse.[(triple4)] @1: The cow visits the mouse.[(((triple1) -> rule3))] @2: The mouse is round.[(((((triple1) -> rule3)) -> rule5))] @3: The mouse visits the mouse.[(((((((triple1) -> rule3)) -> rule5)) -> rule3))]