the conspirator is a Texan that is not an ibis if the assembly is peaceful.
sent1: the monstrosity is a dead. sent2: if the ilang-ilang is not non-Texan the conspirator is amnestic but not a Myrdal. sent3: if the ilang-ilang is a Myrdal the monstrosity is amnestic and not dead. sent4: if the ilang-ilang is a Myrdal then it is Beethovenian. sent5: the ilang-ilang is not Beethovenian. sent6: something is a Texan if it is a Myrdal. sent7: the reflectometer is not Beethovenian if something is either an ibis or an enchanter or both. sent8: if the reflectometer is not Beethovenian then the ilang-ilang is both not Beethovenian and amnestic. sent9: the reflectometer is not Beethovenian if there is something such that it is an enchanter. sent10: the monstrosity is a Myrdal and it is dead. sent11: if the reflectometer is not Beethovenian then the ilang-ilang is not Beethovenian. sent12: the assembly is a dead. sent13: the antibacterial is a kind of Beethovenian thing that is not a kind of an electric. sent14: something is Beethovenian and it is not non-amnestic. sent15: there exists something such that it is not Beethovenian. sent16: if there exists something such that it is not Beethovenian and it is amnestic then the assembly is not peaceful. sent17: the conspirator is a Myrdal if the monstrosity is a Myrdal. sent18: there are amnestic things. sent19: if the conspirator is a kind of a Myrdal then it is a dead. sent20: the ilang-ilang is obligatory and is not a kind of a dead. sent21: there is something such that it does not defibrillate antibacterial. sent22: if something is not Beethovenian and not non-amnestic then the assembly is peaceful.
void -> assump1: Let's assume that the fact that the conspirator is an ibis is true.; assump1 -> int1: the conspirator is a kind of an ibis and/or it is an enchanter.; int1 -> int2: there exists something such that it is an ibis and/or is an enchanter.; int2 & sent7 -> int3: the reflectometer is non-Beethovenian.; int3 & sent8 -> int4: the ilang-ilang is not Beethovenian but it is amnestic.; int4 -> int5: something is not Beethovenian but amnestic.; int5 & sent16 -> int6: the assembly is not peaceful.; void -> assump2: Let's assume that the assembly is peaceful.; int6 & assump2 -> int7: this is contradiction.; [assump1] & int7 -> int8: the conspirator is not an ibis.; sent6 -> int9: if the conspirator is a kind of a Myrdal then it is a Texan.; sent10 -> int10: the monstrosity is a Myrdal.; sent17 & int10 -> int11: the conspirator is a kind of a Myrdal.; int9 & int11 -> int12: the conspirator is a Texan.; int8 & int12 -> int13: the conspirator is Texan and is not an ibis.; [assump2] & int13 -> hypothesis;
$hypothesis$ = the conspirator is a Texan that is not an ibis if the assembly is peaceful. ; $context$ = sent1: the monstrosity is a dead. sent2: if the ilang-ilang is not non-Texan the conspirator is amnestic but not a Myrdal. sent3: if the ilang-ilang is a Myrdal the monstrosity is amnestic and not dead. sent4: if the ilang-ilang is a Myrdal then it is Beethovenian. sent5: the ilang-ilang is not Beethovenian. sent6: something is a Texan if it is a Myrdal. sent7: the reflectometer is not Beethovenian if something is either an ibis or an enchanter or both. sent8: if the reflectometer is not Beethovenian then the ilang-ilang is both not Beethovenian and amnestic. sent9: the reflectometer is not Beethovenian if there is something such that it is an enchanter. sent10: the monstrosity is a Myrdal and it is dead. sent11: if the reflectometer is not Beethovenian then the ilang-ilang is not Beethovenian. sent12: the assembly is a dead. sent13: the antibacterial is a kind of Beethovenian thing that is not a kind of an electric. sent14: something is Beethovenian and it is not non-amnestic. sent15: there exists something such that it is not Beethovenian. sent16: if there exists something such that it is not Beethovenian and it is amnestic then the assembly is not peaceful. sent17: the conspirator is a Myrdal if the monstrosity is a Myrdal. sent18: there are amnestic things. sent19: if the conspirator is a kind of a Myrdal then it is a dead. sent20: the ilang-ilang is obligatory and is not a kind of a dead. sent21: there is something such that it does not defibrillate antibacterial. sent22: if something is not Beethovenian and not non-amnestic then the assembly is peaceful. ; $proof$ = 
void -> assump1: Let's assume that the fact that the conspirator is an ibis is true.; assump1 -> int1: the conspirator is a kind of an ibis and/or it is an enchanter.; int1 -> int2: there exists something such that it is an ibis and/or is an enchanter.; int2 & sent7 -> int3: the reflectometer is non-Beethovenian.; int3 & sent8 -> int4: the ilang-ilang is not Beethovenian but it is amnestic.; int4 -> int5: something is not Beethovenian but amnestic.; int5 & sent16 -> int6: the assembly is not peaceful.; void -> assump2: Let's assume that the assembly is peaceful.; int6 & assump2 -> int7: this is contradiction.; [assump1] & int7 -> int8: the conspirator is not an ibis.; sent6 -> int9: if the conspirator is a kind of a Myrdal then it is a Texan.; sent10 -> int10: the monstrosity is a Myrdal.; sent17 & int10 -> int11: the conspirator is a kind of a Myrdal.; int9 & int11 -> int12: the conspirator is a Texan.; int8 & int12 -> int13: the conspirator is Texan and is not an ibis.; [assump2] & int13 -> hypothesis; __PROVED__