The bald eagle is kind. The bald eagle is rough. The bald eagle sees the tiger. The bald eagle visits the tiger. The rabbit is blue. The rabbit is red. The rabbit needs the tiger. The rabbit sees the bald eagle. The rabbit visits the tiger. The tiger is kind. If someone visits the rabbit then the rabbit sees the tiger. If someone is kind then they visit the tiger. If someone visits the tiger then the tiger needs the bald eagle. If someone needs the tiger and the tiger visits the rabbit then the tiger visits the bald eagle. If someone sees the rabbit and the rabbit visits the tiger then the rabbit is kind. If someone sees the rabbit and the rabbit is rough then they are red. If someone is kind and they visit the bald eagle then the bald eagle is green. If someone visits the tiger and the tiger sees the bald eagle then the tiger needs the bald eagle.
The rabbit sees the bald eagle.
@0: The bald eagle is kind.[(triple1)] The bald eagle is rough.[(triple2)] The bald eagle sees the tiger.[(triple3)] The bald eagle visits the tiger.[(triple4 OR ((triple1) -> rule2))] The rabbit is blue.[(triple5)] The rabbit is red.[(triple6)] The rabbit needs the tiger.[(triple7)] The rabbit sees the bald eagle.[(triple8)] The rabbit visits the tiger.[(triple9)] The tiger is kind.[(triple10)] @1: The tiger needs the bald eagle.[(((triple4) -> rule3) OR ((triple9) -> rule3) OR ((((triple1) -> rule2)) -> rule3) OR ((((triple10) -> rule2)) -> rule3))] The tiger visits the tiger.[(((triple10) -> rule2))]