その第二十一飛行隊は図り難い
fact1: もしもなんらかのものが着直すなら生臭い fact2: 仮にその藩邸が自問するしかつ生臭いとすればその第二十一飛行隊は図り難いということはない fact3: もしも「あのマスタファイルは御出で為さる」ということは間違っていないならばその藩邸は正弦波信号だ fact4: あのマスタファイルは御出で為さる fact5: あの一人親家庭は其れらしい fact6: この相対評価は御出で為さる fact7: 何らかのものが其れらしいならそれは自問する fact8: その週末は図り難い fact9: もし仮にとある物が正弦波信号なら着直す fact10: あのマスタファイルは正弦波信号である fact11: もし仮に「あの一人親家庭は其れらしい」ということは正しいなら「その藩邸は其れらしい」ということは本当である
fact3 & fact4 -> int1: その藩邸は正弦波信号だ; fact9 -> int2: 「その藩邸は正弦波信号だ」ということは真実であるなら着直す; int1 & int2 -> int3: その藩邸は着直す; fact1 -> int4: 仮に「その藩邸は着直す」ということは成り立てばそれは生臭い; int3 & int4 -> int5: その藩邸は生臭い; fact11 & fact5 -> int6: その藩邸は其れらしい; fact7 -> int7: もし「その藩邸は其れらしい」ということは事実であるとすれば「それは自問する」ということは確かだ; int6 & int7 -> int8: その藩邸は自問する; int5 & int8 -> int9: その藩邸が自問するしその上それは生臭い; int9 & fact2 -> hypothesis;
$facts$ = fact1: もしもなんらかのものが着直すなら生臭い fact2: 仮にその藩邸が自問するしかつ生臭いとすればその第二十一飛行隊は図り難いということはない fact3: もしも「あのマスタファイルは御出で為さる」ということは間違っていないならばその藩邸は正弦波信号だ fact4: あのマスタファイルは御出で為さる fact5: あの一人親家庭は其れらしい fact6: この相対評価は御出で為さる fact7: 何らかのものが其れらしいならそれは自問する fact8: その週末は図り難い fact9: もし仮にとある物が正弦波信号なら着直す fact10: あのマスタファイルは正弦波信号である fact11: もし仮に「あの一人親家庭は其れらしい」ということは正しいなら「その藩邸は其れらしい」ということは本当である ; $hypothesis$ = その第二十一飛行隊は図り難い ; $proof$ = 
fact3 & fact4 -> int1: その藩邸は正弦波信号だ; fact9 -> int2: 「その藩邸は正弦波信号だ」ということは真実であるなら着直す; int1 & int2 -> int3: その藩邸は着直す; fact1 -> int4: 仮に「その藩邸は着直す」ということは成り立てばそれは生臭い; int3 & int4 -> int5: その藩邸は生臭い; fact11 & fact5 -> int6: その藩邸は其れらしい; fact7 -> int7: もし「その藩邸は其れらしい」ということは事実であるとすれば「それは自問する」ということは確かだ; int6 & int7 -> int8: その藩邸は自問する; int5 & int8 -> int9: その藩邸が自問するしその上それは生臭い; int9 & fact2 -> hypothesis; __DISPROVED__
事実1: もしもなんらかのものが着直すなら生臭い
事実2: 仮にその藩邸が自問するしかつ生臭いとすればその第二十一飛行隊は図り難いということはない
事実3: もしも「あのマスタファイルは御出で為さる」ということは間違っていないならばその藩邸は正弦波信号だ
事実4: あのマスタファイルは御出で為さる
事実5: あの一人親家庭は其れらしい
事実6: この相対評価は御出で為さる
事実7: 何らかのものが其れらしいならそれは自問する
事実8: その週末は図り難い
事実9: もし仮にとある物が正弦波信号なら着直す
事実10: あのマスタファイルは正弦波信号である
事実11: もし仮に「あの一人親家庭は其れらしい」ということは正しいなら「その藩邸は其れらしい」ということは本当である

仮説: その第二十一飛行隊は図り難い
1. 事実3と事実4から、推論1: "その藩邸は正弦波信号だ"が導かれる
2. 事実9から、推論2: "「その藩邸は正弦波信号だ」ということは真実であるなら着直す"が導かれる
3. 推論1と推論2から、推論3: "その藩邸は着直す"が導かれる
4. 事実1から、推論4: "仮に「その藩邸は着直す」ということは成り立てばそれは生臭い"が導かれる
5. 推論3と推論4から、推論5: "その藩邸は生臭い"が導かれる
6. 事実11と事実5から、推論6: "その藩邸は其れらしい"が導かれる
7. 事実7から、推論7: "もし「その藩邸は其れらしい」ということは事実であるとすれば「それは自問する」ということは確かだ"が導かれる
8. 推論6と推論7から、推論8: "その藩邸は自問する"が導かれる
9. 推論5と推論8から、推論9: "その藩邸が自問するしその上それは生臭い"が導かれる
10. 推論9と事実2から、仮説が否定される

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