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