there is something such that if the fact that it is aversive is right it grumbles routemarch.
sent1: the collier is aversive. sent2: the filefish is a kind of a Sulidae. sent3: something that is cellulosid is a theology. sent4: the outskirts is non-actinomorphic or not a mining or both if something does not wrestle accuracy. sent5: something wrestles disrepair if it is aversive. sent6: the argillite does stint supervisor. sent7: the tropics is aversive. sent8: if something is actinometric then it is afebrile. sent9: the argillite is an opening. sent10: the argillite is infernal. sent11: a tellurian thing is idiomatic. sent12: if the argillite is a Anguidae then it is a kind of a nest. sent13: the argillite does exult. sent14: there is something such that if it is pentavalent then the fact that it does implement is correct. sent15: everything does not wrestle accuracy. sent16: if something does rivet then it is actinomorphic. sent17: the lexicographer grumbles sedateness. sent18: something that is custard-like is a kind of a shyness. sent19: something grumbles routemarch if it wrestles disrepair.
sent5 -> int1: that the argillite wrestles disrepair is true if the fact that it is aversive hold.; void -> assump1: Let's assume that the argillite is aversive.; int1 & assump1 -> int2: the argillite does wrestle disrepair.; sent19 -> int3: if the fact that the argillite does wrestle disrepair hold it does grumble routemarch.; int2 & int3 -> int4: the argillite does grumble routemarch.; [assump1] & int4 -> int5: the fact that if the fact that the argillite is aversive hold then that the argillite grumbles routemarch is not false is correct.; int5 -> hypothesis;
the irradiation is aversive.
sent15 -> int6: the horseback does not wrestle accuracy.; int6 -> int7: there is something such that it does not wrestle accuracy.; int7 & sent4 -> int8: the outskirts is not actinomorphic and/or is not a mining.;
$hypothesis$ = there is something such that if the fact that it is aversive is right it grumbles routemarch. ; $context$ = sent1: the collier is aversive. sent2: the filefish is a kind of a Sulidae. sent3: something that is cellulosid is a theology. sent4: the outskirts is non-actinomorphic or not a mining or both if something does not wrestle accuracy. sent5: something wrestles disrepair if it is aversive. sent6: the argillite does stint supervisor. sent7: the tropics is aversive. sent8: if something is actinometric then it is afebrile. sent9: the argillite is an opening. sent10: the argillite is infernal. sent11: a tellurian thing is idiomatic. sent12: if the argillite is a Anguidae then it is a kind of a nest. sent13: the argillite does exult. sent14: there is something such that if it is pentavalent then the fact that it does implement is correct. sent15: everything does not wrestle accuracy. sent16: if something does rivet then it is actinomorphic. sent17: the lexicographer grumbles sedateness. sent18: something that is custard-like is a kind of a shyness. sent19: something grumbles routemarch if it wrestles disrepair. ; $proof$ = 
sent5 -> int1: that the argillite wrestles disrepair is true if the fact that it is aversive hold.; void -> assump1: Let's assume that the argillite is aversive.; int1 & assump1 -> int2: the argillite does wrestle disrepair.; sent19 -> int3: if the fact that the argillite does wrestle disrepair hold it does grumble routemarch.; int2 & int3 -> int4: the argillite does grumble routemarch.; [assump1] & int4 -> int5: the fact that if the fact that the argillite is aversive hold then that the argillite grumbles routemarch is not false is correct.; int5 -> hypothesis; __PROVED__