その公的機関は長持ちしないしそれに国債でない
fact1: 「その公的機関は長持ちする一方でそれは国債でない」ということは成り立たない fact2: 「その公的機関は目的買いである」ということは成り立つとしたら引き出し易くない fact3: もし仮になにがしかの物が国債でないなら人間臭いということはないし加えてそれは長持ちしない fact4: もしもなにがしかの物は引き出し易いとしたら「それは人間臭い」ということは成り立つ fact5: この五経はひしゃげる fact6: この五経は引き出し易いしおまけに目的買いだ fact7: 仮にその公的機関は引き出し易くないとすれば「長持ちするし更にそれは人間臭いということはない」ということは成り立たない fact8: もしも「なにがしかのものが長持ちするしその上ひしゃげる」ということは真実だとしたら人間臭くない fact9: この五経は目的買いである fact10: もしこの五経は長持ちするということはないならば「その公的機関は長持ちしないが国債だ」ということは成り立つということはない fact11: もし仮にこの五経が人間臭くなくてまた長持ちしないとするとそのＧＴＨはひしゃげる fact12: このＮ次はひしゃげる fact13: 仮にこの五経は長持ちしないとしたら「その公的機関は長持ちしないし国債だということはない」ということは間違っている fact14: この五経は頼もしい
void -> assump1: 以下のように仮定する。この五経は長持ちする; assump1 & fact5 -> int1: この五経は長持ちするしひしゃげる; fact8 -> int2: もし仮にこの五経は長持ちするしそれにひしゃげれば「それは人間臭くない」ということは真実だ; int1 & int2 -> int3: この五経は人間臭いということはない; fact4 -> int4: この五経が引き出し易いとすれば人間臭い; fact6 -> int5: この五経は引き出し易い; int4 & int5 -> int6: この五経は人間臭い; int3 & int6 -> int7: これは矛盾である; [assump1] & int7 -> int8: 「この五経は長持ちしない」ということは成り立つ; int8 & fact13 -> hypothesis;
その公的機関は長持ちしないしまた国債でない
$facts$ = fact1: 「その公的機関は長持ちする一方でそれは国債でない」ということは成り立たない fact2: 「その公的機関は目的買いである」ということは成り立つとしたら引き出し易くない fact3: もし仮になにがしかの物が国債でないなら人間臭いということはないし加えてそれは長持ちしない fact4: もしもなにがしかの物は引き出し易いとしたら「それは人間臭い」ということは成り立つ fact5: この五経はひしゃげる fact6: この五経は引き出し易いしおまけに目的買いだ fact7: 仮にその公的機関は引き出し易くないとすれば「長持ちするし更にそれは人間臭いということはない」ということは成り立たない fact8: もしも「なにがしかのものが長持ちするしその上ひしゃげる」ということは真実だとしたら人間臭くない fact9: この五経は目的買いである fact10: もしこの五経は長持ちするということはないならば「その公的機関は長持ちしないが国債だ」ということは成り立つということはない fact11: もし仮にこの五経が人間臭くなくてまた長持ちしないとするとそのＧＴＨはひしゃげる fact12: このＮ次はひしゃげる fact13: 仮にこの五経は長持ちしないとしたら「その公的機関は長持ちしないし国債だということはない」ということは間違っている fact14: この五経は頼もしい ; $hypothesis$ = その公的機関は長持ちしないしそれに国債でない ; $proof$ = 
void -> assump1: 以下のように仮定する。この五経は長持ちする; assump1 & fact5 -> int1: この五経は長持ちするしひしゃげる; fact8 -> int2: もし仮にこの五経は長持ちするしそれにひしゃげれば「それは人間臭くない」ということは真実だ; int1 & int2 -> int3: この五経は人間臭いということはない; fact4 -> int4: この五経が引き出し易いとすれば人間臭い; fact6 -> int5: この五経は引き出し易い; int4 & int5 -> int6: この五経は人間臭い; int3 & int6 -> int7: これは矛盾である; [assump1] & int7 -> int8: 「この五経は長持ちしない」ということは成り立つ; int8 & fact13 -> hypothesis; __DISPROVED__
事実1: 「その公的機関は長持ちする一方でそれは国債でない」ということは成り立たない
事実2: 「その公的機関は目的買いである」ということは成り立つとしたら引き出し易くない
事実3: もし仮になにがしかの物が国債でないなら人間臭いということはないし加えてそれは長持ちしない
事実4: もしもなにがしかの物は引き出し易いとしたら「それは人間臭い」ということは成り立つ
事実5: この五経はひしゃげる
事実6: この五経は引き出し易いしおまけに目的買いだ
事実7: 仮にその公的機関は引き出し易くないとすれば「長持ちするし更にそれは人間臭いということはない」ということは成り立たない
事実8: もしも「なにがしかのものが長持ちするしその上ひしゃげる」ということは真実だとしたら人間臭くない
事実9: この五経は目的買いである
事実10: もしこの五経は長持ちするということはないならば「その公的機関は長持ちしないが国債だ」ということは成り立つということはない
事実11: もし仮にこの五経が人間臭くなくてまた長持ちしないとするとそのＧＴＨはひしゃげる
事実12: このＮ次はひしゃげる
事実13: 仮にこの五経は長持ちしないとしたら「その公的機関は長持ちしないし国債だということはない」ということは間違っている
事実14: この五経は頼もしい

仮説: その公的機関は長持ちしないしそれに国債でない
1. 仮定1: 以下のように仮定する。この五経は長持ちする
2. 仮定1と事実5から、推論1: "この五経は長持ちするしひしゃげる"が導かれる
3. 事実8から、推論2: "もし仮にこの五経は長持ちするしそれにひしゃげれば「それは人間臭くない」ということは真実だ"が導かれる
4. 推論1と推論2から、推論3: "この五経は人間臭いということはない"が導かれる
5. 事実4から、推論4: "この五経が引き出し易いとすれば人間臭い"が導かれる
6. 事実6から、推論5: "この五経は引き出し易い"が導かれる
7. 推論4と推論5から、推論6: "この五経は人間臭い"が導かれる
8. 推論3と推論6から、推論7: "これは矛盾である"が導かれる
9. [仮定1]と推論7から、推論8: "「この五経は長持ちしない」ということは成り立つ"が導かれる
10. 推論8と事実13から、仮説が否定される

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