The bald eagle chases the cat. The bald eagle chases the rabbit. The bald eagle is big. The bald eagle is green. The bald eagle is rough. The bald eagle is not round. The bald eagle needs the rabbit. The bald eagle does not see the cat. The bald eagle sees the rabbit. The cat chases the bald eagle. The cat sees the bald eagle. The cat sees the rabbit. The rabbit is rough. The rabbit is round. The rabbit needs the bald eagle. The rabbit sees the cat. If the cat sees the rabbit and the cat needs the rabbit then the rabbit is not red. If something chases the bald eagle then it is rough. If something is green and it chases the rabbit then the rabbit does not see the bald eagle. If the cat is red and the cat does not need the bald eagle then the cat is round. If something chases the cat and the cat is round then the cat is big. If the bald eagle needs the rabbit and the bald eagle chases the rabbit then the bald eagle is green. If something is big and it does not see the rabbit then it is green. If something needs the rabbit then it is not red.
The bald eagle needs the bald eagle.
@0: The bald eagle chases the cat.[(triple1)] The bald eagle chases the rabbit.[(triple2)] The bald eagle does not see the cat.[(triple8)] The bald eagle is big.[(triple3)] The bald eagle is green.[(triple4 OR ((triple7 triple2) -> rule6))] The bald eagle is not round.[(triple6)] The bald eagle is rough.[(triple5)] The bald eagle needs the rabbit.[(triple7)] The bald eagle sees the rabbit.[(triple9)] The cat chases the bald eagle.[(triple10)] The cat sees the bald eagle.[(triple11)] The cat sees the rabbit.[(triple12)] The rabbit is rough.[(triple13)] The rabbit is round.[(triple14)] The rabbit needs the bald eagle.[(triple15)] The rabbit sees the cat.[(triple16)] @1: The bald eagle is not red.[(((triple7) -> rule8))] The cat is rough.[(((triple10) -> rule2))] The rabbit does not see the bald eagle.[(((triple4 triple2) -> rule3) OR ((((triple7 triple2) -> rule6) triple2) -> rule3))]