The lion is rough. The tiger chases the lion. If the lion eats the tiger and the lion sees the tiger then the tiger is kind. If something eats the tiger then the tiger eats the lion. If something sees the tiger then the tiger does not eat the lion. If something is rough then it is red. If something chases the lion then the lion eats the tiger. If something sees the tiger then the tiger sees the lion. If something eats the lion then the lion chases the tiger. If the lion is not rough then the lion is not kind.
The tiger is not red.
@0: The lion is rough.[(triple1)] The tiger chases the lion.[(triple2)] @1: The lion eats the tiger.[(((triple2) -> rule5))] The lion is red.[(((triple1) -> rule4))] @2: The tiger eats the lion.[(((((triple2) -> rule5)) -> rule2))] @3: The lion chases the tiger.[(((((((triple2) -> rule5)) -> rule2)) -> rule7))]