「この披露パーティはアメリカっぽいがしかし配列しない」ということは成り立たない
fact1: 「この披露パーティは焼き入れしない」ということは誤っている fact2: もしも「とある物は調べ易いということはないけど吐き出す」ということは嘘ならば「吐き出すということはない」ということは事実である fact3: もしも「その実施例はアメリカっぽいか責任免除でない」ということは誤っているとすればそれは焼き入れする fact4: 仮に「なにがしかの物は東京地判であるかもしくは責任免除でないかあるいは両方ともだ」ということは事実と異なるとすれば壁際である fact5: この一時表がアメリカっぽくないならばあの披露パーティは配列するということはない fact6: もし「とあるものは状態維持しないけど焼き入れする」ということは間違いであるとすると焼き入れしない fact7: 仮にこの百ドル程度が東京地判だとしたらこの一時表は配列する fact8: もし仮にこの披露パーティはアメリカっぽくないならば「それは東京地判でないけれど責任免除である」ということは成り立たない fact9: 「その実施例は状態維持するけれど壁際でない」ということは成り立つとしたらこの披露パーティは焼き入れしない fact10: もし「この披露パーティは焼き入れするかまたはアメリカっぽくないかあるいは両方である」ということは嘘なら壁際だ fact11: 仮にこの百ドル程度は壁際であるならば「その実施例は焼き入れする」ということは事実である fact12: この百ドル程度が東京地判であるならばこの一時表は配列しない fact13: もしなにかは無理心中でないなら「状態維持しないしその上焼き入れする」ということは誤りだ fact14: もしこの一時表が無理心中であるとしたらその実施例は状態維持するがしかし壁際であるということはない fact15: この百ドル程度は配列しない fact16: もしもなんらかの物は焼き入れしないとすれば「それはアメリカっぽいがしかし配列しない」ということは誤っている fact17: その実施例は無理心中でない fact18: この一時表が配列しないならばこの披露パーティはアメリカっぽいけど配列するということはない fact19: 仮に「あるものは分かりゃしない」ということは真実だとしたら「それは族外婚であるかまたは俗っぽい」ということは成り立つということはない fact20: もし「あるものは壁際であるかもしくはそれは配列しない」ということは間違いだとすればそれは東京地判だ fact21: もしも「この百ドル程度は責任免除であるか無理心中でない」ということは間違いだとしたらそれは壁際である fact22: 「この百ドル程度は責任免除だということはない」ということは事実だとするとこの一時表は配列するということはない fact23: もし「「とあるものは族外婚であるか俗っぽいか両方だ」ということは本当だ」ということは成り立たないとしたら貴方らしくない fact24: この百ドル程度は遠くない fact25: 仮にこの百ドル程度は配列しないなら「それは壁際でないけど無理心中である」ということは誤っている
fact4 -> int1: 仮に「この百ドル程度は東京地判であるかまたはそれは責任免除でないか両方ともである」ということは成り立つということはないとすれば壁際である; void -> assump1: 以下のように仮定する。「この百ドル程度は東京地判であるかまたは責任免除でない」ということは嘘だ; int1 & assump1 -> int2: この百ドル程度は壁際だ; int2 & fact11 -> int3: その実施例は焼き入れする; fact13 -> int4: もしその実施例は無理心中でないなら「状態維持するということはないがしかし焼き入れする」ということは間違っている; int4 & fact17 -> int5: 「その実施例は状態維持するということはないけど焼き入れする」ということは成り立たない; fact6 -> int6: 「その実施例は状態維持しないけど焼き入れする」ということは成り立たないならばそれは焼き入れするということはない; int5 & int6 -> int7: その実施例は焼き入れしない; int3 & int7 -> int8: これは矛盾である; [assump1] & int8 -> int9: この百ドル程度は東京地判であるかまたは責任免除でない; int9 & fact12 & fact22 -> int10: この一時表は配列しない; int10 & fact18 -> hypothesis;
「この披露パーティはアメリカっぽいがしかしそれは配列するということはない」ということは嘘だ
fact30 -> int11: もしもこの披露パーティは焼き入れしないとすれば「アメリカっぽいしさらに配列しない」ということは成り立たない; fact28 -> int12: もし仮に「あのパラグラフは族外婚であるかそれは俗っぽいか両方である」ということは事実と異なれば「貴方らしくない」ということは真実である; fact29 -> int13: 仮にこのオーガニゼーションは分かりゃしないとすると「それは族外婚であるかあるいは俗っぽい」ということは事実と異なる;
$facts$ = fact1: 「この披露パーティは焼き入れしない」ということは誤っている fact2: もしも「とある物は調べ易いということはないけど吐き出す」ということは嘘ならば「吐き出すということはない」ということは事実である fact3: もしも「その実施例はアメリカっぽいか責任免除でない」ということは誤っているとすればそれは焼き入れする fact4: 仮に「なにがしかの物は東京地判であるかもしくは責任免除でないかあるいは両方ともだ」ということは事実と異なるとすれば壁際である fact5: この一時表がアメリカっぽくないならばあの披露パーティは配列するということはない fact6: もし「とあるものは状態維持しないけど焼き入れする」ということは間違いであるとすると焼き入れしない fact7: 仮にこの百ドル程度が東京地判だとしたらこの一時表は配列する fact8: もし仮にこの披露パーティはアメリカっぽくないならば「それは東京地判でないけれど責任免除である」ということは成り立たない fact9: 「その実施例は状態維持するけれど壁際でない」ということは成り立つとしたらこの披露パーティは焼き入れしない fact10: もし「この披露パーティは焼き入れするかまたはアメリカっぽくないかあるいは両方である」ということは嘘なら壁際だ fact11: 仮にこの百ドル程度は壁際であるならば「その実施例は焼き入れする」ということは事実である fact12: この百ドル程度が東京地判であるならばこの一時表は配列しない fact13: もしなにかは無理心中でないなら「状態維持しないしその上焼き入れする」ということは誤りだ fact14: もしこの一時表が無理心中であるとしたらその実施例は状態維持するがしかし壁際であるということはない fact15: この百ドル程度は配列しない fact16: もしもなんらかの物は焼き入れしないとすれば「それはアメリカっぽいがしかし配列しない」ということは誤っている fact17: その実施例は無理心中でない fact18: この一時表が配列しないならばこの披露パーティはアメリカっぽいけど配列するということはない fact19: 仮に「あるものは分かりゃしない」ということは真実だとしたら「それは族外婚であるかまたは俗っぽい」ということは成り立つということはない fact20: もし「あるものは壁際であるかもしくはそれは配列しない」ということは間違いだとすればそれは東京地判だ fact21: もしも「この百ドル程度は責任免除であるか無理心中でない」ということは間違いだとしたらそれは壁際である fact22: 「この百ドル程度は責任免除だということはない」ということは事実だとするとこの一時表は配列するということはない fact23: もし「「とあるものは族外婚であるか俗っぽいか両方だ」ということは本当だ」ということは成り立たないとしたら貴方らしくない fact24: この百ドル程度は遠くない fact25: 仮にこの百ドル程度は配列しないなら「それは壁際でないけど無理心中である」ということは誤っている ; $hypothesis$ = 「この披露パーティはアメリカっぽいがしかし配列しない」ということは成り立たない ; $proof$ = 
fact4 -> int1: 仮に「この百ドル程度は東京地判であるかまたはそれは責任免除でないか両方ともである」ということは成り立つということはないとすれば壁際である; void -> assump1: 以下のように仮定する。「この百ドル程度は東京地判であるかまたは責任免除でない」ということは嘘だ; int1 & assump1 -> int2: この百ドル程度は壁際だ; int2 & fact11 -> int3: その実施例は焼き入れする; fact13 -> int4: もしその実施例は無理心中でないなら「状態維持するということはないがしかし焼き入れする」ということは間違っている; int4 & fact17 -> int5: 「その実施例は状態維持するということはないけど焼き入れする」ということは成り立たない; fact6 -> int6: 「その実施例は状態維持しないけど焼き入れする」ということは成り立たないならばそれは焼き入れするということはない; int5 & int6 -> int7: その実施例は焼き入れしない; int3 & int7 -> int8: これは矛盾である; [assump1] & int8 -> int9: この百ドル程度は東京地判であるかまたは責任免除でない; int9 & fact12 & fact22 -> int10: この一時表は配列しない; int10 & fact18 -> 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: もし「「とあるものは族外婚であるか俗っぽいか両方だ」ということは本当だ」ということは成り立たないとしたら貴方らしくない
事実24: この百ドル程度は遠くない
事実25: 仮にこの百ドル程度は配列しないなら「それは壁際でないけど無理心中である」ということは誤っている

仮説: 「この披露パーティはアメリカっぽいがしかし配列しない」ということは成り立たない
1. 事実4から、推論1: "仮に「この百ドル程度は東京地判であるかまたはそれは責任免除でないか両方ともである」ということは成り立つということはないとすれば壁際である"が導かれる
2. 仮定1: 以下のように仮定する。「この百ドル程度は東京地判であるかまたは責任免除でない」ということは嘘だ
3. 推論1と仮定1から、推論2: "この百ドル程度は壁際だ"が導かれる
4. 推論2と事実11から、推論3: "その実施例は焼き入れする"が導かれる
5. 事実13から、推論4: "もしその実施例は無理心中でないなら「状態維持するということはないがしかし焼き入れする」ということは間違っている"が導かれる
6. 推論4と事実17から、推論5: "「その実施例は状態維持するということはないけど焼き入れする」ということは成り立たない"が導かれる
7. 事実6から、推論6: "「その実施例は状態維持しないけど焼き入れする」ということは成り立たないならばそれは焼き入れするということはない"が導かれる
8. 推論5と推論6から、推論7: "その実施例は焼き入れしない"が導かれる
9. 推論3と推論7から、推論8: "これは矛盾である"が導かれる
10. [仮定1]と推論8から、推論9: "この百ドル程度は東京地判であるかまたは責任免除でない"が導かれる
11. 推論9と事実12と事実22から、推論10: "この一時表は配列しない"が導かれる
12. 推論10と事実18から、仮説が否定される

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