もし仮にこのチェック項目が弾み揺らがないとするとあの二部上場は色々するし加えてすーごい
fact1: もしもこのチェック項目がポリープ基部であるとするとあの二部上場は色々するしさらに弾み揺らぐ fact2: もしこのチェック項目が色々するということはないならばあの二部上場は弾み揺らぐしそれにそれはポリープ基部である fact3: あの二部上場は色々する fact4: もし「このチェック項目はすーごい」ということは確かならあの二部上場は弾み揺らぐし色々する fact5: もし仮にこのチェック項目が色々しないとするとあの二部上場はすーごいしかつ弾み揺らぐ fact6: もし仮にこのチェック項目はポリープ基部でないとすると「あの二部上場は弾み揺らぐし加えてすーごい」ということは確かだ fact7: あの四Ｂは色々する fact8: このチェック項目は茶色っぽいししかも聞き合う fact9: もしもこのチェック項目が弾み揺らがないならあの二部上場がポリープ基部だし更にすーごい fact10: もしもこのチェック項目が弾み揺らげばあの二部上場が色々するしその上それはすーごい
void -> assump1: 以下のように仮定する。このチェック項目は弾み揺らがない; fact9 & assump1 -> int1: あの二部上場はポリープ基部であるしその上それはすーごい; int1 -> int2: あの二部上場はすーごい; int2 & fact3 -> int3: あの二部上場は色々するしそれはすーごい; [assump1] & int3 -> hypothesis;
$facts$ = fact1: もしもこのチェック項目がポリープ基部であるとするとあの二部上場は色々するしさらに弾み揺らぐ fact2: もしこのチェック項目が色々するということはないならばあの二部上場は弾み揺らぐしそれにそれはポリープ基部である fact3: あの二部上場は色々する fact4: もし「このチェック項目はすーごい」ということは確かならあの二部上場は弾み揺らぐし色々する fact5: もし仮にこのチェック項目が色々しないとするとあの二部上場はすーごいしかつ弾み揺らぐ fact6: もし仮にこのチェック項目はポリープ基部でないとすると「あの二部上場は弾み揺らぐし加えてすーごい」ということは確かだ fact7: あの四Ｂは色々する fact8: このチェック項目は茶色っぽいししかも聞き合う fact9: もしもこのチェック項目が弾み揺らがないならあの二部上場がポリープ基部だし更にすーごい fact10: もしもこのチェック項目が弾み揺らげばあの二部上場が色々するしその上それはすーごい ; $hypothesis$ = もし仮にこのチェック項目が弾み揺らがないとするとあの二部上場は色々するし加えてすーごい ; $proof$ = 
void -> assump1: 以下のように仮定する。このチェック項目は弾み揺らがない; fact9 & assump1 -> int1: あの二部上場はポリープ基部であるしその上それはすーごい; int1 -> int2: あの二部上場はすーごい; int2 & fact3 -> int3: あの二部上場は色々するしそれはすーごい; [assump1] & int3 -> hypothesis; __PROVED__
事実1: もしもこのチェック項目がポリープ基部であるとするとあの二部上場は色々するしさらに弾み揺らぐ
事実2: もしこのチェック項目が色々するということはないならばあの二部上場は弾み揺らぐしそれにそれはポリープ基部である
事実3: あの二部上場は色々する
事実4: もし「このチェック項目はすーごい」ということは確かならあの二部上場は弾み揺らぐし色々する
事実5: もし仮にこのチェック項目が色々しないとするとあの二部上場はすーごいしかつ弾み揺らぐ
事実6: もし仮にこのチェック項目はポリープ基部でないとすると「あの二部上場は弾み揺らぐし加えてすーごい」ということは確かだ
事実7: あの四Ｂは色々する
事実8: このチェック項目は茶色っぽいししかも聞き合う
事実9: もしもこのチェック項目が弾み揺らがないならあの二部上場がポリープ基部だし更にすーごい
事実10: もしもこのチェック項目が弾み揺らげばあの二部上場が色々するしその上それはすーごい

仮説: もし仮にこのチェック項目が弾み揺らがないとするとあの二部上場は色々するし加えてすーごい
1. 仮定1: 以下のように仮定する。このチェック項目は弾み揺らがない
2. 事実9と仮定1から、推論1: "あの二部上場はポリープ基部であるしその上それはすーごい"が導かれる
3. 推論1から、推論2: "あの二部上場はすーごい"が導かれる
4. 推論2と事実3から、推論3: "あの二部上場は色々するしそれはすーごい"が導かれる
5. [仮定1]と推論3から、仮説が導かれる

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