The bald eagle visits the lion. The lion is round. The squirrel likes the lion. The tiger is big. If something is big then it sees the lion. If the squirrel likes the bald eagle then the bald eagle sees the tiger. If something sees the lion then it does not visit the squirrel. If something sees the lion then the lion visits the bald eagle. If something is big and young then it does not like the squirrel. If the squirrel is round and the squirrel likes the bald eagle then the squirrel is not rough.
The squirrel sees the squirrel.
@0: The bald eagle visits the lion.[(triple1)] The lion is round.[(triple2)] The squirrel likes the lion.[(triple3)] The tiger is big.[(triple4)] @1: The tiger sees the lion.[(((triple4) -> rule1))] @2: The lion visits the bald eagle.[(((((triple4) -> rule1)) -> rule4))] The tiger does not visit the squirrel.[(((((triple4) -> rule1)) -> rule3))]