the hailstone is both inland and Gilbertian.
sent1: the fact that something is a kind of non-Gilbertian thing that does scram corner is false if it is Churchillian. sent2: that the wetland steals Arcadic is correct if the ferryman steals Arcadic. sent3: the landfall is gothic if it rejuvenates. sent4: the wetland is non-inland thing that steals Arcadic. sent5: the landfall is catkinate. sent6: if the hailstone is not inland and is a kind of a Callicebus then the wetland does not steal Arcadic. sent7: the asterion does not decolonize craniometer. sent8: the landfall is a leafed and it is a kind of a yacht if it is not a turnstile. sent9: the wetland is not a Callicebus but it steals Arcadic if the ferryman does steals Arcadic. sent10: that the wetland does not rejuvenate but it is a Callicebus is false if there is something such that it does leaf. sent11: if the ferryman is not inland that the hailstone is inland and Gilbertian is wrong. sent12: the landfall is not gothic if the wetland is not a Callicebus but it does steal Arcadic. sent13: the wetland does steal Arcadic. sent14: if the asterion does not decolonize craniometer then that it is a turnstile is not incorrect. sent15: the ferryman is not gothic but it is inland if the landfall is inland. sent16: the landfall rejuvenates. sent17: if something is not gothic then the fact that the hailstone is inland thing that steals Arcadic is not incorrect. sent18: if the fact that the wetland does not rejuvenate but it is a Callicebus is not true then the ferryman is not gothic. sent19: if the ferryman is inland the fact that it steals Arcadic is not incorrect. sent20: if the asterion is a turnstile then the landfall is not a turnstile. sent21: something is Gilbertian if that it is not Gilbertian and it scrams corner does not hold. sent22: if the ferryman is not a kind of a Callicebus but it is Gilbertian then the wetland does not steal Arcadic. sent23: the landfall is not a Callicebus. sent24: the wetland is not inland. sent25: if there exists something such that it does not steal Arcadic then the hailstone is inland.
void -> assump1: Let's assume that the ferryman is inland.; sent19 & assump1 -> int1: the ferryman does steal Arcadic.; int1 & sent9 -> int2: the wetland is not a kind of a Callicebus but it does steal Arcadic.; int2 & sent12 -> int3: the landfall is not gothic.; sent3 & sent16 -> int4: the landfall is gothic.; int3 & int4 -> int5: this is contradiction.; [assump1] & int5 -> int6: the ferryman is not inland.; int6 & sent11 -> hypothesis;
the hailstone is not coastal and it is Gilbertian.
sent14 & sent7 -> int7: the asterion is a kind of a turnstile.; sent20 & int7 -> int8: the landfall is not a kind of a turnstile.; sent8 & int8 -> int9: the landfall is a leafed and is a yacht.; int9 -> int10: the landfall is a leafed.; int10 -> int11: there exists something such that it does leaf.; int11 & sent10 -> int12: the fact that the wetland does not rejuvenate but it is a Callicebus is wrong.; sent18 & int12 -> int13: the ferryman is not gothic.; int13 -> int14: there exists something such that it is not gothic.; int14 & sent17 -> int15: the fact that the hailstone is a kind of inland thing that does steal Arcadic hold.; int15 -> int16: the hailstone is inland.; sent21 -> int17: if that the hailstone is not Gilbertian and does scram corner is false it is Gilbertian.; sent1 -> int18: if the hailstone is Churchillian the fact that it is a kind of non-Gilbertian thing that scrams corner is false.;
$hypothesis$ = the hailstone is both inland and Gilbertian. ; $context$ = sent1: the fact that something is a kind of non-Gilbertian thing that does scram corner is false if it is Churchillian. sent2: that the wetland steals Arcadic is correct if the ferryman steals Arcadic. sent3: the landfall is gothic if it rejuvenates. sent4: the wetland is non-inland thing that steals Arcadic. sent5: the landfall is catkinate. sent6: if the hailstone is not inland and is a kind of a Callicebus then the wetland does not steal Arcadic. sent7: the asterion does not decolonize craniometer. sent8: the landfall is a leafed and it is a kind of a yacht if it is not a turnstile. sent9: the wetland is not a Callicebus but it steals Arcadic if the ferryman does steals Arcadic. sent10: that the wetland does not rejuvenate but it is a Callicebus is false if there is something such that it does leaf. sent11: if the ferryman is not inland that the hailstone is inland and Gilbertian is wrong. sent12: the landfall is not gothic if the wetland is not a Callicebus but it does steal Arcadic. sent13: the wetland does steal Arcadic. sent14: if the asterion does not decolonize craniometer then that it is a turnstile is not incorrect. sent15: the ferryman is not gothic but it is inland if the landfall is inland. sent16: the landfall rejuvenates. sent17: if something is not gothic then the fact that the hailstone is inland thing that steals Arcadic is not incorrect. sent18: if the fact that the wetland does not rejuvenate but it is a Callicebus is not true then the ferryman is not gothic. sent19: if the ferryman is inland the fact that it steals Arcadic is not incorrect. sent20: if the asterion is a turnstile then the landfall is not a turnstile. sent21: something is Gilbertian if that it is not Gilbertian and it scrams corner does not hold. sent22: if the ferryman is not a kind of a Callicebus but it is Gilbertian then the wetland does not steal Arcadic. sent23: the landfall is not a Callicebus. sent24: the wetland is not inland. sent25: if there exists something such that it does not steal Arcadic then the hailstone is inland. ; $proof$ = 
void -> assump1: Let's assume that the ferryman is inland.; sent19 & assump1 -> int1: the ferryman does steal Arcadic.; int1 & sent9 -> int2: the wetland is not a kind of a Callicebus but it does steal Arcadic.; int2 & sent12 -> int3: the landfall is not gothic.; sent3 & sent16 -> int4: the landfall is gothic.; int3 & int4 -> int5: this is contradiction.; [assump1] & int5 -> int6: the ferryman is not inland.; int6 & sent11 -> hypothesis; __DISPROVED__