The bear eats the dog. The bear is red. The cat is blue. The cat is not round. The dog does not eat the cat. The dog needs the rabbit. The rabbit eats the bear. The rabbit eats the dog. The rabbit is not round. The rabbit does not need the dog. If someone sees the cat then they do not see the rabbit. If someone is red and not round then they are not kind. If someone eats the bear then they need the rabbit. If the dog eats the bear and the dog does not see the bear then the bear sees the rabbit. If someone sees the dog and the dog sees the bear then the dog does not eat the bear. If someone needs the rabbit then they see the cat.
The rabbit does not see the rabbit.
@0: The bear eats the dog.[(triple1)] The bear is red.[(triple2)] The cat is blue.[(triple3)] The cat is not round.[(triple4)] The dog does not eat the cat.[(triple5)] The dog needs the rabbit.[(triple6)] The rabbit does not need the dog.[(triple10)] The rabbit eats the bear.[(triple7)] The rabbit eats the dog.[(triple8)] The rabbit is not round.[(triple9)] @1: The dog sees the cat.[(((triple6) -> rule6))] The rabbit needs the rabbit.[(((triple7) -> rule3))] @2: The dog does not see the rabbit.[(((((triple6) -> rule6)) -> rule1))] The rabbit sees the cat.[(((((triple7) -> rule3)) -> rule6))] @3: The rabbit does not see the rabbit.[(((((((triple7) -> rule3)) -> rule6)) -> rule1))]