その粉石鹸は止めど無い
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: もし「その祈りは日本人らしくない」ということは真実だとすれば棚引かないか笑い始めるかあるいは両方ともである; fact19 & fact6 -> int2: その祈りは日本人らしくない; int1 & int2 -> int3: その祈りは棚引くということはないかもしくは笑い始めるかもしくは両方である; int3 & fact20 -> int4: その祈りはホット・セブンだということはない; int4 & fact25 -> int5: 「「その粉石鹸はホット・セブンだということはなくて更に流水下でない」ということは真実だ」ということは嘘だ; int5 & fact5 -> hypothesis;
その粉石鹸は止めど無い
fact30 -> int6: もしあの障害者支援施設等はホット・セブンであるということはないなら止めど無いか日本人らしいか両方だ; fact29 -> int7: 仮にその製パンが流水下でないとすればそれは忠告するかあるいはそれはホット・セブンでないかどちらもである;
$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: もし「その祈りは日本人らしくない」ということは真実だとすれば棚引かないか笑い始めるかあるいは両方ともである; fact19 & fact6 -> int2: その祈りは日本人らしくない; int1 & int2 -> int3: その祈りは棚引くということはないかもしくは笑い始めるかもしくは両方である; int3 & fact20 -> int4: その祈りはホット・セブンだということはない; int4 & fact25 -> int5: 「「その粉石鹸はホット・セブンだということはなくて更に流水下でない」ということは真実だ」ということは嘘だ; int5 & fact5 -> 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. 事実19と事実6から、推論2: "その祈りは日本人らしくない"が導かれる
3. 推論1と推論2から、推論3: "その祈りは棚引くということはないかもしくは笑い始めるかもしくは両方である"が導かれる
4. 推論3と事実20から、推論4: "その祈りはホット・セブンだということはない"が導かれる
5. 推論4と事実25から、推論5: "「「その粉石鹸はホット・セブンだということはなくて更に流水下でない」ということは真実だ」ということは嘘だ"が導かれる
6. 推論5と事実5から、仮説が否定される

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