The bald eagle is big. The bald eagle likes the tiger. The bald eagle visits the rabbit. The rabbit is rough. The rabbit is young. The rabbit likes the bald eagle. The rabbit sees the bald eagle. The rabbit sees the tiger. The rabbit visits the bald eagle. The tiger visits the bald eagle. If the bald eagle likes the rabbit then the rabbit visits the bald eagle. If something is rough and it sees the bald eagle then the bald eagle is green. If something visits the bald eagle then it is rough. If something sees the rabbit and it is rough then the rabbit visits the bald eagle. If something visits the bald eagle then it is rough. If something sees the bald eagle then it visits the bald eagle. If something visits the rabbit then it sees the bald eagle. If the rabbit sees the bald eagle then the bald eagle is rough.
The rabbit is young.
@0: The bald eagle is big.[(triple1)] The bald eagle likes the tiger.[(triple2)] The bald eagle visits the rabbit.[(triple3)] The rabbit is rough.[(triple4 OR ((triple9) -> rule3) OR ((triple9) -> rule5) OR ((((triple7) -> rule6)) -> rule3) OR ((((triple7) -> rule6)) -> rule5))] The rabbit is young.[(triple5)] The rabbit likes the bald eagle.[(triple6)] The rabbit sees the bald eagle.[(triple7)] The rabbit sees the tiger.[(triple8)] The rabbit visits the bald eagle.[(triple9 OR ((triple7) -> rule6))] The tiger visits the bald eagle.[(triple10)] @1: The bald eagle is green.[(((triple4 triple7) -> rule2) OR ((((triple9) -> rule3) triple7) -> rule2) OR ((((triple9) -> rule5) triple7) -> rule2) OR ((((triple7) -> rule8) ((triple3) -> rule7)) -> rule2) OR ((((((triple7) -> rule6)) -> rule3) triple7) -> rule2) OR ((((((triple7) -> rule6)) -> rule5) triple7) -> rule2) OR ((((((((triple3) -> rule7)) -> rule6)) -> rule3) ((triple3) -> rule7)) -> rule2) OR ((((((((triple3) -> rule7)) -> rule6)) -> rule5) ((triple3) -> rule7)) -> rule2))] The bald eagle is rough.[(((triple7) -> rule8) OR ((((((triple3) -> rule7)) -> rule6)) -> rule3) OR ((((((triple3) -> rule7)) -> rule6)) -> rule5))] The bald eagle sees the bald eagle.[(((triple3) -> rule7))] The tiger is rough.[(((triple10) -> rule3) OR ((triple10) -> rule5))] @2: The bald eagle visits the bald eagle.[(((((triple3) -> rule7)) -> rule6))]