「あの本県はセレソンで捕らわれ易い」ということは成り立たない
fact1: 朦朧状態は捕らわれ易い fact2: 指導的役割はセレソンだ fact3: 「御参列でない」物があるとしたらあの本県は朦朧状態であるかまたは進化し易い fact4: 仮に御壮健が伝達すとすればそれは御参列でない fact5: 仮に進化し易い朦朧状態があるとすればその第五集はセレソンでない fact6: もしもその第五集がセレソンならばあの本県はセレソンだ fact7: その第五集はセレソンでないとすると「あの本県はセレソンだし加えてそれは捕らわれ易い」ということは成り立たない fact8: 「その喉頭は国歌斉唱である」ということは事実だとしたらあの州単位は伝達す fact9: あの州単位は高等師範である fact10: その日常家事債務が朦朧状態だしさらに進化し易い fact11: もし仮にあの州単位は高等師範であるとすれば御壮健である fact12: その喉頭は伝達すかそれは国歌斉唱であるかもしくはどちらもである fact13: その喉頭が伝達すとしたらあの州単位は伝達す
fact10 -> int1: 進化し易い朦朧状態はある; int1 & fact5 -> int2: その第五集はセレソンでない; int2 & fact7 -> hypothesis;
fact10 -> int1: (Ex): ({A}x & {B}x); int1 & fact5 -> int2: ¬{C}{a}; int2 & fact7 -> hypothesis;
あの本県はセレソンでそれは捕らわれ易い
fact21 -> int3: もしもその第五集は指導的役割なら「それはセレソンである」ということは真実である; fact14 -> int4: 仮にあの州単位が御壮健だし伝達すならそれは御参列でない; fact22 & fact19 -> int5: あの州単位は御壮健である; fact17 & fact15 & fact16 -> int6: あの州単位は伝達す; int5 & int6 -> int7: あの州単位は御壮健であるし伝達す; int4 & int7 -> int8: あの州単位は御参列でない; int8 -> int9: 何かは御参列でない; int9 & fact18 -> int10: あの本県は朦朧状態であるかまたはそれは進化し易いかもしくはどちらもである; fact20 -> int11: もし仮にあの本県が朦朧状態だとするとそれは捕らわれ易い;
$facts$ = fact1: 朦朧状態は捕らわれ易い fact2: 指導的役割はセレソンだ fact3: 「御参列でない」物があるとしたらあの本県は朦朧状態であるかまたは進化し易い fact4: 仮に御壮健が伝達すとすればそれは御参列でない fact5: 仮に進化し易い朦朧状態があるとすればその第五集はセレソンでない fact6: もしもその第五集がセレソンならばあの本県はセレソンだ fact7: その第五集はセレソンでないとすると「あの本県はセレソンだし加えてそれは捕らわれ易い」ということは成り立たない fact8: 「その喉頭は国歌斉唱である」ということは事実だとしたらあの州単位は伝達す fact9: あの州単位は高等師範である fact10: その日常家事債務が朦朧状態だしさらに進化し易い fact11: もし仮にあの州単位は高等師範であるとすれば御壮健である fact12: その喉頭は伝達すかそれは国歌斉唱であるかもしくはどちらもである fact13: その喉頭が伝達すとしたらあの州単位は伝達す ; $hypothesis$ = 「あの本県はセレソンで捕らわれ易い」ということは成り立たない ; $proof$ = 
fact10 -> int1: 進化し易い朦朧状態はある; int1 & fact5 -> int2: その第五集はセレソンでない; int2 & fact7 -> hypothesis; __PROVED__
事実1: 朦朧状態は捕らわれ易い
事実2: 指導的役割はセレソンだ
事実3: 「御参列でない」物があるとしたらあの本県は朦朧状態であるかまたは進化し易い
事実4: 仮に御壮健が伝達すとすればそれは御参列でない
事実5: 仮に進化し易い朦朧状態があるとすればその第五集はセレソンでない
事実6: もしもその第五集がセレソンならばあの本県はセレソンだ
事実7: その第五集はセレソンでないとすると「あの本県はセレソンだし加えてそれは捕らわれ易い」ということは成り立たない
事実8: 「その喉頭は国歌斉唱である」ということは事実だとしたらあの州単位は伝達す
事実9: あの州単位は高等師範である
事実10: その日常家事債務が朦朧状態だしさらに進化し易い
事実11: もし仮にあの州単位は高等師範であるとすれば御壮健である
事実12: その喉頭は伝達すかそれは国歌斉唱であるかもしくはどちらもである
事実13: その喉頭が伝達すとしたらあの州単位は伝達す

仮説: 「あの本県はセレソンで捕らわれ易い」ということは成り立たない
1. 事実10から、推論1: "進化し易い朦朧状態はある"が導かれる
2. 推論1と事実5から、推論2: "その第五集はセレソンでない"が導かれる
3. 推論2と事実7から、仮説が導かれる

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