The lion chases the tiger. The lion eats the tiger. The lion is big. The lion is green. The lion is rough. The lion sees the tiger. The tiger chases the lion. The tiger eats the lion. The tiger is big. The tiger is green. The tiger is young. The tiger sees the lion. If something is rough and it eats the lion then it is green. If something sees the lion then it sees the tiger. If the tiger sees the lion then the lion eats the tiger.
The lion is cold.
@0: The lion chases the tiger.[(triple1)] The lion eats the tiger.[(triple2 OR ((triple12) -> rule3))] The lion is big.[(triple3)] The lion is green.[(triple4)] The lion is rough.[(triple5)] The lion sees the tiger.[(triple6)] The tiger chases the lion.[(triple7)] The tiger eats the lion.[(triple8)] The tiger is big.[(triple9)] The tiger is green.[(triple10)] The tiger is young.[(triple11)] The tiger sees the lion.[(triple12)] @1: The tiger sees the tiger.[(((triple12) -> rule2))]