The bear is blue. The lion does not eat the rabbit. The rabbit likes the lion. The squirrel sees the rabbit. If someone likes the lion and the lion sees the squirrel then the squirrel likes the lion. If the bear sees the rabbit and the bear eats the rabbit then the rabbit does not see the squirrel. If someone likes the rabbit then the rabbit is kind. If someone is kind and they eat the squirrel then they are red. If someone is blue then they like the rabbit. If someone eats the rabbit and the rabbit likes the bear then they like the rabbit. If someone is kind then they eat the bear. If someone eats the rabbit and they are not kind then the rabbit sees the bear.
The lion eats the bear.
@0: The bear is blue.[(triple1)] The lion does not eat the rabbit.[(triple2)] The rabbit likes the lion.[(triple3)] The squirrel sees the rabbit.[(triple4)] @1: The bear likes the rabbit.[(((triple1) -> rule5))] @2: The rabbit is kind.[(((((triple1) -> rule5)) -> rule3))] @3: The rabbit eats the bear.[(((((((triple1) -> rule5)) -> rule3)) -> rule7))]