The lion eats the rabbit. The lion is blue. The lion is red. The lion likes the rabbit. The lion visits the rabbit. The rabbit eats the lion. The rabbit visits the lion. If the rabbit visits the lion and the lion is nice then the lion is not young. If something visits the lion then the lion is nice. If something likes the rabbit and it is not young then it is rough. If something is rough and it visits the rabbit then it does not eat the lion. If something eats the lion and it is rough then it likes the lion. If something is rough and it eats the rabbit then it does not like the lion.
The rabbit is not young.
@0: The lion eats the rabbit.[(triple1)] The lion is blue.[(triple2)] The lion is red.[(triple3)] The lion likes the rabbit.[(triple4)] The lion visits the rabbit.[(triple5)] The rabbit eats the lion.[(triple6)] The rabbit visits the lion.[(triple7)] @1: The lion is nice.[(((triple7) -> rule2))] @2: The lion is not young.[(((triple7 ((triple7) -> rule2)) -> rule1))] @3: The lion is rough.[(((triple4 ((triple7 ((triple7) -> rule2)) -> rule1)) -> rule3))] @4: The lion does not eat the lion.[(((((triple4 ((triple7 ((triple7) -> rule2)) -> rule1)) -> rule3) triple5) -> rule4))] The lion does not like the lion.[(((((triple4 ((triple7 ((triple7) -> rule2)) -> rule1)) -> rule3) triple1) -> rule6))]