The lion eats the tiger. The lion is blue. The tiger sees the lion. If something likes the tiger then it eats the tiger. If something eats the tiger and the tiger likes the lion then the tiger is not rough. If something sees the tiger then it is green. If something sees the lion then it sees the tiger. All green things are rough. If something sees the tiger and the tiger does not see the lion then the lion is not rough.
The tiger does not like the lion.
@0: The lion eats the tiger.[(triple1)] The lion is blue.[(triple2)] The tiger sees the lion.[(triple3)] @1: The tiger sees the tiger.[(((triple3) -> rule4))] @2: The tiger is green.[(((((triple3) -> rule4)) -> rule3))] @3: The tiger is rough.[(((((((triple3) -> rule4)) -> rule3)) -> rule5))]