「「「期し難くないしそれに吸えない」ということは嘘な」ものはある」ということは偽である
fact1: 仮にその天袋は負うとすれば「期し難いししかも吸えない」ということは事実と異なる fact2: 「書架は体重であるかもしくは上がり難くない」ということは間違いであるということはない fact3: もしあの吊り尾根が契約当事者でないけど知らせ合うとすればあの財産取得編は知らせ合わない fact4: 何らかの物は期し難くないし吸えない fact5: その披露パーティは負う fact6: もしもなにがしかの物はきもいならば「それは伸び伸びしないし比肩しない」ということは偽である fact7: その天袋は負う fact8: そのイーグルスは核兵器開発であるしそれにそれは書架だ fact9: もしその天袋は入り辛いとすれば「負わないし更にそれは冷たい」ということは偽だ fact10: ある物は負うとすると「それは期し難くてそれは吸えない」ということは間違っている fact11: もしそのイーグルスが体重ならばあの吊り尾根は上がり難くない fact12: その天袋は下す fact13: もし仮にそのイーグルスが上がり難くないとしたらあの吊り尾根は上がり難くない fact14: 仮にウインドーズ画像が悪しないとしたら負わない fact15: もし仮になにかは負うとしたら「期し難くないしそれに吸えない」ということは成り立たない fact16: 仮にとあるものが上がり難くないなら契約当事者でなくておまけに知らせ合う fact17: 仮に何らかのものは振り返りプロトコールであるとすると「それは攻撃しないけれど初っ端だ」ということは誤っている fact18: 「その天袋は期し難くないがしかし吸える」ということは成り立つということはない fact19: もし「知らせ合わない」物があるならあのパワーユーザーはウインドーズ画像だ一方で悪しない fact20: 「「悟れないしおまけに異方導電性でない」ということは嘘である」物はある
fact15 -> int1: その天袋は負うとすると「それは期し難くないし吸えるということはない」ということは事実と異なる; int1 & fact7 -> int2: 「その天袋は期し難くないしそれに吸えない」ということは間違いだ; int2 -> hypothesis;
「そのメタプログラムは期し難くないし軽蔑しない」ということは間違いだ
fact23 -> int3: もし仮にあのパワーユーザーがウインドーズ画像だけど悪しないとしたら負うということはない; fact28 -> int4: もし仮にあの吊り尾根が上がり難いということはないとするとそれは契約当事者でなくてしかも知らせ合う; fact27 -> int5: そのイーグルスは書架ならば「それは体重であるかまたは上がり難くないかあるいはどちらもだ」ということは真実だ; fact24 -> int6: そのイーグルスは書架である; int5 & int6 -> int7: そのイーグルスは体重であるかもしくはそれは上がり難くないかどちらもだ; int7 & fact26 & fact21 -> int8: あの吊り尾根は上がり難くない; int4 & int8 -> int9: あの吊り尾根は契約当事者でないけれど知らせ合う; fact22 & int9 -> int10: あの財産取得編は知らせ合わない; int10 -> int11: 「知らせ合わない」ものはある; int11 & fact25 -> int12: あのパワーユーザーはウインドーズ画像であるがしかし悪しということはない; int3 & int12 -> int13: あのパワーユーザーは負わない; int13 -> int14: 「負わない」物はある;
$facts$ = fact1: 仮にその天袋は負うとすれば「期し難いししかも吸えない」ということは事実と異なる fact2: 「書架は体重であるかもしくは上がり難くない」ということは間違いであるということはない fact3: もしあの吊り尾根が契約当事者でないけど知らせ合うとすればあの財産取得編は知らせ合わない fact4: 何らかの物は期し難くないし吸えない fact5: その披露パーティは負う fact6: もしもなにがしかの物はきもいならば「それは伸び伸びしないし比肩しない」ということは偽である fact7: その天袋は負う fact8: そのイーグルスは核兵器開発であるしそれにそれは書架だ fact9: もしその天袋は入り辛いとすれば「負わないし更にそれは冷たい」ということは偽だ fact10: ある物は負うとすると「それは期し難くてそれは吸えない」ということは間違っている fact11: もしそのイーグルスが体重ならばあの吊り尾根は上がり難くない fact12: その天袋は下す fact13: もし仮にそのイーグルスが上がり難くないとしたらあの吊り尾根は上がり難くない fact14: 仮にウインドーズ画像が悪しないとしたら負わない fact15: もし仮になにかは負うとしたら「期し難くないしそれに吸えない」ということは成り立たない fact16: 仮にとあるものが上がり難くないなら契約当事者でなくておまけに知らせ合う fact17: 仮に何らかのものは振り返りプロトコールであるとすると「それは攻撃しないけれど初っ端だ」ということは誤っている fact18: 「その天袋は期し難くないがしかし吸える」ということは成り立つということはない fact19: もし「知らせ合わない」物があるならあのパワーユーザーはウインドーズ画像だ一方で悪しない fact20: 「「悟れないしおまけに異方導電性でない」ということは嘘である」物はある ; $hypothesis$ = 「「「期し難くないしそれに吸えない」ということは嘘な」ものはある」ということは偽である ; $proof$ = 
fact15 -> int1: その天袋は負うとすると「それは期し難くないし吸えるということはない」ということは事実と異なる; int1 & fact7 -> int2: 「その天袋は期し難くないしそれに吸えない」ということは間違いだ; int2 -> hypothesis; __DISPROVED__
事実1: 仮にその天袋は負うとすれば「期し難いししかも吸えない」ということは事実と異なる
事実2: 「書架は体重であるかもしくは上がり難くない」ということは間違いであるということはない
事実3: もしあの吊り尾根が契約当事者でないけど知らせ合うとすればあの財産取得編は知らせ合わない
事実4: 何らかの物は期し難くないし吸えない
事実5: その披露パーティは負う
事実6: もしもなにがしかの物はきもいならば「それは伸び伸びしないし比肩しない」ということは偽である
事実7: その天袋は負う
事実8: そのイーグルスは核兵器開発であるしそれにそれは書架だ
事実9: もしその天袋は入り辛いとすれば「負わないし更にそれは冷たい」ということは偽だ
事実10: ある物は負うとすると「それは期し難くてそれは吸えない」ということは間違っている
事実11: もしそのイーグルスが体重ならばあの吊り尾根は上がり難くない
事実12: その天袋は下す
事実13: もし仮にそのイーグルスが上がり難くないとしたらあの吊り尾根は上がり難くない
事実14: 仮にウインドーズ画像が悪しないとしたら負わない
事実15: もし仮になにかは負うとしたら「期し難くないしそれに吸えない」ということは成り立たない
事実16: 仮にとあるものが上がり難くないなら契約当事者でなくておまけに知らせ合う
事実17: 仮に何らかのものは振り返りプロトコールであるとすると「それは攻撃しないけれど初っ端だ」ということは誤っている
事実18: 「その天袋は期し難くないがしかし吸える」ということは成り立つということはない
事実19: もし「知らせ合わない」物があるならあのパワーユーザーはウインドーズ画像だ一方で悪しない
事実20: 「「悟れないしおまけに異方導電性でない」ということは嘘である」物はある

仮説: 「「「期し難くないしそれに吸えない」ということは嘘な」ものはある」ということは偽である
1. 事実15から、推論1: "その天袋は負うとすると「それは期し難くないし吸えるということはない」ということは事実と異なる"が導かれる
2. 推論1と事実7から、推論2: "「その天袋は期し難くないしそれに吸えない」ということは間違いだ"が導かれる
3. 推論2から、仮説が否定される

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