この五十歳未満は緊張し切らないかあるいは市町村間でないかもしくは両方ともだ
fact1: もし仮面ライダーは成り為さらないとしたら「それは鹹水でない」ということは本当だ fact2: もし「その結婚届けは仮面ライダーでそれに鹹水である」ということは成り立たないならそのザンギは成り為さらない fact3: そのザンギは傷付け易くない fact4: もしとあるものが緊張し切らないかあるいは市町村間でないとすればそれは仮面ライダーでない fact5: 仮に「あのバズーカ砲は見積もり書きでないがしかし登用である」ということは偽であるならばその分筆登記は保管出来る fact6: その結婚届けは仮面ライダーであるかそれは緊張し切らないか両方である fact7: 「この五十歳未満は保管出来ない」ということは成り立つとしたら成り為さるし仮面ライダーである fact8: もしも「そのザンギは感じ難いが追い付かない」ということは成り立たないならその結婚届けは着易い fact9: 仮にこの五十歳未満は仮面ライダーでないとすると「その結婚届けは仮面ライダーであるしさらに鹹水だ」ということは偽である fact10: もしも「この五十歳未満は緊張し切らない」ということは正しいとしたらそれは仮面ライダーでない fact11: もしその結婚届けが着易くて加えて保管出来るとするとこの五十歳未満は保管出来ない fact12: その結婚届けが仮面ライダーでないならそのザンギは成り為さらない fact13: あのモニタウインドウは成り為さる fact14: もし「そのザンギは茶色っぽくない」ということは真実であるとすれば「感じ難くておまけにそれは追い付かない」ということは成り立たない fact15: 傷付け易くない物は浅ましないが自転車漕ぎである fact16: この五十歳未満は緊張し切る fact17: 仮になにがしかの物は緊張し切らないとすればそれは仮面ライダーでない fact18: そのザンギは浅ましないけど自転車漕ぎだとしたら茶色っぽくない fact19: もしも「その分筆登記は感じ難い」ということは本当ならば「そのザンギは成り為さらなくて加えて保管出来ない」ということは間違いである fact20: そのザンギは成り為さる fact21: 「この五十歳未満は緊張し切るかあるいはそれは市町村間でないか両方ともだ」ということは成り立つ fact22: 仮にその結婚届けは鹹水だということはないとしたら「この利用者名簿が仮面ライダーだしそれは勢揃いする」ということは誤りだ fact23: 仮にその分筆登記は保管出来るとすると「その結婚届けは保管出来る」ということは正しい
fact4 -> int1: この五十歳未満は緊張し切らないかもしくは市町村間でないかもしくはどちらもならそれは仮面ライダーでない; void -> assump1: 以下のように仮定する。この五十歳未満は緊張し切らないかそれは市町村間でないかあるいは両方である; int1 & assump1 -> int2: この五十歳未満は仮面ライダーでない; int2 & fact9 -> int3: 「その結婚届けは仮面ライダーでその上鹹水である」ということは誤っている; int3 & fact2 -> int4: そのザンギは成り為さらない; int4 & fact20 -> int5: これは矛盾である; [assump1] & int5 -> hypothesis;
この五十歳未満は緊張し切らないかもしくは市町村間でないかまたは両方ともだ
fact31 -> int6: 仮にそのザンギが傷付け易くないとしたら浅ましないがしかし自転車漕ぎである; int6 & fact27 -> int7: そのザンギは浅ましないけれどそれは自転車漕ぎである; fact32 & int7 -> int8: そのザンギは茶色っぽくない; fact26 & int8 -> int9: 「そのザンギは感じ難いがしかし追い付かない」ということは嘘だ; fact25 & int9 -> int10: 「その結婚届けは着易い」ということは間違いでない;
$facts$ = fact1: もし仮面ライダーは成り為さらないとしたら「それは鹹水でない」ということは本当だ fact2: もし「その結婚届けは仮面ライダーでそれに鹹水である」ということは成り立たないならそのザンギは成り為さらない fact3: そのザンギは傷付け易くない fact4: もしとあるものが緊張し切らないかあるいは市町村間でないとすればそれは仮面ライダーでない fact5: 仮に「あのバズーカ砲は見積もり書きでないがしかし登用である」ということは偽であるならばその分筆登記は保管出来る fact6: その結婚届けは仮面ライダーであるかそれは緊張し切らないか両方である fact7: 「この五十歳未満は保管出来ない」ということは成り立つとしたら成り為さるし仮面ライダーである fact8: もしも「そのザンギは感じ難いが追い付かない」ということは成り立たないならその結婚届けは着易い fact9: 仮にこの五十歳未満は仮面ライダーでないとすると「その結婚届けは仮面ライダーであるしさらに鹹水だ」ということは偽である fact10: もしも「この五十歳未満は緊張し切らない」ということは正しいとしたらそれは仮面ライダーでない fact11: もしその結婚届けが着易くて加えて保管出来るとするとこの五十歳未満は保管出来ない fact12: その結婚届けが仮面ライダーでないならそのザンギは成り為さらない fact13: あのモニタウインドウは成り為さる fact14: もし「そのザンギは茶色っぽくない」ということは真実であるとすれば「感じ難くておまけにそれは追い付かない」ということは成り立たない fact15: 傷付け易くない物は浅ましないが自転車漕ぎである fact16: この五十歳未満は緊張し切る fact17: 仮になにがしかの物は緊張し切らないとすればそれは仮面ライダーでない fact18: そのザンギは浅ましないけど自転車漕ぎだとしたら茶色っぽくない fact19: もしも「その分筆登記は感じ難い」ということは本当ならば「そのザンギは成り為さらなくて加えて保管出来ない」ということは間違いである fact20: そのザンギは成り為さる fact21: 「この五十歳未満は緊張し切るかあるいはそれは市町村間でないか両方ともだ」ということは成り立つ fact22: 仮にその結婚届けは鹹水だということはないとしたら「この利用者名簿が仮面ライダーだしそれは勢揃いする」ということは誤りだ fact23: 仮にその分筆登記は保管出来るとすると「その結婚届けは保管出来る」ということは正しい ; $hypothesis$ = この五十歳未満は緊張し切らないかあるいは市町村間でないかもしくは両方ともだ ; $proof$ = 
fact4 -> int1: この五十歳未満は緊張し切らないかもしくは市町村間でないかもしくはどちらもならそれは仮面ライダーでない; void -> assump1: 以下のように仮定する。この五十歳未満は緊張し切らないかそれは市町村間でないかあるいは両方である; int1 & assump1 -> int2: この五十歳未満は仮面ライダーでない; int2 & fact9 -> int3: 「その結婚届けは仮面ライダーでその上鹹水である」ということは誤っている; int3 & fact2 -> int4: そのザンギは成り為さらない; int4 & fact20 -> int5: これは矛盾である; [assump1] & int5 -> hypothesis; __DISPROVED__
事実1: もし仮面ライダーは成り為さらないとしたら「それは鹹水でない」ということは本当だ
事実2: もし「その結婚届けは仮面ライダーでそれに鹹水である」ということは成り立たないならそのザンギは成り為さらない
事実3: そのザンギは傷付け易くない
事実4: もしとあるものが緊張し切らないかあるいは市町村間でないとすればそれは仮面ライダーでない
事実5: 仮に「あのバズーカ砲は見積もり書きでないがしかし登用である」ということは偽であるならばその分筆登記は保管出来る
事実6: その結婚届けは仮面ライダーであるかそれは緊張し切らないか両方である
事実7: 「この五十歳未満は保管出来ない」ということは成り立つとしたら成り為さるし仮面ライダーである
事実8: もしも「そのザンギは感じ難いが追い付かない」ということは成り立たないならその結婚届けは着易い
事実9: 仮にこの五十歳未満は仮面ライダーでないとすると「その結婚届けは仮面ライダーであるしさらに鹹水だ」ということは偽である
事実10: もしも「この五十歳未満は緊張し切らない」ということは正しいとしたらそれは仮面ライダーでない
事実11: もしその結婚届けが着易くて加えて保管出来るとするとこの五十歳未満は保管出来ない
事実12: その結婚届けが仮面ライダーでないならそのザンギは成り為さらない
事実13: あのモニタウインドウは成り為さる
事実14: もし「そのザンギは茶色っぽくない」ということは真実であるとすれば「感じ難くておまけにそれは追い付かない」ということは成り立たない
事実15: 傷付け易くない物は浅ましないが自転車漕ぎである
事実16: この五十歳未満は緊張し切る
事実17: 仮になにがしかの物は緊張し切らないとすればそれは仮面ライダーでない
事実18: そのザンギは浅ましないけど自転車漕ぎだとしたら茶色っぽくない
事実19: もしも「その分筆登記は感じ難い」ということは本当ならば「そのザンギは成り為さらなくて加えて保管出来ない」ということは間違いである
事実20: そのザンギは成り為さる
事実21: 「この五十歳未満は緊張し切るかあるいはそれは市町村間でないか両方ともだ」ということは成り立つ
事実22: 仮にその結婚届けは鹹水だということはないとしたら「この利用者名簿が仮面ライダーだしそれは勢揃いする」ということは誤りだ
事実23: 仮にその分筆登記は保管出来るとすると「その結婚届けは保管出来る」ということは正しい

仮説: この五十歳未満は緊張し切らないかあるいは市町村間でないかもしくは両方ともだ
1. 事実4から、推論1: "この五十歳未満は緊張し切らないかもしくは市町村間でないかもしくはどちらもならそれは仮面ライダーでない"が導かれる
2. 仮定1: 以下のように仮定する。この五十歳未満は緊張し切らないかそれは市町村間でないかあるいは両方である
3. 推論1と仮定1から、推論2: "この五十歳未満は仮面ライダーでない"が導かれる
4. 推論2と事実9から、推論3: "「その結婚届けは仮面ライダーでその上鹹水である」ということは誤っている"が導かれる
5. 推論3と事実2から、推論4: "そのザンギは成り為さらない"が導かれる
6. 推論4と事実20から、推論5: "これは矛盾である"が導かれる
7. [仮定1]と推論5から、仮説が否定される

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