The bear is rough. The cat eats the lion. The cat is green. The lion eats the bear. The lion eats the cat. The lion eats the rabbit. The lion is rough. The lion needs the rabbit. The rabbit needs the lion. The rabbit sees the lion. If someone is red then they eat the bear. If someone is red then they eat the lion. If someone eats the rabbit then the rabbit is big. If someone is rough then they see the cat. If someone needs the lion and they see the cat then the cat is red. If the bear sees the rabbit and the bear is rough then the rabbit sees the lion.
The bear does not eat the bear.
@0: The bear is rough.[(triple1)] The cat eats the lion.[(triple2)] The cat is green.[(triple3)] The lion eats the bear.[(triple4)] The lion eats the cat.[(triple5)] The lion eats the rabbit.[(triple6)] The lion is rough.[(triple7)] The lion needs the rabbit.[(triple8)] The rabbit needs the lion.[(triple9)] The rabbit sees the lion.[(triple10)] @1: The bear sees the cat.[(((triple1) -> rule4))] The lion sees the cat.[(((triple7) -> rule4))] The rabbit is big.[(((triple6) -> rule3))]