そのＰＡゲット病はおっかない
fact1: 「この県職員は貶まないけどそれは雄々しい」ということは成り立たない fact2: もしこの蝉ハードタイプが許可するとするとそれは貶まないししかもそれは雄々しい fact3: 「この県職員は貶むがしかしそれは雄々しかない」ということは成り立たない fact4: 仮にあの辛みは来難くないなら「この蝉ハードタイプは来難いしおまけに雄々しい」ということは真実だ fact5: 仮にこの蝉ハードタイプが各ブロックであるけど遺留品だということはないとするとそれは拭き込む fact6: 「何かは平滑化するけどそれは作業服でない」ということは成り立たないならば来難くない fact7: 「この蝉ハードタイプは雄々しかないしまた貶むということはない」ということは間違いだ fact8: 「もしこの蝉ハードタイプは雄々しいとしたら「この県職員は貶むがそれは雄々しいということはない」ということは成り立たない」ということは成り立つ fact9: 来難いものが雄々しいとしたら作業服でない fact10: もしこの蝉ハードタイプは雄々しいなら「この県職員は貶まなくてそれにそれは雄々しかない」ということは成り立たない fact11: あの辛みは作業服である fact12: 仮にあるものは拭き込むなら「それは許可する」ということは成り立つ fact13: 仮に「この蝉ハードタイプは平滑化しないしそれに作業服でない」ということは事実でないならあの辛みは来難くない fact14: もし仮にあの辛みは雄々しいならば「この県職員は来難いということはないし更に雄々しかない」ということは嘘だ fact15: もしこの県職員が水臭くないとすればこの蝉ハードタイプは各ブロックでおまけに遺留品でない fact16: 仮に何らかの物は平滑化するとすれば「それは作業服だが登校しない」ということは成り立つということはない fact17: もし仮にあの辛みがおっかなくないならその方略は平滑化するし来難い fact18: 仮に「「この県職員は貶まないしそれは雄々しかない」ということは本当である」ということは間違いであるならばあのＰＡゲット病はおっかなくない fact19: もしあの辛みが平滑化しないなら来難くない
void -> assump1: 以下のように仮定する。あの辛みは平滑化するがそれは作業服でない; assump1 -> int1: あの辛みは作業服でない; int1 & fact11 -> int2: これは矛盾である; [assump1] & int2 -> int3: 「あの辛みは平滑化するがしかし作業服でない」ということは真実でない; fact6 -> int4: 仮に「あの辛みは平滑化する一方で作業服でない」ということは成り立たないとすると来難くない; int3 & int4 -> int5: あの辛みは来難くない; int5 & fact4 -> int6: この蝉ハードタイプは来難くてさらに雄々しい; int6 -> int7: この蝉ハードタイプは雄々しい; int7 & fact10 -> int8: 「この県職員は貶まないしおまけに雄々しかない」ということは偽である; int8 & fact18 -> hypothesis;
「その方略は作業服だ一方で登校しない」ということは間違っている
fact20 -> int9: もしもその方略は平滑化するとすれば「それは作業服であるし登校しない」ということは偽だ; fact23 -> int10: この蝉ハードタイプが拭き込むなら許可する;
$facts$ = fact1: 「この県職員は貶まないけどそれは雄々しい」ということは成り立たない fact2: もしこの蝉ハードタイプが許可するとするとそれは貶まないししかもそれは雄々しい fact3: 「この県職員は貶むがしかしそれは雄々しかない」ということは成り立たない fact4: 仮にあの辛みは来難くないなら「この蝉ハードタイプは来難いしおまけに雄々しい」ということは真実だ fact5: 仮にこの蝉ハードタイプが各ブロックであるけど遺留品だということはないとするとそれは拭き込む fact6: 「何かは平滑化するけどそれは作業服でない」ということは成り立たないならば来難くない fact7: 「この蝉ハードタイプは雄々しかないしまた貶むということはない」ということは間違いだ fact8: 「もしこの蝉ハードタイプは雄々しいとしたら「この県職員は貶むがそれは雄々しいということはない」ということは成り立たない」ということは成り立つ fact9: 来難いものが雄々しいとしたら作業服でない fact10: もしこの蝉ハードタイプは雄々しいなら「この県職員は貶まなくてそれにそれは雄々しかない」ということは成り立たない fact11: あの辛みは作業服である fact12: 仮にあるものは拭き込むなら「それは許可する」ということは成り立つ fact13: 仮に「この蝉ハードタイプは平滑化しないしそれに作業服でない」ということは事実でないならあの辛みは来難くない fact14: もし仮にあの辛みは雄々しいならば「この県職員は来難いということはないし更に雄々しかない」ということは嘘だ fact15: もしこの県職員が水臭くないとすればこの蝉ハードタイプは各ブロックでおまけに遺留品でない fact16: 仮に何らかの物は平滑化するとすれば「それは作業服だが登校しない」ということは成り立つということはない fact17: もし仮にあの辛みがおっかなくないならその方略は平滑化するし来難い fact18: 仮に「「この県職員は貶まないしそれは雄々しかない」ということは本当である」ということは間違いであるならばあのＰＡゲット病はおっかなくない fact19: もしあの辛みが平滑化しないなら来難くない ; $hypothesis$ = そのＰＡゲット病はおっかない ; $proof$ = 
void -> assump1: 以下のように仮定する。あの辛みは平滑化するがそれは作業服でない; assump1 -> int1: あの辛みは作業服でない; int1 & fact11 -> int2: これは矛盾である; [assump1] & int2 -> int3: 「あの辛みは平滑化するがしかし作業服でない」ということは真実でない; fact6 -> int4: 仮に「あの辛みは平滑化する一方で作業服でない」ということは成り立たないとすると来難くない; int3 & int4 -> int5: あの辛みは来難くない; int5 & fact4 -> int6: この蝉ハードタイプは来難くてさらに雄々しい; int6 -> int7: この蝉ハードタイプは雄々しい; int7 & fact10 -> int8: 「この県職員は貶まないしおまけに雄々しかない」ということは偽である; int8 & fact18 -> hypothesis; __DISPROVED__
事実1: 「この県職員は貶まないけどそれは雄々しい」ということは成り立たない
事実2: もしこの蝉ハードタイプが許可するとするとそれは貶まないししかもそれは雄々しい
事実3: 「この県職員は貶むがしかしそれは雄々しかない」ということは成り立たない
事実4: 仮にあの辛みは来難くないなら「この蝉ハードタイプは来難いしおまけに雄々しい」ということは真実だ
事実5: 仮にこの蝉ハードタイプが各ブロックであるけど遺留品だということはないとするとそれは拭き込む
事実6: 「何かは平滑化するけどそれは作業服でない」ということは成り立たないならば来難くない
事実7: 「この蝉ハードタイプは雄々しかないしまた貶むということはない」ということは間違いだ
事実8: 「もしこの蝉ハードタイプは雄々しいとしたら「この県職員は貶むがそれは雄々しいということはない」ということは成り立たない」ということは成り立つ
事実9: 来難いものが雄々しいとしたら作業服でない
事実10: もしこの蝉ハードタイプは雄々しいなら「この県職員は貶まなくてそれにそれは雄々しかない」ということは成り立たない
事実11: あの辛みは作業服である
事実12: 仮にあるものは拭き込むなら「それは許可する」ということは成り立つ
事実13: 仮に「この蝉ハードタイプは平滑化しないしそれに作業服でない」ということは事実でないならあの辛みは来難くない
事実14: もし仮にあの辛みは雄々しいならば「この県職員は来難いということはないし更に雄々しかない」ということは嘘だ
事実15: もしこの県職員が水臭くないとすればこの蝉ハードタイプは各ブロックでおまけに遺留品でない
事実16: 仮に何らかの物は平滑化するとすれば「それは作業服だが登校しない」ということは成り立つということはない
事実17: もし仮にあの辛みがおっかなくないならその方略は平滑化するし来難い
事実18: 仮に「「この県職員は貶まないしそれは雄々しかない」ということは本当である」ということは間違いであるならばあのＰＡゲット病はおっかなくない
事実19: もしあの辛みが平滑化しないなら来難くない

仮説: そのＰＡゲット病はおっかない
1. 仮定1: 以下のように仮定する。あの辛みは平滑化するがそれは作業服でない
2. 仮定1から、推論1: "あの辛みは作業服でない"が導かれる
3. 推論1と事実11から、推論2: "これは矛盾である"が導かれる
4. [仮定1]と推論2から、推論3: "「あの辛みは平滑化するがしかし作業服でない」ということは真実でない"が導かれる
5. 事実6から、推論4: "仮に「あの辛みは平滑化する一方で作業服でない」ということは成り立たないとすると来難くない"が導かれる
6. 推論3と推論4から、推論5: "あの辛みは来難くない"が導かれる
7. 推論5と事実4から、推論6: "この蝉ハードタイプは来難くてさらに雄々しい"が導かれる
8. 推論6から、推論7: "この蝉ハードタイプは雄々しい"が導かれる
9. 推論7と事実10から、推論8: "「この県職員は貶まないしおまけに雄々しかない」ということは偽である"が導かれる
10. 推論8と事実18から、仮説が否定される

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