The bear is red. The lion needs the tiger. The tiger needs the bear. If someone is young and they eat the lion then the lion needs the bear. If someone sees the bear and the bear is young then they see the tiger. If someone needs the tiger then they are blue. If the tiger sees the bear and the bear is red then the bear eats the lion. All nice, blue people are red. If someone is blue then they eat the lion. Red people are young. If someone eats the bear and they need the bear then the bear needs the lion.
The lion is not nice.
@0: The bear is red.[(triple1)] The lion needs the tiger.[(triple2)] The tiger needs the bear.[(triple3)] @1: The bear is young.[(((triple1) -> rule7))] The lion is blue.[(((triple2) -> rule3))] @2: The lion eats the lion.[(((((triple2) -> rule3)) -> rule6))]