あの領事館は軽過ぎる
fact1: あの領事館は最西端だ fact2: 仮にこの反転項目が使い続けないとしたらあの領事館は軽過ぎない fact3: あの違憲が喧しいとするとあの得票は喧しい fact4: あの違憲は喧しい fact5: 喧しい物は候である fact6: とある物が低抗するということはないとすればダブル・クリックするしそれに若々しい fact7: もしも「あるものは年代記でないしそれは凭れない」ということは成り立つということはないとするとそれは候でない fact8: あの領事館は凭れる fact9: あの得票が年代記であるということはなくて凭れないならばこの反転項目は使い続けない fact10: もしとあるものが使い続けるとしたらそれは軽過ぎる fact11: 候は軽過ぎる fact12: 全ての物は低抗しない fact13: もし仮にこの反転項目が喧しくないならばあの領事館は使い続けるかまたはそれは候であるかあるいはどちらもである
fact7 -> int1: もしも「あの得票は年代記でなくてかつ凭れない」ということは成り立たないとしたらそれは候でない; void -> assump1: 以下のように仮定する。「あの得票は年代記であるということはないし更にそれは凭れるということはない」ということは誤っている; int1 & assump1 -> int2: あの得票は候でない; fact3 & fact4 -> int3: あの得票は喧しい; fact5 -> int4: もしあの得票が喧しいならば候だ; int3 & int4 -> int5: あの得票は候だ; int2 & int5 -> int6: これは矛盾である; [assump1] & int6 -> int7: 「あの得票は年代記だということはないしさらに凭れない」ということは本当だ; int7 & fact9 -> int8: この反転項目は使い続けない; int8 & fact2 -> hypothesis;
あの領事館は軽過ぎる
fact16 -> int9: あの領事館が候ならそれは軽過ぎる; fact14 -> int10: もしもあの領事館が使い続けるとすれば軽過ぎる; fact15 -> int11: 仮にあの電子掲示板が低抗しないとしたらそれはダブル・クリックするしまた若々しい; fact17 -> int12: あの電子掲示板は低抗しない; int11 & int12 -> int13: あの電子掲示板はダブル・クリックするし若々しい; int13 -> int14: 全ての物はダブル・クリックするしそれに若々しい; int14 -> int15: あの違憲はダブル・クリックするししかもそれは若々しい; int15 -> int16: あの違憲はダブル・クリックする; int16 -> int17: 「ダブル・クリックする」ものはある;
$facts$ = fact1: あの領事館は最西端だ fact2: 仮にこの反転項目が使い続けないとしたらあの領事館は軽過ぎない fact3: あの違憲が喧しいとするとあの得票は喧しい fact4: あの違憲は喧しい fact5: 喧しい物は候である fact6: とある物が低抗するということはないとすればダブル・クリックするしそれに若々しい fact7: もしも「あるものは年代記でないしそれは凭れない」ということは成り立つということはないとするとそれは候でない fact8: あの領事館は凭れる fact9: あの得票が年代記であるということはなくて凭れないならばこの反転項目は使い続けない fact10: もしとあるものが使い続けるとしたらそれは軽過ぎる fact11: 候は軽過ぎる fact12: 全ての物は低抗しない fact13: もし仮にこの反転項目が喧しくないならばあの領事館は使い続けるかまたはそれは候であるかあるいはどちらもである ; $hypothesis$ = あの領事館は軽過ぎる ; $proof$ = 
fact7 -> int1: もしも「あの得票は年代記でなくてかつ凭れない」ということは成り立たないとしたらそれは候でない; void -> assump1: 以下のように仮定する。「あの得票は年代記であるということはないし更にそれは凭れるということはない」ということは誤っている; int1 & assump1 -> int2: あの得票は候でない; fact3 & fact4 -> int3: あの得票は喧しい; fact5 -> int4: もしあの得票が喧しいならば候だ; int3 & int4 -> int5: あの得票は候だ; int2 & int5 -> int6: これは矛盾である; [assump1] & int6 -> int7: 「あの得票は年代記だということはないしさらに凭れない」ということは本当だ; int7 & fact9 -> int8: この反転項目は使い続けない; int8 & fact2 -> hypothesis; __DISPROVED__
事実1: あの領事館は最西端だ
事実2: 仮にこの反転項目が使い続けないとしたらあの領事館は軽過ぎない
事実3: あの違憲が喧しいとするとあの得票は喧しい
事実4: あの違憲は喧しい
事実5: 喧しい物は候である
事実6: とある物が低抗するということはないとすればダブル・クリックするしそれに若々しい
事実7: もしも「あるものは年代記でないしそれは凭れない」ということは成り立つということはないとするとそれは候でない
事実8: あの領事館は凭れる
事実9: あの得票が年代記であるということはなくて凭れないならばこの反転項目は使い続けない
事実10: もしとあるものが使い続けるとしたらそれは軽過ぎる
事実11: 候は軽過ぎる
事実12: 全ての物は低抗しない
事実13: もし仮にこの反転項目が喧しくないならばあの領事館は使い続けるかまたはそれは候であるかあるいはどちらもである

仮説: あの領事館は軽過ぎる
1. 事実7から、推論1: "もしも「あの得票は年代記でなくてかつ凭れない」ということは成り立たないとしたらそれは候でない"が導かれる
2. 仮定1: 以下のように仮定する。「あの得票は年代記であるということはないし更にそれは凭れるということはない」ということは誤っている
3. 推論1と仮定1から、推論2: "あの得票は候でない"が導かれる
4. 事実3と事実4から、推論3: "あの得票は喧しい"が導かれる
5. 事実5から、推論4: "もしあの得票が喧しいならば候だ"が導かれる
6. 推論3と推論4から、推論5: "あの得票は候だ"が導かれる
7. 推論2と推論5から、推論6: "これは矛盾である"が導かれる
8. [仮定1]と推論6から、推論7: "「あの得票は年代記だということはないしさらに凭れない」ということは本当だ"が導かれる
9. 推論7と事実9から、推論8: "この反転項目は使い続けない"が導かれる
10. 推論8と事実2から、仮説が否定される

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