the bridoon is a kind of a trombiculid.
sent1: that there exists something such that it is impressionistic a slicing is right. sent2: the lid is a kind of a Lilliputian and it parallels joist. sent3: something that parallels sickle is not doctrinal and does mutate Cork. sent4: if something does not parallel joist then it is not a kind of a slicing and/or is impressionistic. sent5: if something is a kind of non-Anguillan thing that congratulates then it is not a trombiculid. sent6: the lid is not a pervert but it is cenogenetic if the imitation does not parallel joist. sent7: the bridoon does not parallel joist if the imitation is not a Anguillan. sent8: if a cenogenetic thing is a pat then the bridoon resents squirrelfish. sent9: the bridoon is a kind of non-Anguillan thing that does parallel joist. sent10: the lid is a Lilliputian. sent11: if the bridoon is cenogenetic it does not resent squirrelfish and does pervert. sent12: that the bridoon is a kind of a Anguillan is false if it is cenogenetic and resents squirrelfish. sent13: the imitation does not parallel joist if an impressionistic thing is a slicing. sent14: the imitation congratulates. sent15: the fact that the lid is Lilliputian thing that is a pat hold. sent16: if something is not a reamer but it overbears pinpoint then it is not a bellpull. sent17: something congratulates and is lithographic if it is not impressionistic. sent18: the lid is impressionistic. sent19: that the lid is a kind of a trombiculid is true if something is a pat and it is a Anguillan. sent20: something is not a Anguillan but it does congratulate if that it resents squirrelfish is not incorrect. sent21: there is something such that it does not pervert. sent22: something is a kind of a trombiculid if either it does not slice or it is impressionistic or both. sent23: there is something such that it is impressionistic. sent24: the lid is a kind of a Anguillan that is a kind of a Lilliputian. sent25: there exists something such that it is a Mills.
sent1 & sent13 -> int1: the imitation does not parallel joist.; int1 & sent6 -> int2: the lid is not a pervert but it is cenogenetic.; int2 -> int3: the lid is cenogenetic.; sent15 -> int4: the lid is a pat.; int3 & int4 -> int5: the lid is cenogenetic and it is a pat.; int5 -> int6: there is something such that it is cenogenetic and is a kind of a pat.; int6 & sent8 -> int7: that the bridoon resents squirrelfish is right.; sent20 -> int8: the bridoon is not Anguillan but it does congratulate if it resents squirrelfish.; int7 & int8 -> int9: the bridoon is not a kind of a Anguillan but it congratulates.; sent5 -> int10: the bridoon is not a trombiculid if it is a kind of non-Anguillan thing that congratulates.; int9 & int10 -> hypothesis;
the double-crosser does congratulate and is lithographic.
sent17 -> int11: the double-crosser does congratulate and it is lithographic if the fact that it is not impressionistic is not false.;
$hypothesis$ = the bridoon is a kind of a trombiculid. ; $context$ = sent1: that there exists something such that it is impressionistic a slicing is right. sent2: the lid is a kind of a Lilliputian and it parallels joist. sent3: something that parallels sickle is not doctrinal and does mutate Cork. sent4: if something does not parallel joist then it is not a kind of a slicing and/or is impressionistic. sent5: if something is a kind of non-Anguillan thing that congratulates then it is not a trombiculid. sent6: the lid is not a pervert but it is cenogenetic if the imitation does not parallel joist. sent7: the bridoon does not parallel joist if the imitation is not a Anguillan. sent8: if a cenogenetic thing is a pat then the bridoon resents squirrelfish. sent9: the bridoon is a kind of non-Anguillan thing that does parallel joist. sent10: the lid is a Lilliputian. sent11: if the bridoon is cenogenetic it does not resent squirrelfish and does pervert. sent12: that the bridoon is a kind of a Anguillan is false if it is cenogenetic and resents squirrelfish. sent13: the imitation does not parallel joist if an impressionistic thing is a slicing. sent14: the imitation congratulates. sent15: the fact that the lid is Lilliputian thing that is a pat hold. sent16: if something is not a reamer but it overbears pinpoint then it is not a bellpull. sent17: something congratulates and is lithographic if it is not impressionistic. sent18: the lid is impressionistic. sent19: that the lid is a kind of a trombiculid is true if something is a pat and it is a Anguillan. sent20: something is not a Anguillan but it does congratulate if that it resents squirrelfish is not incorrect. sent21: there is something such that it does not pervert. sent22: something is a kind of a trombiculid if either it does not slice or it is impressionistic or both. sent23: there is something such that it is impressionistic. sent24: the lid is a kind of a Anguillan that is a kind of a Lilliputian. sent25: there exists something such that it is a Mills. ; $proof$ = 
sent1 & sent13 -> int1: the imitation does not parallel joist.; int1 & sent6 -> int2: the lid is not a pervert but it is cenogenetic.; int2 -> int3: the lid is cenogenetic.; sent15 -> int4: the lid is a pat.; int3 & int4 -> int5: the lid is cenogenetic and it is a pat.; int5 -> int6: there is something such that it is cenogenetic and is a kind of a pat.; int6 & sent8 -> int7: that the bridoon resents squirrelfish is right.; sent20 -> int8: the bridoon is not Anguillan but it does congratulate if it resents squirrelfish.; int7 & int8 -> int9: the bridoon is not a kind of a Anguillan but it congratulates.; sent5 -> int10: the bridoon is not a trombiculid if it is a kind of non-Anguillan thing that congratulates.; int9 & int10 -> hypothesis; __DISPROVED__