その教官はすーごい
fact1: 「あの提出者は設立出来るということはない」ということは成り立つ fact2: 「その教官は財政破綻であるしそれにひもじい」ということは嘘である fact3: その教官が通婚するがしかしそれが設立出来るということはないならそれはすーごくない fact4: 「その教官は財政破綻だがそれはひもじくない」ということは嘘だ fact5: 仮に何らかの物は設立出来るなら「それは通婚するけどボタン入力でない」ということは成り立つということはない fact6: 「その教官は設立出来るということはない」ということは成り立つ fact7: もし仮にその教官が御勝ちだ一方でそれが通婚するということはないならばそれは通常手続きでない fact8: もし「「その教官は財政破綻であるけれどそれはひもじくない」ということは成り立つ」ということは成り立たないとすれば「それは通婚する」ということは間違っていない
fact8 & fact4 -> int1: その教官は通婚する; int1 & fact6 -> int2: その教官は通婚する一方で設立出来ない; int2 & fact3 -> hypothesis;
「あの茶漬けは通婚するがしかしボタン入力でない」ということは間違いだ
fact9 -> int3: もし仮にあの茶漬けは設立出来るとすると「通婚するしかつボタン入力でない」ということは偽である;
$facts$ = fact1: 「あの提出者は設立出来るということはない」ということは成り立つ fact2: 「その教官は財政破綻であるしそれにひもじい」ということは嘘である fact3: その教官が通婚するがしかしそれが設立出来るということはないならそれはすーごくない fact4: 「その教官は財政破綻だがそれはひもじくない」ということは嘘だ fact5: 仮に何らかの物は設立出来るなら「それは通婚するけどボタン入力でない」ということは成り立つということはない fact6: 「その教官は設立出来るということはない」ということは成り立つ fact7: もし仮にその教官が御勝ちだ一方でそれが通婚するということはないならばそれは通常手続きでない fact8: もし「「その教官は財政破綻であるけれどそれはひもじくない」ということは成り立つ」ということは成り立たないとすれば「それは通婚する」ということは間違っていない ; $hypothesis$ = その教官はすーごい ; $proof$ = 
fact8 & fact4 -> int1: その教官は通婚する; int1 & fact6 -> int2: その教官は通婚する一方で設立出来ない; int2 & fact3 -> hypothesis; __DISPROVED__
事実1: 「あの提出者は設立出来るということはない」ということは成り立つ
事実2: 「その教官は財政破綻であるしそれにひもじい」ということは嘘である
事実3: その教官が通婚するがしかしそれが設立出来るということはないならそれはすーごくない
事実4: 「その教官は財政破綻だがそれはひもじくない」ということは嘘だ
事実5: 仮に何らかの物は設立出来るなら「それは通婚するけどボタン入力でない」ということは成り立つということはない
事実6: 「その教官は設立出来るということはない」ということは成り立つ
事実7: もし仮にその教官が御勝ちだ一方でそれが通婚するということはないならばそれは通常手続きでない
事実8: もし「「その教官は財政破綻であるけれどそれはひもじくない」ということは成り立つ」ということは成り立たないとすれば「それは通婚する」ということは間違っていない

仮説: その教官はすーごい
1. 事実8と事実4から、推論1: "その教官は通婚する"が導かれる
2. 推論1と事実6から、推論2: "その教官は通婚する一方で設立出来ない"が導かれる
3. 推論2と事実3から、仮説が否定される

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