The bald eagle is kind. The bald eagle sees the lion. The bald eagle does not see the rabbit. The bald eagle visits the rabbit. The lion sees the bald eagle. The lion visits the bald eagle. The lion visits the rabbit. The rabbit is big. The rabbit is blue. The rabbit likes the bald eagle. The rabbit likes the lion. The rabbit sees the bald eagle. The rabbit sees the lion. The rabbit visits the bald eagle. The rabbit visits the lion. If someone visits the bald eagle and they are not young then the bald eagle visits the lion. If someone visits the lion and they do not visit the bald eagle then they see the lion. If someone likes the lion and they are not young then they are big. If the bald eagle visits the lion and the lion likes the rabbit then the rabbit does not see the lion. If the lion is kind then the lion likes the bald eagle. If someone is rough and they see the lion then the lion is kind. If someone sees the lion then the lion is big. If someone visits the lion then they are rough.
The lion is not kind.
@0: The bald eagle does not see the rabbit.[(triple3)] The bald eagle is kind.[(triple1)] The bald eagle sees the lion.[(triple2)] The bald eagle visits the rabbit.[(triple4)] The lion sees the bald eagle.[(triple5)] The lion visits the bald eagle.[(triple6)] The lion visits the rabbit.[(triple7)] The rabbit is big.[(triple8)] The rabbit is blue.[(triple9)] The rabbit likes the bald eagle.[(triple10)] The rabbit likes the lion.[(triple11)] The rabbit sees the bald eagle.[(triple12)] The rabbit sees the lion.[(triple13)] The rabbit visits the bald eagle.[(triple14)] The rabbit visits the lion.[(triple15)] @1: The lion is big.[(((triple13) -> rule7) OR ((triple2) -> rule7))] The rabbit is rough.[(((triple15) -> rule8))] @2: The lion is kind.[(((((triple15) -> rule8) triple13) -> rule6))] @3: The lion likes the bald eagle.[(((((((triple15) -> rule8) triple13) -> rule6)) -> rule5))]