The lion chases the tiger. The lion is round. The lion is young. The lion sees the tiger. The tiger chases the lion. The tiger eats the lion. The tiger is cold. The tiger is green. The tiger is young. The tiger sees the lion. If something eats the tiger and the tiger is young then it eats the lion. If something eats the tiger and the tiger sees the lion then the lion is cold. If something sees the lion and the lion does not see the tiger then the lion is red. If something sees the lion then the lion eats the tiger. If something is green then it chases the lion. If the tiger is cold and the tiger is round then the tiger sees the lion.
The tiger eats the lion.
@0: The lion chases the tiger.[(triple1)] The lion is round.[(triple2)] The lion is young.[(triple3)] The lion sees the tiger.[(triple4)] The tiger chases the lion.[(triple5 OR ((triple8) -> rule5))] The tiger eats the lion.[(triple6)] The tiger is cold.[(triple7)] The tiger is green.[(triple8)] The tiger is young.[(triple9)] The tiger sees the lion.[(triple10)] @1: The lion eats the tiger.[(((triple10) -> rule4))] @2: The lion eats the lion.[(((((triple10) -> rule4) triple9) -> rule1))] The lion is cold.[(((((triple10) -> rule4) triple10) -> rule2))]