「あの新規作成は嘘っぽくて偏り易い」ということは偽である
fact1: 仮になんらかのものは滴下するということはないとしたら「しかつめらしいし洗浄する」ということは嘘である fact2: あの新規作成が幅広いなら偏り易い fact3: 「酷使する一方で滴下しない」物はある fact4: 仮にこの真言が捻り潰すとしたらその平静呼吸下は不安がるということはない fact5: 「なんらかのものは不安がらない一方でそれは捻り潰す」ということは誤っていればそれは捻り潰さない fact6: もしこの真言はしかつめらしくないとしたら「「あの埃は酷使するし加えて滴下する」ということは正しい」ということは成り立たない fact7: あの新規作成は幅広い fact8: あらゆるものは滴下するということはない fact9: 「「酷使するし滴下する」ということは間違っている」ものはある fact10: その食品安全委員会は洗浄する fact11: この真言はしかつめらしくないとすれば「あの埃は酷使する一方でそれは滴下しない」ということは誤りである fact12: この真言は偏り易くない fact13: もし「滴下する」物があればあの新規作成は嘘っぽい fact14: あの新規作成は酷使する fact15: 「その食品安全委員会はしかつめらしいし洗浄する」ということは成り立たないとしたらその平静呼吸下はしかつめらしくない fact16: もしその食品安全委員会が洗浄するとしたら不安がる fact17: 「その平静呼吸下は偏り易いが不安がらない」ということは成り立たない fact18: その食品安全委員会は触診するしまた割れ易い fact19: もし仮に「その平静呼吸下はしかつめらしくない」ということは本当であるとしたら「それは不安がらないがしかし捻り潰す」ということは成り立たない fact20: もし仮にその平静呼吸下が不安がらないならばその食品安全委員会は洗浄しない fact21: もしもこの真言が捻り潰すかしかつめらしいかあるいは両方だとするとその平静呼吸下は不安がるということはない fact22: 「あの埃は酷使するし更にそれは滴下する」ということは偽である fact23: その雑誌は洗浄する fact24: 「「酷使するししかも滴下しない」ということは成り立たない」物があるならあの新規作成は嘘っぽい
void -> assump1: 以下のように仮定する。この真言はしかつめらしい; assump1 -> int1: この真言は捻り潰すかしかつめらしいかまたはどちらもである; int1 & fact21 -> int2: その平静呼吸下は不安がらない; int2 & fact20 -> int3: その食品安全委員会は洗浄しない; int3 & fact10 -> int4: これは矛盾である; [assump1] & int4 -> int5: この真言はしかつめらしくない; int5 & fact11 -> int6: 「あの埃は酷使するけれど滴下しない」ということは誤りである; int6 -> int7: 「「酷使するし滴下しない」ということは成り立たない」ものはある; int7 & fact24 -> int8: 「あの新規作成は嘘っぽい」ということは確かだ; fact7 & fact2 -> int9: あの新規作成は偏り易い; int8 & int9 -> hypothesis;
「あの新規作成は嘘っぽくて偏り易い」ということは事実だということはない
fact26 -> int10: あの埃は滴下しないとすれば「それはしかつめらしいしさらに洗浄する」ということは正しくない; fact25 -> int11: あの埃は滴下しない; int10 & int11 -> int12: 「あの埃はしかつめらしいしまた洗浄する」ということは誤りだ; int12 -> int13: それはしかつめらしいしおまけに洗浄するというものはない; int13 -> int14: 「その食品安全委員会はしかつめらしくてさらに洗浄する」ということは成り立たない; int14 & fact28 -> int15: その平静呼吸下はしかつめらしいということはない; int15 & fact29 -> int16: 「その平静呼吸下は不安がらないがしかし捻り潰す」ということは成り立たない; fact27 -> int17: もし「その平静呼吸下は不安がらないが捻り潰す」ということは成り立つということはないならば捻り潰さない; int16 & int17 -> int18: その平静呼吸下は捻り潰さない; int18 -> int19: 何らかのものは捻り潰さない;
$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$ = 
void -> assump1: 以下のように仮定する。この真言はしかつめらしい; assump1 -> int1: この真言は捻り潰すかしかつめらしいかまたはどちらもである; int1 & fact21 -> int2: その平静呼吸下は不安がらない; int2 & fact20 -> int3: その食品安全委員会は洗浄しない; int3 & fact10 -> int4: これは矛盾である; [assump1] & int4 -> int5: この真言はしかつめらしくない; int5 & fact11 -> int6: 「あの埃は酷使するけれど滴下しない」ということは誤りである; int6 -> int7: 「「酷使するし滴下しない」ということは成り立たない」ものはある; int7 & fact24 -> int8: 「あの新規作成は嘘っぽい」ということは確かだ; fact7 & fact2 -> int9: あの新規作成は偏り易い; int8 & 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. 仮定1: 以下のように仮定する。この真言はしかつめらしい
2. 仮定1から、推論1: "この真言は捻り潰すかしかつめらしいかまたはどちらもである"が導かれる
3. 推論1と事実21から、推論2: "その平静呼吸下は不安がらない"が導かれる
4. 推論2と事実20から、推論3: "その食品安全委員会は洗浄しない"が導かれる
5. 推論3と事実10から、推論4: "これは矛盾である"が導かれる
6. [仮定1]と推論4から、推論5: "この真言はしかつめらしくない"が導かれる
7. 推論5と事実11から、推論6: "「あの埃は酷使するけれど滴下しない」ということは誤りである"が導かれる
8. 推論6から、推論7: "「「酷使するし滴下しない」ということは成り立たない」ものはある"が導かれる
9. 推論7と事実24から、推論8: "「あの新規作成は嘘っぽい」ということは確かだ"が導かれる
10. 事実7と事実2から、推論9: "あの新規作成は偏り易い"が導かれる
11. 推論8と推論9から、仮説が否定される

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