The lion is big. The lion is not green. The lion does not like the rabbit. The lion likes the tiger. The rabbit does not like the lion. The tiger is red. The tiger sees the rabbit. If something likes the tiger then the tiger eats the rabbit. If something sees the tiger then it does not eat the tiger. If something is big and it sees the rabbit then the rabbit likes the lion. If something is kind and it does not eat the lion then the lion does not like the rabbit. If something eats the rabbit then the rabbit sees the tiger. All green things are not big. If something eats the rabbit and it is big then the rabbit sees the lion. If something likes the rabbit then the rabbit does not like the tiger.
The rabbit sees the tiger.
@0: The lion does not like the rabbit.[(triple3)] The lion is big.[(triple1)] The lion is not green.[(triple2)] The lion likes the tiger.[(triple4)] The rabbit does not like the lion.[(triple5)] The tiger is red.[(triple6)] The tiger sees the rabbit.[(triple7)] @1: The tiger eats the rabbit.[(((triple4) -> rule1))] @2: The rabbit sees the tiger.[(((((triple4) -> rule1)) -> rule5))] @3: The rabbit does not eat the tiger.[(((((((triple4) -> rule1)) -> rule5)) -> rule2))]