その二目ゴム編みは御挨拶申し上げる
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: その二目ゴム編みは染み込み易い fact26: 仮にあの女性局編が滑り易いとすればあの殺人未遂罪は笑殺しない
fact14 -> int1: その二目ゴム編みは人らしい; void -> assump1: 以下のように仮定する。その二目ゴム編みは御挨拶申し上げる; int1 & assump1 -> int2: 「その二目ゴム編みは人らしいしかつ御挨拶申し上げる」ということは成り立つ; int2 & fact2 -> int3: あの殺人未遂罪は態とらしくない; fact5 -> int4: 仮に「あの殺人未遂罪は態とらしくない」ということは確かであるとすると「軍人らしい一方で宜しくない」ということは成り立つということはない; int3 & int4 -> int5: 「あの殺人未遂罪は軍人らしいが宜しいということはない」ということは成り立たない; fact16 -> int6: 仮に「「あの殺人未遂罪は軍人らしいがしかしそれは宜しくない」ということは事実だ」ということは嘘であるとすると「それは笑殺する」ということは成り立つ; int5 & int6 -> int7: あの殺人未遂罪は笑殺する; fact26 & fact15 & fact8 -> int8: あの殺人未遂罪は笑殺しない; int7 & int8 -> int9: これは矛盾である; [assump1] & int9 -> hypothesis;
その二目ゴム編みは御挨拶申し上げる
fact29 & fact27 -> 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: もしもあの殺人未遂罪は態とらしくないとしたら「軍人らしいししかも宜しい」ということは間違いだ fact24: 仮に「その二目ゴム編みは疲労し易くない」ということは成り立つとしたらそれは添える fact25: その二目ゴム編みは染み込み易い fact26: 仮にあの女性局編が滑り易いとすればあの殺人未遂罪は笑殺しない ; $hypothesis$ = その二目ゴム編みは御挨拶申し上げる ; $proof$ = 
fact14 -> int1: その二目ゴム編みは人らしい; void -> assump1: 以下のように仮定する。その二目ゴム編みは御挨拶申し上げる; int1 & assump1 -> int2: 「その二目ゴム編みは人らしいしかつ御挨拶申し上げる」ということは成り立つ; int2 & fact2 -> int3: あの殺人未遂罪は態とらしくない; fact5 -> int4: 仮に「あの殺人未遂罪は態とらしくない」ということは確かであるとすると「軍人らしい一方で宜しくない」ということは成り立つということはない; int3 & int4 -> int5: 「あの殺人未遂罪は軍人らしいが宜しいということはない」ということは成り立たない; fact16 -> int6: 仮に「「あの殺人未遂罪は軍人らしいがしかしそれは宜しくない」ということは事実だ」ということは嘘であるとすると「それは笑殺する」ということは成り立つ; int5 & int6 -> int7: あの殺人未遂罪は笑殺する; fact26 & fact15 & fact8 -> int8: あの殺人未遂罪は笑殺しない; int7 & int8 -> int9: これは矛盾である; [assump1] & int9 -> 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: その二目ゴム編みは染み込み易い
事実26: 仮にあの女性局編が滑り易いとすればあの殺人未遂罪は笑殺しない

仮説: その二目ゴム編みは御挨拶申し上げる
1. 事実14から、推論1: "その二目ゴム編みは人らしい"が導かれる
2. 仮定1: 以下のように仮定する。その二目ゴム編みは御挨拶申し上げる
3. 推論1と仮定1から、推論2: "「その二目ゴム編みは人らしいしかつ御挨拶申し上げる」ということは成り立つ"が導かれる
4. 推論2と事実2から、推論3: "あの殺人未遂罪は態とらしくない"が導かれる
5. 事実5から、推論4: "仮に「あの殺人未遂罪は態とらしくない」ということは確かであるとすると「軍人らしい一方で宜しくない」ということは成り立つということはない"が導かれる
6. 推論3と推論4から、推論5: "「あの殺人未遂罪は軍人らしいが宜しいということはない」ということは成り立たない"が導かれる
7. 事実16から、推論6: "仮に「「あの殺人未遂罪は軍人らしいがしかしそれは宜しくない」ということは事実だ」ということは嘘であるとすると「それは笑殺する」ということは成り立つ"が導かれる
8. 推論5と推論6から、推論7: "あの殺人未遂罪は笑殺する"が導かれる
9. 事実26と事実15と事実8から、推論8: "あの殺人未遂罪は笑殺しない"が導かれる
10. 推論7と推論8から、推論9: "これは矛盾である"が導かれる
11. [仮定1]と推論9から、仮説が否定される

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