The lion is round. The rabbit eats the lion. The rabbit is cold. The rabbit is green. The rabbit is round. The rabbit needs the lion. The rabbit needs the squirrel. The squirrel is not round. The squirrel needs the lion. The squirrel needs the tiger. The squirrel sees the rabbit. The tiger eats the lion. The tiger eats the rabbit. The tiger needs the squirrel. The tiger sees the lion. The tiger sees the rabbit. If something needs the lion then the lion sees the tiger. If something is round and it eats the squirrel then the squirrel needs the tiger. If something sees the tiger then it does not eat the lion.
The lion does not eat the lion.
@0: The lion is round.[(triple1)] The rabbit eats the lion.[(triple2)] The rabbit is cold.[(triple3)] The rabbit is green.[(triple4)] The rabbit is round.[(triple5)] The rabbit needs the lion.[(triple6)] The rabbit needs the squirrel.[(triple7)] The squirrel is not round.[(triple8)] The squirrel needs the lion.[(triple9)] The squirrel needs the tiger.[(triple10)] The squirrel sees the rabbit.[(triple11)] The tiger eats the lion.[(triple12)] The tiger eats the rabbit.[(triple13)] The tiger needs the squirrel.[(triple14)] The tiger sees the lion.[(triple15)] The tiger sees the rabbit.[(triple16)] @1: The lion sees the tiger.[(((triple6) -> rule1) OR ((triple9) -> rule1))] @2: The lion does not eat the lion.[(((((triple6) -> rule1)) -> rule3) OR ((((triple9) -> rule1)) -> rule3))]