The bear eats the cat. The cat is kind. The cat needs the bear. The mouse is big. The mouse is blue. The mouse is kind. The mouse is round. The mouse needs the bear. The mouse needs the rabbit. The rabbit is kind. If someone is round then they eat the bear.
The cat eats the cat.
@0: The bear eats the cat.[(triple1)] The cat is kind.[(triple2)] The cat needs the bear.[(triple3)] The mouse is big.[(triple4)] The mouse is blue.[(triple5)] The mouse is kind.[(triple6)] The mouse is round.[(triple7)] The mouse needs the bear.[(triple8)] The mouse needs the rabbit.[(triple9)] The rabbit is kind.[(triple10)] @1: The mouse eats the bear.[(((triple7) -> rule1))]