The bald eagle eats the dog. The bald eagle does not need the cat. The cat eats the bald eagle. The cat eats the rabbit. The cat needs the bald eagle. The cat needs the dog. The dog eats the cat. The dog is nice. The dog needs the bald eagle. The rabbit eats the cat. The rabbit is young. The rabbit sees the dog. If someone sees the rabbit and the rabbit does not need the dog then they are red. Young people are red. If someone sees the bald eagle and they are red then the bald eagle sees the dog. If someone sees the dog then they see the bald eagle. If someone eats the rabbit then they are not kind. Nice people are kind. If the rabbit needs the cat then the rabbit sees the bald eagle. If someone is red and they see the cat then the cat needs the bald eagle.
The bald eagle is kind.
@0: The bald eagle does not need the cat.[(triple2)] The bald eagle eats the dog.[(triple1)] The cat eats the bald eagle.[(triple3)] The cat eats the rabbit.[(triple4)] The cat needs the bald eagle.[(triple5)] The cat needs the dog.[(triple6)] The dog eats the cat.[(triple7)] The dog is nice.[(triple8)] The dog needs the bald eagle.[(triple9)] The rabbit eats the cat.[(triple10)] The rabbit is young.[(triple11)] The rabbit sees the dog.[(triple12)] @1: The cat is not kind.[(((triple4) -> rule5))] The dog is kind.[(((triple8) -> rule6))] The rabbit is red.[(((triple11) -> rule2))] The rabbit sees the bald eagle.[(((triple12) -> rule4))] @2: The bald eagle sees the dog.[(((((triple12) -> rule4) ((triple11) -> rule2)) -> rule3))] @3: The bald eagle sees the bald eagle.[(((((((triple12) -> rule4) ((triple11) -> rule2)) -> rule3)) -> rule4))]