The bald eagle is blue. The bald eagle is not rough. The bald eagle likes the lion. The bald eagle needs the rabbit. The bald eagle sees the rabbit. The lion does not like the rabbit. The lion does not need the bald eagle. The lion needs the rabbit. The lion sees the rabbit. The rabbit is not nice. The rabbit likes the bald eagle. The rabbit likes the lion. The rabbit needs the lion. The rabbit sees the bald eagle. The rabbit does not see the lion. If the bald eagle likes the lion then the lion is not rough. If something sees the rabbit and the rabbit needs the lion then the lion is not rough. If something likes the rabbit then the rabbit needs the bald eagle. If the lion does not like the rabbit and the rabbit is not blue then the lion likes the bald eagle. If something sees the rabbit then it sees the bald eagle. If the lion likes the bald eagle and the rabbit does not like the lion then the lion sees the bald eagle.
The rabbit does not like the bald eagle.
@0: The bald eagle is blue.[(triple1)] The bald eagle is not rough.[(triple2)] The bald eagle likes the lion.[(triple3)] The bald eagle needs the rabbit.[(triple4)] The bald eagle sees the rabbit.[(triple5)] The lion does not like the rabbit.[(triple6)] The lion does not need the bald eagle.[(triple7)] The lion needs the rabbit.[(triple8)] The lion sees the rabbit.[(triple9)] The rabbit does not see the lion.[(triple15)] The rabbit is not nice.[(triple10)] The rabbit likes the bald eagle.[(triple11)] The rabbit likes the lion.[(triple12)] The rabbit needs the lion.[(triple13)] The rabbit sees the bald eagle.[(triple14)] @1: The bald eagle sees the bald eagle.[(((triple5) -> rule5))] The lion is not rough.[(((triple3) -> rule1) OR ((triple5 triple13) -> rule2) OR ((triple9 triple13) -> rule2))] The lion sees the bald eagle.[(((triple9) -> rule5))]