the birdfeeder is crustose.
sent1: the fact that the birdfeeder predominates is not wrong. sent2: the birdfeeder predominates if the Kaiser nickels intake but it is not aware. sent3: if the Kaiser is interstellar the Colt predominates. sent4: the fact that the birdfeeder is not crustose hold if the Colt nickels intake and predominates. sent5: that the Kaiser nickels intake is right. sent6: if the fact that something is not scorbutic but it is aware is not true the fact that it is not aware is right. sent7: the Colt nickels intake and it is aware. sent8: the Colt is aware. sent9: the Kaiser is interstellar. sent10: if something is interstellar then it is crustose.
sent3 & sent9 -> int1: the Colt predominates.; sent7 -> int2: the Colt nickels intake.; int1 & int2 -> int3: the Colt does nickel intake and it does predominate.; int3 & sent4 -> hypothesis;
the birdfeeder is crustose.
sent10 -> int4: that the birdfeeder is crustose if the birdfeeder is interstellar is not false.; sent6 -> int5: the Kaiser is not aware if that it is not scorbutic and it is aware is false.;
$hypothesis$ = the birdfeeder is crustose. ; $context$ = sent1: the fact that the birdfeeder predominates is not wrong. sent2: the birdfeeder predominates if the Kaiser nickels intake but it is not aware. sent3: if the Kaiser is interstellar the Colt predominates. sent4: the fact that the birdfeeder is not crustose hold if the Colt nickels intake and predominates. sent5: that the Kaiser nickels intake is right. sent6: if the fact that something is not scorbutic but it is aware is not true the fact that it is not aware is right. sent7: the Colt nickels intake and it is aware. sent8: the Colt is aware. sent9: the Kaiser is interstellar. sent10: if something is interstellar then it is crustose. ; $proof$ = 
sent3 & sent9 -> int1: the Colt predominates.; sent7 -> int2: the Colt nickels intake.; int1 & int2 -> int3: the Colt does nickel intake and it does predominate.; int3 & sent4 -> hypothesis; __DISPROVED__