The bear eats the cow. The bear is big. The bear is kind. The cow is big. The cow is blue. The cow is kind. The cow needs the squirrel. The cow sees the bear. The lion eats the bear. The squirrel is big. The squirrel is blue. The squirrel is nice. If someone is blue and they need the bear then they see the squirrel. If someone needs the lion and they need the cow then they see the bear. If someone is red then they need the cow. If someone needs the lion then the lion is nice. If someone needs the cow then the cow needs the bear. If someone is big and they eat the lion then the lion sees the bear. If someone needs the bear and they eat the lion then they are nice. If someone eats the bear then they are red.
The lion sees the lion.
@0: The bear eats the cow.[(triple1)] The bear is big.[(triple2)] The bear is kind.[(triple3)] The cow is big.[(triple4)] The cow is blue.[(triple5)] The cow is kind.[(triple6)] The cow needs the squirrel.[(triple7)] The cow sees the bear.[(triple8)] The lion eats the bear.[(triple9)] The squirrel is big.[(triple10)] The squirrel is blue.[(triple11)] The squirrel is nice.[(triple12)] @1: The lion is red.[(((triple9) -> rule8))] @2: The lion needs the cow.[(((((triple9) -> rule8)) -> rule3))] @3: The cow needs the bear.[(((((((triple9) -> rule8)) -> rule3)) -> rule5))] @4: The cow sees the squirrel.[(((triple5 ((((((triple9) -> rule8)) -> rule3)) -> rule5)) -> rule1))]