あの一本釣りは重苦しい
fact1: もし仮に何かは口付けるならそれは独り言する fact2: もし仮に「梅干し白湯である」ものがあるとしたらその大ドイツ主義は笙であるしその上それは考え為さる fact3: その体面は妬ましい fact4: 仮に「何かは理解し難いがしかしそれは馬鹿らしくない」ということは成り立たないとしたらそれは灯し難い fact5: 「その体面は馬鹿らしい」ということは正しい fact6: その慎重さは吸収され易くないし階層制だということはない fact7: もしもその体面が理解し難いし更に馬鹿らしいとするとあの一本釣りは重苦しくない fact8: 仮に吸収され易くないものが階層制でないとしたらその大ドイツ主義はリース方式である fact9: もし仮にその大ドイツ主義は笙でかつリース方式であるなら耐え難いということはない fact10: 仮に「「引退試合するし妬ましい」ということは誤りである」ものがあるとするとその体面は理解し難い fact11: その大ドイツ主義は口付けるしかつ安い fact12: 仮にこの電気双極子モーメントは馬鹿らしいなら「このピザ生地は理解し難くないしそれは重苦しくない」ということは真実でない fact13: 「梅干し白湯な」物はある fact14: あの投資プロジェクトは耐え難いし更に重苦しい fact15: もしもその体面が重苦しいとするとあの一本釣りは重苦しい fact16: 「「引退試合するし妬ましい」ということは成り立たない」ものはある fact17: もしもあるものが独り言する一方で耐え難くないならばあの電気双極子モーメントは馬鹿らしい
fact16 & fact10 -> int1: その体面は理解し難い; int1 & fact5 -> int2: その体面は理解し難いしさらに馬鹿らしい; int2 & fact7 -> hypothesis;
fact16 & fact10 -> int1: {A}{a}; int1 & fact5 -> int2: ({A}{a} & {B}{a}); int2 & fact7 -> hypothesis;
あの投資プロジェクトは重苦しくてかつ灯し難い
fact19 -> int3: 「あの投資プロジェクトは重苦しい」ということは真実である; fact18 -> int4: 仮に「「あの投資プロジェクトは理解し難い一方で馬鹿らしいということはない」ということは事実と異ならない」ということは嘘であるならそれは灯し難い;
$facts$ = fact1: もし仮に何かは口付けるならそれは独り言する fact2: もし仮に「梅干し白湯である」ものがあるとしたらその大ドイツ主義は笙であるしその上それは考え為さる fact3: その体面は妬ましい fact4: 仮に「何かは理解し難いがしかしそれは馬鹿らしくない」ということは成り立たないとしたらそれは灯し難い fact5: 「その体面は馬鹿らしい」ということは正しい fact6: その慎重さは吸収され易くないし階層制だということはない fact7: もしもその体面が理解し難いし更に馬鹿らしいとするとあの一本釣りは重苦しくない fact8: 仮に吸収され易くないものが階層制でないとしたらその大ドイツ主義はリース方式である fact9: もし仮にその大ドイツ主義は笙でかつリース方式であるなら耐え難いということはない fact10: 仮に「「引退試合するし妬ましい」ということは誤りである」ものがあるとするとその体面は理解し難い fact11: その大ドイツ主義は口付けるしかつ安い fact12: 仮にこの電気双極子モーメントは馬鹿らしいなら「このピザ生地は理解し難くないしそれは重苦しくない」ということは真実でない fact13: 「梅干し白湯な」物はある fact14: あの投資プロジェクトは耐え難いし更に重苦しい fact15: もしもその体面が重苦しいとするとあの一本釣りは重苦しい fact16: 「「引退試合するし妬ましい」ということは成り立たない」ものはある fact17: もしもあるものが独り言する一方で耐え難くないならばあの電気双極子モーメントは馬鹿らしい ; $hypothesis$ = あの一本釣りは重苦しい ; $proof$ = 
fact16 & fact10 -> int1: その体面は理解し難い; int1 & fact5 -> int2: その体面は理解し難いしさらに馬鹿らしい; int2 & fact7 -> hypothesis; __DISPROVED__
事実1: もし仮に何かは口付けるならそれは独り言する
事実2: もし仮に「梅干し白湯である」ものがあるとしたらその大ドイツ主義は笙であるしその上それは考え為さる
事実3: その体面は妬ましい
事実4: 仮に「何かは理解し難いがしかしそれは馬鹿らしくない」ということは成り立たないとしたらそれは灯し難い
事実5: 「その体面は馬鹿らしい」ということは正しい
事実6: その慎重さは吸収され易くないし階層制だということはない
事実7: もしもその体面が理解し難いし更に馬鹿らしいとするとあの一本釣りは重苦しくない
事実8: 仮に吸収され易くないものが階層制でないとしたらその大ドイツ主義はリース方式である
事実9: もし仮にその大ドイツ主義は笙でかつリース方式であるなら耐え難いということはない
事実10: 仮に「「引退試合するし妬ましい」ということは誤りである」ものがあるとするとその体面は理解し難い
事実11: その大ドイツ主義は口付けるしかつ安い
事実12: 仮にこの電気双極子モーメントは馬鹿らしいなら「このピザ生地は理解し難くないしそれは重苦しくない」ということは真実でない
事実13: 「梅干し白湯な」物はある
事実14: あの投資プロジェクトは耐え難いし更に重苦しい
事実15: もしもその体面が重苦しいとするとあの一本釣りは重苦しい
事実16: 「「引退試合するし妬ましい」ということは成り立たない」ものはある
事実17: もしもあるものが独り言する一方で耐え難くないならばあの電気双極子モーメントは馬鹿らしい

仮説: あの一本釣りは重苦しい
1. 事実16と事実10から、推論1: "その体面は理解し難い"が導かれる
2. 推論1と事実5から、推論2: "その体面は理解し難いしさらに馬鹿らしい"が導かれる
3. 推論2と事実7から、仮説が否定される

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