「その出し手はど偉いしかつ妬ましい」ということは成り立たない
fact1: 仮にその出し手は通知票であるなら「それは妬ましい」ということは正しい fact2: もしその出し手が台詞であるということはないしそれが了知しないとしたらそれは着易いということはない fact3: もし仮に何らかの物は全員一致でないとすれば「ど偉くて加えて妬ましい」ということは偽だ fact4: もしもその出し手は了知しないとすれば「ど偉いということはないけれど着易い」ということは成り立たない fact5: その急性胃腸炎は伝わり易くてそれは緊急融資だ fact6: その出し手は全員一致である fact7: その出し手が妬ましくないならばこの予定開始日は簒奪でそれに全員一致だ fact8: もし仮に「その出し手は全員一致である」ということは事実と異ならないとしたらそれは妬ましい fact9: その出し手はど偉いしそれに吊る fact10: 仮にあるものが着易くないとすればそれは吊らなくて全員一致でない fact11: もしその急性胃腸炎が緊急融資であるならその出し手は台詞でない fact12: その出し手は吊る fact13: この予定開始日は吊るしおまけにそれは台詞だ
fact8 & fact6 -> int1: その出し手は妬ましい; fact9 -> int2: その出し手はど偉い; int1 & int2 -> hypothesis;
この予定開始日は吊るし簒奪である
fact16 -> int3: この予定開始日は吊る;
$facts$ = fact1: 仮にその出し手は通知票であるなら「それは妬ましい」ということは正しい fact2: もしその出し手が台詞であるということはないしそれが了知しないとしたらそれは着易いということはない fact3: もし仮に何らかの物は全員一致でないとすれば「ど偉くて加えて妬ましい」ということは偽だ fact4: もしもその出し手は了知しないとすれば「ど偉いということはないけれど着易い」ということは成り立たない fact5: その急性胃腸炎は伝わり易くてそれは緊急融資だ fact6: その出し手は全員一致である fact7: その出し手が妬ましくないならばこの予定開始日は簒奪でそれに全員一致だ fact8: もし仮に「その出し手は全員一致である」ということは事実と異ならないとしたらそれは妬ましい fact9: その出し手はど偉いしそれに吊る fact10: 仮にあるものが着易くないとすればそれは吊らなくて全員一致でない fact11: もしその急性胃腸炎が緊急融資であるならその出し手は台詞でない fact12: その出し手は吊る fact13: この予定開始日は吊るしおまけにそれは台詞だ ; $hypothesis$ = 「その出し手はど偉いしかつ妬ましい」ということは成り立たない ; $proof$ = 
fact8 & fact6 -> int1: その出し手は妬ましい; fact9 -> int2: その出し手はど偉い; int1 & int2 -> hypothesis; __DISPROVED__
事実1: 仮にその出し手は通知票であるなら「それは妬ましい」ということは正しい
事実2: もしその出し手が台詞であるということはないしそれが了知しないとしたらそれは着易いということはない
事実3: もし仮に何らかの物は全員一致でないとすれば「ど偉くて加えて妬ましい」ということは偽だ
事実4: もしもその出し手は了知しないとすれば「ど偉いということはないけれど着易い」ということは成り立たない
事実5: その急性胃腸炎は伝わり易くてそれは緊急融資だ
事実6: その出し手は全員一致である
事実7: その出し手が妬ましくないならばこの予定開始日は簒奪でそれに全員一致だ
事実8: もし仮に「その出し手は全員一致である」ということは事実と異ならないとしたらそれは妬ましい
事実9: その出し手はど偉いしそれに吊る
事実10: 仮にあるものが着易くないとすればそれは吊らなくて全員一致でない
事実11: もしその急性胃腸炎が緊急融資であるならその出し手は台詞でない
事実12: その出し手は吊る
事実13: この予定開始日は吊るしおまけにそれは台詞だ

仮説: 「その出し手はど偉いしかつ妬ましい」ということは成り立たない
1. 事実8と事実6から、推論1: "その出し手は妬ましい"が導かれる
2. 事実9から、推論2: "その出し手はど偉い"が導かれる
3. 推論1と推論2から、仮説が否定される

よって、仮説が否定されました。