The bald eagle is young. The bald eagle needs the rabbit. The cat is red. The cat is young. The cat likes the dog. The cat needs the bald eagle. The cat sees the dog. The dog sees the bald eagle. The rabbit likes the bald eagle. The rabbit needs the bald eagle. If someone needs the bald eagle and the bald eagle likes the dog then the dog sees the rabbit. If someone likes the cat and the cat is rough then they are young. If someone sees the bald eagle then the bald eagle needs the dog. If someone needs the bald eagle then they need the cat. If someone needs the bald eagle and they see the bald eagle then they are round. If someone likes the bald eagle and the bald eagle is red then the bald eagle needs the cat. If someone needs the dog then the dog is round. If someone is round and they need the rabbit then the rabbit likes the cat.
The cat does not see the dog.
@0: The bald eagle is young.[(triple1)] The bald eagle needs the rabbit.[(triple2)] The cat is red.[(triple3)] The cat is young.[(triple4)] The cat likes the dog.[(triple5)] The cat needs the bald eagle.[(triple6)] The cat sees the dog.[(triple7)] The dog sees the bald eagle.[(triple8)] The rabbit likes the bald eagle.[(triple9)] The rabbit needs the bald eagle.[(triple10)] @1: The bald eagle needs the dog.[(((triple8) -> rule3))] The cat needs the cat.[(((triple6) -> rule4))] The rabbit needs the cat.[(((triple10) -> rule4))] @2: The dog is round.[(((((triple8) -> rule3)) -> rule7))]