The bald eagle is cold. The bald eagle is young. The bald eagle likes the rabbit. The bald eagle needs the rabbit. The bald eagle visits the rabbit. The rabbit is cold. The rabbit is green. The rabbit likes the bald eagle. The rabbit needs the bald eagle. The rabbit visits the bald eagle. If something likes the bald eagle then the bald eagle likes the rabbit. If something needs the rabbit and it visits the bald eagle then the rabbit likes the bald eagle. If something visits the bald eagle then the bald eagle likes the rabbit. If something is round then it visits the bald eagle. If the rabbit is green and the rabbit needs the bald eagle then the rabbit is round. If the bald eagle is blue then the bald eagle visits the rabbit. If something is cold then it likes the bald eagle. If something needs the rabbit and it likes the bald eagle then the bald eagle is round.
The bald eagle is round.
@0: The bald eagle is cold.[(triple1)] The bald eagle is young.[(triple2)] The bald eagle likes the rabbit.[(triple3 OR ((triple10) -> rule3) OR ((triple8) -> rule1) OR ((((triple1) -> rule7)) -> rule1) OR ((((triple6) -> rule7)) -> rule1) OR ((((((triple7 triple9) -> rule5)) -> rule4)) -> rule3) OR ((((((triple4 ((triple1) -> rule7)) -> rule8)) -> rule4)) -> rule3) OR ((((triple4 ((((triple4 ((triple1) -> rule7)) -> rule8)) -> rule4)) -> rule2)) -> rule1))] The bald eagle needs the rabbit.[(triple4)] The bald eagle visits the rabbit.[(triple5)] The rabbit is cold.[(triple6)] The rabbit is green.[(triple7)] The rabbit likes the bald eagle.[(triple8 OR ((triple6) -> rule7) OR ((triple4 ((((triple4 ((triple1) -> rule7)) -> rule8)) -> rule4)) -> rule2))] The rabbit needs the bald eagle.[(triple9)] The rabbit visits the bald eagle.[(triple10 OR ((((triple7 triple9) -> rule5)) -> rule4))] @1: The bald eagle likes the bald eagle.[(((triple1) -> rule7))] The rabbit is round.[(((triple7 triple9) -> rule5))] @2: The bald eagle is round.[(((triple4 ((triple1) -> rule7)) -> rule8))] @3: The bald eagle visits the bald eagle.[(((((triple4 ((triple1) -> rule7)) -> rule8)) -> rule4))]