The bear likes the lion. The lion is nice. The lion needs the tiger. The rabbit is red. The tiger is green. The tiger is red. The tiger likes the rabbit. If someone is red then they are blue. If the rabbit chases the lion and the rabbit likes the lion then the lion chases the bear. If someone chases the bear and they are blue then they like the rabbit. If someone is rough and they need the lion then the lion likes the bear. Nice people are red. If someone chases the lion then they need the rabbit.
The lion does not like the bear.
@0: The bear likes the lion.[(triple1)] The lion is nice.[(triple2)] The lion needs the tiger.[(triple3)] The rabbit is red.[(triple4)] The tiger is green.[(triple5)] The tiger is red.[(triple6)] The tiger likes the rabbit.[(triple7)] @1: The lion is red.[(((triple2) -> rule5))] The rabbit is blue.[(((triple4) -> rule1))] The tiger is blue.[(((triple6) -> rule1))] @2: The lion is blue.[(((((triple2) -> rule5)) -> rule1))]