the fact that the axil is a kind of a farness is true.
sent1: something does not stab protuberance if it does not stab yolk. sent2: if an effects is not a kind of a Erie then the XX does not gild clothesline. sent3: if the hagiographer is not a Icarus then it stabs Ulaanbaatar. sent4: if something that does not stab Ulaanbaatar does not gild clothesline then it does stab Malthus. sent5: if there is something such that it is a kind of a Vaux the duplicate does not stab yolk and does not condemn hagiographer. sent6: if there exists something such that it stabs Malthus then the criollo does premeditate or it stabs Malthus or both. sent7: that the Vernier is not a Jena and is not a secessionist is not correct. sent8: there is something such that it is a Vaux. sent9: the featherweight does not stab Ulaanbaatar and it does not gild clothesline if the XX does not gild clothesline. sent10: the parsnip does effect. sent11: the axil does not stab Ulaanbaatar. sent12: something is an effects. sent13: the axil is a farness if the parsnip is a farness. sent14: something condemns Testament or it is a crupper or both. sent15: something that stabs protuberance does stab glamor and is not a Icarus. sent16: the parsnip is not a Erie. sent17: something does condemn longroot and it is a guffaw if it is not prosthetics. sent18: if there exists something such that it is a Icarus the axil is not a farness. sent19: if the fact that the Vernier is both not a Jena and not a secessionist does not hold then the duplicate is not prosthetics. sent20: if that the axil does not stab Ulaanbaatar is true the fact that the featherweight is a kind of a Erie and does not gild clothesline is not true. sent21: if the featherweight stabs Malthus but it does not gild clothesline then the XX is a Erie. sent22: the axil is not a farness if there is something such that it is a Icarus and/or stabs Malthus. sent23: if the duplicate does not stab protuberance but it is a guffaw then the hagiographer stab protuberance.
sent10 & sent16 -> int1: the parsnip effects but it is not a Erie.; int1 -> int2: something is a kind of an effects but it is not a Erie.; int2 & sent2 -> int3: the XX does not gild clothesline.; int3 & sent9 -> int4: the featherweight does not stab Ulaanbaatar and does not gild clothesline.; sent4 -> int5: the fact that the featherweight does stab Malthus is not incorrect if that it does not stab Ulaanbaatar and does not gild clothesline is not false.; int4 & int5 -> int6: that the featherweight stabs Malthus is right.; int6 -> int7: the featherweight is a Icarus or does stab Malthus or both.; int7 -> int8: something is a kind of a Icarus and/or it does stab Malthus.; int8 & sent22 -> hypothesis;
the axil is a farness.
sent15 -> int9: if the hagiographer stabs protuberance it stabs glamor and is not a Icarus.; sent1 -> int10: if the duplicate does not stab yolk then it does not stab protuberance.; sent8 & sent5 -> int11: the duplicate does not stab yolk and does not condemn hagiographer.; int11 -> int12: the duplicate does not stab yolk.; int10 & int12 -> int13: the duplicate does not stab protuberance.; sent17 -> int14: if the duplicate is not prosthetics then it condemns longroot and guffaws.; sent19 & sent7 -> int15: the duplicate is not prosthetics.; int14 & int15 -> int16: the duplicate does condemn longroot and guffaws.; int16 -> int17: the duplicate is a guffaw.; int13 & int17 -> int18: the duplicate does not stab protuberance but it is a guffaw.; sent23 & int18 -> int19: the hagiographer does stab protuberance.; int9 & int19 -> int20: the hagiographer does stab glamor but it is not a Icarus.; int20 -> int21: the fact that the hagiographer is not a Icarus is not false.; sent3 & int21 -> int22: the hagiographer stabs Ulaanbaatar.; int22 -> int23: something stabs Ulaanbaatar.;
$hypothesis$ = the fact that the axil is a kind of a farness is true. ; $context$ = sent1: something does not stab protuberance if it does not stab yolk. sent2: if an effects is not a kind of a Erie then the XX does not gild clothesline. sent3: if the hagiographer is not a Icarus then it stabs Ulaanbaatar. sent4: if something that does not stab Ulaanbaatar does not gild clothesline then it does stab Malthus. sent5: if there is something such that it is a kind of a Vaux the duplicate does not stab yolk and does not condemn hagiographer. sent6: if there exists something such that it stabs Malthus then the criollo does premeditate or it stabs Malthus or both. sent7: that the Vernier is not a Jena and is not a secessionist is not correct. sent8: there is something such that it is a Vaux. sent9: the featherweight does not stab Ulaanbaatar and it does not gild clothesline if the XX does not gild clothesline. sent10: the parsnip does effect. sent11: the axil does not stab Ulaanbaatar. sent12: something is an effects. sent13: the axil is a farness if the parsnip is a farness. sent14: something condemns Testament or it is a crupper or both. sent15: something that stabs protuberance does stab glamor and is not a Icarus. sent16: the parsnip is not a Erie. sent17: something does condemn longroot and it is a guffaw if it is not prosthetics. sent18: if there exists something such that it is a Icarus the axil is not a farness. sent19: if the fact that the Vernier is both not a Jena and not a secessionist does not hold then the duplicate is not prosthetics. sent20: if that the axil does not stab Ulaanbaatar is true the fact that the featherweight is a kind of a Erie and does not gild clothesline is not true. sent21: if the featherweight stabs Malthus but it does not gild clothesline then the XX is a Erie. sent22: the axil is not a farness if there is something such that it is a Icarus and/or stabs Malthus. sent23: if the duplicate does not stab protuberance but it is a guffaw then the hagiographer stab protuberance. ; $proof$ = 
sent10 & sent16 -> int1: the parsnip effects but it is not a Erie.; int1 -> int2: something is a kind of an effects but it is not a Erie.; int2 & sent2 -> int3: the XX does not gild clothesline.; int3 & sent9 -> int4: the featherweight does not stab Ulaanbaatar and does not gild clothesline.; sent4 -> int5: the fact that the featherweight does stab Malthus is not incorrect if that it does not stab Ulaanbaatar and does not gild clothesline is not false.; int4 & int5 -> int6: that the featherweight stabs Malthus is right.; int6 -> int7: the featherweight is a Icarus or does stab Malthus or both.; int7 -> int8: something is a kind of a Icarus and/or it does stab Malthus.; int8 & sent22 -> hypothesis; __DISPROVED__