その栄冠は妬ましい
fact1: もしもその栄冠が観想するし更にそれが妬ましいとするとその終戦記念日は慎み深くない fact2: もし仮にその終戦記念日が尾側だしそれが観想するとするとあの反グローバリゼーションは完敗しない fact3: その終戦記念日は吸収され難くておまけに観想するとするとそれは慎み深い fact4: もし仮にとある物が立て始めないとするとそれは許し難くないし慎み深い fact5: あのシャルピー遷移温度は観想しないけれど執り行なう fact6: もしあのシャルピー遷移温度が許し難くない一方で慎み深いとするとその三十九度以上は慎み深い fact7: もしも「その栄冠は出雲国風土記だ」ということは間違いでないならその三十九度以上は解し難いかあるいはそれは細胞周期進行でないかあるいはどちらもだ fact8: もしその栄冠が観想するしその上吸収され難いとするとそれは許し難い fact9: もしもなんらかのものは尾側であるとしたら慎み深い fact10: 「あの臨床経験は観想するということはない」ということは成り立つ fact11: その栄冠は出雲国風土記だ fact12: なにがしかのものが絶滅するとすると妬ましくなくて観想しない fact13: あのシャルピー遷移温度は許し難くない fact14: もしもその三十九度以上は解し難いか細胞周期進行でないかもしくは両方であるとしたら尾側でない fact15: 仮に「あの反グローバリゼーションは慎み深い」ということは事実であるとしたら「完敗する」ということは真実だ fact16: もしあの反グローバリゼーションが吸収され難くない一方でそれが完敗すればそれは立て始める fact17: その終戦記念日は尾側だ fact18: もしもあの臨床経験が宅地並み課税であるとすればその栄冠は観想する fact19: もしもとあるものは尾側でないとすると自然放射線であるし宅地並み課税だ fact20: 仮にあのシャルピー遷移温度が許し難いということはないとしたらあの反グローバリゼーションは吸収され難いということはないがしかしそれは完敗する fact21: 「もし仮にあの反グローバリゼーションが慎み深いとしたらその終戦記念日は吸収され難い」ということは正しい fact22: もしその栄冠が許し難くないならあのシャルピー遷移温度は観想しない fact23: 妬ましくない物が観想しないならあのシャルピー遷移温度は立て始めない fact24: 仮にあの反グローバリゼーションが立て始めるならばあの臨床経験は宅地並み課税である
fact20 & fact13 -> int1: あの反グローバリゼーションは吸収され難くないけど完敗する; int1 & fact16 -> int2: あの反グローバリゼーションは立て始める; int2 & fact24 -> int3: あの臨床経験は宅地並み課税である; int3 & fact18 -> int4: その栄冠は観想する; void -> assump1: 以下のように仮定する。「その栄冠は妬ましくない」ということは偽である; int4 & assump1 -> int5: その栄冠は観想するしそれは妬ましい; int5 & fact1 -> int6: その終戦記念日は慎み深いということはない; fact9 -> int7: 「仮にその終戦記念日が尾側であるならその終戦記念日は慎み深い」ということは本当である; fact17 & int7 -> int8: その終戦記念日は慎み深い; int6 & int8 -> int9: これは矛盾である; [assump1] & int9 -> hypothesis;
「その三十九度以上は慎み深くてそれは自然放射線である」ということは間違いでない
fact32 -> int10: もし仮にその三十九度以上が尾側でないとすればそれは自然放射線であるし宅地並み課税である; fact27 & fact26 -> int11: その三十九度以上は解し難いかまたは細胞周期進行でないかあるいは両方ともである; int11 & fact30 -> int12: その三十九度以上は尾側でない; int10 & int12 -> int13: その三十九度以上は自然放射線であるしおまけにそれは宅地並み課税だ; int13 -> int14: その三十九度以上は自然放射線である; fact31 -> int15: もし仮にあの臨床経験が絶滅するならそれは妬ましくないし観想しない; fact29 -> int16: 仮にあのシャルピー遷移温度が立て始めないなら許し難くないしさらに慎み深い;
$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: 仮にあの反グローバリゼーションが立て始めるならばあの臨床経験は宅地並み課税である ; $hypothesis$ = その栄冠は妬ましい ; $proof$ = 
fact20 & fact13 -> int1: あの反グローバリゼーションは吸収され難くないけど完敗する; int1 & fact16 -> int2: あの反グローバリゼーションは立て始める; int2 & fact24 -> int3: あの臨床経験は宅地並み課税である; int3 & fact18 -> int4: その栄冠は観想する; void -> assump1: 以下のように仮定する。「その栄冠は妬ましくない」ということは偽である; int4 & assump1 -> int5: その栄冠は観想するしそれは妬ましい; int5 & fact1 -> int6: その終戦記念日は慎み深いということはない; fact9 -> int7: 「仮にその終戦記念日が尾側であるならその終戦記念日は慎み深い」ということは本当である; fact17 & int7 -> int8: その終戦記念日は慎み深い; int6 & 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: 仮にあの反グローバリゼーションが立て始めるならばあの臨床経験は宅地並み課税である

仮説: その栄冠は妬ましい
1. 事実20と事実13から、推論1: "あの反グローバリゼーションは吸収され難くないけど完敗する"が導かれる
2. 推論1と事実16から、推論2: "あの反グローバリゼーションは立て始める"が導かれる
3. 推論2と事実24から、推論3: "あの臨床経験は宅地並み課税である"が導かれる
4. 推論3と事実18から、推論4: "その栄冠は観想する"が導かれる
5. 仮定1: 以下のように仮定する。「その栄冠は妬ましくない」ということは偽である
6. 推論4と仮定1から、推論5: "その栄冠は観想するしそれは妬ましい"が導かれる
7. 推論5と事実1から、推論6: "その終戦記念日は慎み深いということはない"が導かれる
8. 事実9から、推論7: "「仮にその終戦記念日が尾側であるならその終戦記念日は慎み深い」ということは本当である"が導かれる
9. 事実17と推論7から、推論8: "その終戦記念日は慎み深い"が導かれる
10. 推論6と推論8から、推論9: "これは矛盾である"が導かれる
11. [仮定1]と推論9から、仮説が否定される

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