The lion is cold. The lion is not nice. The lion is round. The lion likes the tiger. The squirrel is not cold. The squirrel needs the lion. The tiger is green. The tiger needs the squirrel. The tiger visits the lion. The tiger visits the squirrel. If something needs the tiger and the tiger is green then the tiger visits the squirrel. If something is blue and not nice then it likes the tiger. If something needs the lion then it is green. If the squirrel is green and the squirrel is not nice then the squirrel visits the tiger. If something visits the lion then the lion visits the squirrel. If something is nice and it does not visit the tiger then it visits the lion. If something visits the tiger and the tiger does not visit the lion then it is round. If something needs the tiger then it is round.
The tiger does not need the squirrel.
@0: The lion is cold.[(triple1)] The lion is not nice.[(triple2)] The lion is round.[(triple3)] The lion likes the tiger.[(triple4)] The squirrel is not cold.[(triple5)] The squirrel needs the lion.[(triple6)] The tiger is green.[(triple7)] The tiger needs the squirrel.[(triple8)] The tiger visits the lion.[(triple9)] The tiger visits the squirrel.[(triple10)] @1: The lion visits the squirrel.[(((triple9) -> rule5))] The squirrel is green.[(((triple6) -> rule3))]