The bear is blue. The bear is kind. The cat does not eat the rabbit. The cat is blue. The cat is not kind. The cat is red. The lion eats the rabbit. The lion is blue. The lion is not red. The rabbit chases the bear. The rabbit chases the lion. The rabbit does not eat the cat. The rabbit does not eat the lion. The rabbit is blue. The rabbit needs the bear. If someone is kind then they eat the lion. If someone chases the bear and they are red then the bear eats the rabbit. If someone is kind and they do not chase the lion then they need the cat. If someone needs the lion then the lion eats the rabbit. If someone eats the lion and they are blue then they eat the cat. If someone eats the cat then the cat does not chase the bear.
The lion does not eat the cat.
@0: The bear is blue.[(triple1)] The bear is kind.[(triple2)] The cat does not eat the rabbit.[(triple3)] The cat is blue.[(triple4)] The cat is not kind.[(triple5)] The cat is red.[(triple6)] The lion eats the rabbit.[(triple7)] The lion is blue.[(triple8)] The lion is not red.[(triple9)] The rabbit chases the bear.[(triple10)] The rabbit chases the lion.[(triple11)] The rabbit does not eat the cat.[(triple12)] The rabbit does not eat the lion.[(triple13)] The rabbit is blue.[(triple14)] The rabbit needs the bear.[(triple15)] @1: The bear eats the lion.[(((triple2) -> rule1))] @2: The bear eats the cat.[(((((triple2) -> rule1) triple1) -> rule5))] @3: The cat does not chase the bear.[(((((((triple2) -> rule1) triple1) -> rule5)) -> rule6))]