あの微小面積は阿呆らしい
fact1: もし仮にあの詩的修辞が消費者物価でなくてそれが阿呆らしくないならばあの微小面積は阿呆らしくない fact2: あるものが眇めるとしたら消費者物価でないがしかし意識し始める fact3: このオーソリティズは消費者物価であるかあるいは意識し始める fact4: このオーソリティズは意識し始めれば「あの詩的修辞は苦しい」ということは成り立つ fact5: もしもあの二パーセント亜硫酸ナトリウムが研ぎ澄まさないしそれが自分らしくないとするとこのオーソリティズは自分らしくない fact6: もし仮に「働き難くなくて出易くない」ものはあれば「あの詩的修辞は苦しいということはない」ということは正しい fact7: あの微小面積が阿呆らしいということはないとするとそれは働き難いということはなくておまけに出易くない fact8: 「もしもあの詩的修辞が紹介致すとしたらあの微小面積はおっそろしということはなくて加えて臭くない」ということは事実だ fact9: 阿呆らしくないものは人らしいか喋り過ぎるか両方である fact10: 出易くないものはある fact11: もしもこのオーソリティズが消費者物価ならあの詩的修辞は苦しい fact12: あの二パーセント亜硫酸ナトリウムは研ぎ澄まさなくて更にそれは自分らしいということはない fact13: もし何らかのものがおっそろしないしそれが臭くないとすればあのスープ麺は眇める fact14: もしもとあるものは消費者物価でないならそれは阿呆らしくない一方で苦しい fact15: 仮にこのオーソリティズが自分らしくないならばあの詩的修辞は紹介致すし加えて位置付く
void -> assump1: 以下のように仮定する。あの微小面積は阿呆らしくない; fact7 & assump1 -> int1: あの微小面積は働き難いということはなくて出易くない; int1 -> int2: なにがしかの物は働き難くないし出易くない; int2 & fact6 -> int3: あの詩的修辞は苦しくない; fact11 & fact3 & fact4 -> int4: あの詩的修辞は苦しい; int3 & int4 -> int5: これは矛盾である; [assump1] & int5 -> hypothesis;
このスープ麺は人らしいかもしくはそれは喋り過ぎるかあるいは両方ともだ
fact22 -> int6: もしこのスープ麺が阿呆らしくないとすれば人らしいかあるいは喋り過ぎる; fact16 -> int7: もし仮にこのスープ麺が消費者物価でないとすればそれが阿呆らしいということはないしその上苦しい; fact19 -> int8: このスープ麺が眇めればそれは消費者物価でない一方で意識し始める; fact18 & fact20 -> int9: このオーソリティズは自分らしくない; fact17 & int9 -> int10: あの詩的修辞は紹介致すし位置付く; int10 -> int11: あの詩的修辞は紹介致す; fact21 & int11 -> int12: あの微小面積はおっそろしないしおまけにそれは臭いということはない; int12 -> int13: 「おっそろしないし更に臭くない」ものはある; int13 & fact23 -> int14: 「このスープ麺は眇める」ということは成り立つ; int8 & int14 -> int15: このスープ麺は消費者物価でないがそれは意識し始める; int15 -> int16: このスープ麺は消費者物価でない; int7 & int16 -> int17: このスープ麺は阿呆らしいということはない一方で苦しい; int17 -> int18: 「このスープ麺は阿呆らしくない」ということは事実である; int6 & int18 -> hypothesis;
$facts$ = fact1: もし仮にあの詩的修辞が消費者物価でなくてそれが阿呆らしくないならばあの微小面積は阿呆らしくない fact2: あるものが眇めるとしたら消費者物価でないがしかし意識し始める fact3: このオーソリティズは消費者物価であるかあるいは意識し始める fact4: このオーソリティズは意識し始めれば「あの詩的修辞は苦しい」ということは成り立つ fact5: もしもあの二パーセント亜硫酸ナトリウムが研ぎ澄まさないしそれが自分らしくないとするとこのオーソリティズは自分らしくない fact6: もし仮に「働き難くなくて出易くない」ものはあれば「あの詩的修辞は苦しいということはない」ということは正しい fact7: あの微小面積が阿呆らしいということはないとするとそれは働き難いということはなくておまけに出易くない fact8: 「もしもあの詩的修辞が紹介致すとしたらあの微小面積はおっそろしということはなくて加えて臭くない」ということは事実だ fact9: 阿呆らしくないものは人らしいか喋り過ぎるか両方である fact10: 出易くないものはある fact11: もしもこのオーソリティズが消費者物価ならあの詩的修辞は苦しい fact12: あの二パーセント亜硫酸ナトリウムは研ぎ澄まさなくて更にそれは自分らしいということはない fact13: もし何らかのものがおっそろしないしそれが臭くないとすればあのスープ麺は眇める fact14: もしもとあるものは消費者物価でないならそれは阿呆らしくない一方で苦しい fact15: 仮にこのオーソリティズが自分らしくないならばあの詩的修辞は紹介致すし加えて位置付く ; $hypothesis$ = あの微小面積は阿呆らしい ; $proof$ = 
void -> assump1: 以下のように仮定する。あの微小面積は阿呆らしくない; fact7 & assump1 -> int1: あの微小面積は働き難いということはなくて出易くない; int1 -> int2: なにがしかの物は働き難くないし出易くない; int2 & fact6 -> int3: あの詩的修辞は苦しくない; fact11 & fact3 & fact4 -> int4: あの詩的修辞は苦しい; int3 & int4 -> int5: これは矛盾である; [assump1] & int5 -> hypothesis; __PROVED__
事実1: もし仮にあの詩的修辞が消費者物価でなくてそれが阿呆らしくないならばあの微小面積は阿呆らしくない
事実2: あるものが眇めるとしたら消費者物価でないがしかし意識し始める
事実3: このオーソリティズは消費者物価であるかあるいは意識し始める
事実4: このオーソリティズは意識し始めれば「あの詩的修辞は苦しい」ということは成り立つ
事実5: もしもあの二パーセント亜硫酸ナトリウムが研ぎ澄まさないしそれが自分らしくないとするとこのオーソリティズは自分らしくない
事実6: もし仮に「働き難くなくて出易くない」ものはあれば「あの詩的修辞は苦しいということはない」ということは正しい
事実7: あの微小面積が阿呆らしいということはないとするとそれは働き難いということはなくておまけに出易くない
事実8: 「もしもあの詩的修辞が紹介致すとしたらあの微小面積はおっそろしということはなくて加えて臭くない」ということは事実だ
事実9: 阿呆らしくないものは人らしいか喋り過ぎるか両方である
事実10: 出易くないものはある
事実11: もしもこのオーソリティズが消費者物価ならあの詩的修辞は苦しい
事実12: あの二パーセント亜硫酸ナトリウムは研ぎ澄まさなくて更にそれは自分らしいということはない
事実13: もし何らかのものがおっそろしないしそれが臭くないとすればあのスープ麺は眇める
事実14: もしもとあるものは消費者物価でないならそれは阿呆らしくない一方で苦しい
事実15: 仮にこのオーソリティズが自分らしくないならばあの詩的修辞は紹介致すし加えて位置付く

仮説: あの微小面積は阿呆らしい
1. 仮定1: 以下のように仮定する。あの微小面積は阿呆らしくない
2. 事実7と仮定1から、推論1: "あの微小面積は働き難いということはなくて出易くない"が導かれる
3. 推論1から、推論2: "なにがしかの物は働き難くないし出易くない"が導かれる
4. 推論2と事実6から、推論3: "あの詩的修辞は苦しくない"が導かれる
5. 事実11と事実3と事実4から、推論4: "あの詩的修辞は苦しい"が導かれる
6. 推論3と推論4から、推論5: "これは矛盾である"が導かれる
7. [仮定1]と推論5から、仮説が導かれる

よって、仮説が証明されました。