あの音楽プロモーターは深しない
fact1: 活動し難くないものは間近いかじいんとするかあるいは両方ともだ fact2: とある物が軽いかあるいは習いでないかあるいは両方ともだとしたら「それは深しない」ということは偽でない fact3: 「この自然生命は結露しない一方で豪気である」ということは事実と異なる fact4: もしとあるものが習いであるということはないかまたは軽くないかあるいは両方ともならば深し fact5: もしもあるものは習いでないなら深しない fact6: あの音楽プロモーターが習いだということはないとすればそれは深しということはない fact7: もしも何かは叩き落とすけどそれが完全失業者でないとすれば活動し難くない fact8: 仮になにがしかのものが寄生しないとすれば習いでないかあるいはそれは軽くない fact9: もし仮にそのシャフトが間近いならばあの焼き込みカラーは間近い fact10: もしそのシャフトがじいんとするとすればあの焼き込みカラーは間近い fact11: そのシャフトは見学する fact12: もし仮にとあるものが豪気でないならそれは薄暗くておまけにそれはごっつい fact13: もし「この自然生命は結露しないけれど豪気である」ということは間違いであるならばあの第二‐二表サービス番号は豪気だということはない fact14: あの音楽プロモーターは軽いかあるいはそれは習いであるか両方だ fact15: 仮にあの音楽プロモーターが適用要件でないかそれは底深くないかどちらもだとしたらそれは軽い fact16: あの音楽プロモーターは適用要件でないかあるいは底深いかまたはどちらもである fact17: あの音楽プロモーターは適用要件であるということはないかまたはそれは底深いということはない fact18: もし仮にこのヘルパーＴ細胞が薄暗いとしたらあの焼き込みカラーは捕らえ難くないけどそれは生み難い fact19: もしあの音楽プロモーターが底深くないとすればそれは軽い fact20: もしあの第二‐二表サービス番号が豪気だということはないとしたらこのヘルパーＴ細胞は豪気でない fact21: なにがしかのものが見学すれば叩き落とすしかつそれは完全失業者でない
fact15 & fact17 -> int1: あの音楽プロモーターは軽い; int1 -> int2: あの音楽プロモーターは軽いかそれは習いでないかまたはどちらもである; fact2 -> int3: もしあの音楽プロモーターが軽いかもしくはそれは習いでないならば深しない; int2 & int3 -> hypothesis;
fact15 & fact17 -> int1: {B}{a}; int1 -> int2: ({B}{a} v ¬{A}{a}); fact2 -> int3: ({B}{a} v ¬{A}{a}) -> ¬{C}{a}; int2 & int3 -> hypothesis;
あの音楽プロモーターは深し
fact33 -> int4: あの音楽プロモーターが習いでないかまたは軽くないとするとそれは深し; fact32 -> int5: もし仮にあの音楽プロモーターが寄生しないなら習いでないかもしくはそれは軽くないかあるいは両方ともだ; fact27 -> int6: 仮にこのヘルパーＴ細胞が豪気でないとすればそれは薄暗いしさらにごっつい; fact22 & fact24 -> int7: あの第二‐二表サービス番号は豪気でない; fact25 & int7 -> int8: このヘルパーＴ細胞は豪気でない; int6 & int8 -> int9: このヘルパーＴ細胞は薄暗くてごっつい; int9 -> int10: このヘルパーＴ細胞は薄暗い; fact23 & int10 -> int11: あの焼き込みカラーは捕らえ難くない一方で生み難い; int11 -> int12: あの焼き込みカラーは捕らえ難くない; fact31 -> int13: 仮にそのシャフトが活動し難くないとするとそれは間近いかもしくはじいんとするかあるいはどちらもだ; fact28 -> int14: 仮に「そのシャフトは叩き落とすけれどそれは完全失業者でない」ということは成り立てば活動し難いということはない; fact30 -> int15: もしそのシャフトが見学すればそれは叩き落とすけど完全失業者でない; int15 & fact29 -> int16: そのシャフトは叩き落とすけどそれは完全失業者でない; int14 & int16 -> int17: そのシャフトは活動し難くない; int13 & int17 -> int18: そのシャフトは間近いかもしくはそれはじいんとする; int18 & fact26 & fact34 -> int19: あの焼き込みカラーは間近い; int12 & int19 -> int20: あの焼き込みカラーは捕らえ難くないが間近い; int20 -> int21: 「捕らえ難くないが間近い」ものはある;
$facts$ = fact1: 活動し難くないものは間近いかじいんとするかあるいは両方ともだ fact2: とある物が軽いかあるいは習いでないかあるいは両方ともだとしたら「それは深しない」ということは偽でない fact3: 「この自然生命は結露しない一方で豪気である」ということは事実と異なる fact4: もしとあるものが習いであるということはないかまたは軽くないかあるいは両方ともならば深し fact5: もしもあるものは習いでないなら深しない fact6: あの音楽プロモーターが習いだということはないとすればそれは深しということはない fact7: もしも何かは叩き落とすけどそれが完全失業者でないとすれば活動し難くない fact8: 仮になにがしかのものが寄生しないとすれば習いでないかあるいはそれは軽くない fact9: もし仮にそのシャフトが間近いならばあの焼き込みカラーは間近い fact10: もしそのシャフトがじいんとするとすればあの焼き込みカラーは間近い fact11: そのシャフトは見学する fact12: もし仮にとあるものが豪気でないならそれは薄暗くておまけにそれはごっつい fact13: もし「この自然生命は結露しないけれど豪気である」ということは間違いであるならばあの第二‐二表サービス番号は豪気だということはない fact14: あの音楽プロモーターは軽いかあるいはそれは習いであるか両方だ fact15: 仮にあの音楽プロモーターが適用要件でないかそれは底深くないかどちらもだとしたらそれは軽い fact16: あの音楽プロモーターは適用要件でないかあるいは底深いかまたはどちらもである fact17: あの音楽プロモーターは適用要件であるということはないかまたはそれは底深いということはない fact18: もし仮にこのヘルパーＴ細胞が薄暗いとしたらあの焼き込みカラーは捕らえ難くないけどそれは生み難い fact19: もしあの音楽プロモーターが底深くないとすればそれは軽い fact20: もしあの第二‐二表サービス番号が豪気だということはないとしたらこのヘルパーＴ細胞は豪気でない fact21: なにがしかのものが見学すれば叩き落とすしかつそれは完全失業者でない ; $hypothesis$ = あの音楽プロモーターは深しない ; $proof$ = 
fact15 & fact17 -> int1: あの音楽プロモーターは軽い; int1 -> int2: あの音楽プロモーターは軽いかそれは習いでないかまたはどちらもである; fact2 -> int3: もしあの音楽プロモーターが軽いかもしくはそれは習いでないならば深しない; int2 & int3 -> hypothesis; __PROVED__
事実1: 活動し難くないものは間近いかじいんとするかあるいは両方ともだ
事実2: とある物が軽いかあるいは習いでないかあるいは両方ともだとしたら「それは深しない」ということは偽でない
事実3: 「この自然生命は結露しない一方で豪気である」ということは事実と異なる
事実4: もしとあるものが習いであるということはないかまたは軽くないかあるいは両方ともならば深し
事実5: もしもあるものは習いでないなら深しない
事実6: あの音楽プロモーターが習いだということはないとすればそれは深しということはない
事実7: もしも何かは叩き落とすけどそれが完全失業者でないとすれば活動し難くない
事実8: 仮になにがしかのものが寄生しないとすれば習いでないかあるいはそれは軽くない
事実9: もし仮にそのシャフトが間近いならばあの焼き込みカラーは間近い
事実10: もしそのシャフトがじいんとするとすればあの焼き込みカラーは間近い
事実11: そのシャフトは見学する
事実12: もし仮にとあるものが豪気でないならそれは薄暗くておまけにそれはごっつい
事実13: もし「この自然生命は結露しないけれど豪気である」ということは間違いであるならばあの第二‐二表サービス番号は豪気だということはない
事実14: あの音楽プロモーターは軽いかあるいはそれは習いであるか両方だ
事実15: 仮にあの音楽プロモーターが適用要件でないかそれは底深くないかどちらもだとしたらそれは軽い
事実16: あの音楽プロモーターは適用要件でないかあるいは底深いかまたはどちらもである
事実17: あの音楽プロモーターは適用要件であるということはないかまたはそれは底深いということはない
事実18: もし仮にこのヘルパーＴ細胞が薄暗いとしたらあの焼き込みカラーは捕らえ難くないけどそれは生み難い
事実19: もしあの音楽プロモーターが底深くないとすればそれは軽い
事実20: もしあの第二‐二表サービス番号が豪気だということはないとしたらこのヘルパーＴ細胞は豪気でない
事実21: なにがしかのものが見学すれば叩き落とすしかつそれは完全失業者でない

仮説: あの音楽プロモーターは深しない
1. 事実15と事実17から、推論1: "あの音楽プロモーターは軽い"が導かれる
2. 推論1から、推論2: "あの音楽プロモーターは軽いかそれは習いでないかまたはどちらもである"が導かれる
3. 事実2から、推論3: "もしあの音楽プロモーターが軽いかもしくはそれは習いでないならば深しない"が導かれる
4. 推論2と推論3から、仮説が導かれる

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