the davit is not a kind of a shorts.
sent1: something is a kind of a fallen that beholds lazuli. sent2: the davit is not an ornamentation if something is not a fallen and beholds lazuli. sent3: the headboard does not fall. sent4: that something is both not an ornamentation and non-shorts is incorrect if it is a bluffer. sent5: the davit is a bluffer. sent6: the headboard is not closed. sent7: the headboard is a wheatfield. sent8: there is something such that it does behold lazuli. sent9: the headboard is not a kind of a fallen and does behold lazuli if it is not a Sicilian. sent10: if the headboard does not close then it is a kind of non-Sicilian thing that is a kind of a wheatfield.
sent10 & sent6 -> int1: the headboard is both not Sicilian and a wheatfield.; int1 -> int2: the headboard is not a Sicilian.; int2 & sent9 -> int3: the fact that the headboard does not fall and does behold lazuli is true.; int3 -> int4: something does not fall and beholds lazuli.; int4 & sent2 -> int5: the davit is not a kind of an ornamentation.; void -> assump1: Let's assume that the davit is not a shorts.; int5 & assump1 -> int6: the davit is not an ornamentation and it is not a kind of a shorts.; sent4 -> int7: if the davit is a bluffer that it is not an ornamentation and it is non-shorts is false.; int7 & sent5 -> int8: that the davit is not an ornamentation and not a shorts does not hold.; int6 & int8 -> int9: this is contradiction.; [assump1] & int9 -> hypothesis;
$hypothesis$ = the davit is not a kind of a shorts. ; $context$ = sent1: something is a kind of a fallen that beholds lazuli. sent2: the davit is not an ornamentation if something is not a fallen and beholds lazuli. sent3: the headboard does not fall. sent4: that something is both not an ornamentation and non-shorts is incorrect if it is a bluffer. sent5: the davit is a bluffer. sent6: the headboard is not closed. sent7: the headboard is a wheatfield. sent8: there is something such that it does behold lazuli. sent9: the headboard is not a kind of a fallen and does behold lazuli if it is not a Sicilian. sent10: if the headboard does not close then it is a kind of non-Sicilian thing that is a kind of a wheatfield. ; $proof$ = 
sent10 & sent6 -> int1: the headboard is both not Sicilian and a wheatfield.; int1 -> int2: the headboard is not a Sicilian.; int2 & sent9 -> int3: the fact that the headboard does not fall and does behold lazuli is true.; int3 -> int4: something does not fall and beholds lazuli.; int4 & sent2 -> int5: the davit is not a kind of an ornamentation.; void -> assump1: Let's assume that the davit is not a shorts.; int5 & assump1 -> int6: the davit is not an ornamentation and it is not a kind of a shorts.; sent4 -> int7: if the davit is a bluffer that it is not an ornamentation and it is non-shorts is false.; int7 & sent5 -> int8: that the davit is not an ornamentation and not a shorts does not hold.; int6 & int8 -> int9: this is contradiction.; [assump1] & int9 -> hypothesis; __DISPROVED__