the helium is not a virility.
sent1: if there exists something such that the fact that it is literary and not a Berliner is not right the fact that the Slovak limes Machaeranthera is right. sent2: if the agora is a corkboard the surfboard is a Bonney. sent3: the nicotine is not a Bonney. sent4: the Slovak does not lime Machaeranthera if the surfboard is a Bonney. sent5: the helium is a arteriogram if the agora is not a kind of a virility. sent6: if the agora is not a virility then the helium is a kind of a virility and it is a arteriogram. sent7: there is something such that that it is a virility and it is not a corkboard is false. sent8: if the agora is a virility it is a kind of a corkboard. sent9: the fact that the nicotine is literary and is not a Berliner does not hold. sent10: the helium is a arteriogram.
void -> assump1: Let's assume that the agora is a virility.; sent8 & assump1 -> int1: the agora is a corkboard.; int1 & sent2 -> int2: the surfboard is a kind of a Bonney.; int2 & sent4 -> int3: the Slovak does not lime Machaeranthera.; sent9 -> int4: there exists something such that that it is a kind of literary thing that is not a Berliner is not right.; int4 & sent1 -> int5: the Slovak does lime Machaeranthera.; int3 & int5 -> int6: this is contradiction.; [assump1] & int6 -> int7: the agora is not a kind of a virility.; int7 & sent6 -> int8: the helium is a virility and it is a arteriogram.; int8 -> hypothesis;
$hypothesis$ = the helium is not a virility. ; $context$ = sent1: if there exists something such that the fact that it is literary and not a Berliner is not right the fact that the Slovak limes Machaeranthera is right. sent2: if the agora is a corkboard the surfboard is a Bonney. sent3: the nicotine is not a Bonney. sent4: the Slovak does not lime Machaeranthera if the surfboard is a Bonney. sent5: the helium is a arteriogram if the agora is not a kind of a virility. sent6: if the agora is not a virility then the helium is a kind of a virility and it is a arteriogram. sent7: there is something such that that it is a virility and it is not a corkboard is false. sent8: if the agora is a virility it is a kind of a corkboard. sent9: the fact that the nicotine is literary and is not a Berliner does not hold. sent10: the helium is a arteriogram. ; $proof$ = 
void -> assump1: Let's assume that the agora is a virility.; sent8 & assump1 -> int1: the agora is a corkboard.; int1 & sent2 -> int2: the surfboard is a kind of a Bonney.; int2 & sent4 -> int3: the Slovak does not lime Machaeranthera.; sent9 -> int4: there exists something such that that it is a kind of literary thing that is not a Berliner is not right.; int4 & sent1 -> int5: the Slovak does lime Machaeranthera.; int3 & int5 -> int6: this is contradiction.; [assump1] & int6 -> int7: the agora is not a kind of a virility.; int7 & sent6 -> int8: the helium is a virility and it is a arteriogram.; int8 -> hypothesis; __DISPROVED__