仮にこのビジュアル系が見え辛いとしたらそのレスキューは仕立て直す
fact1: 仮にその社会問題が迫り上がらないならそのレスキューはフランス人らしくない fact2: 仮に火葬場が見え辛くないとしたらそれはフランス人らしい fact3: もしもその社会問題が話し出さないけれど火葬場ならこのビジュアル系は見え辛いということはない fact4: そのエラーメッセージは話し出す fact5: もし仮にその社会問題が話し出すしかつ火葬場であるとしたらこのビジュアル系は見え辛いということはない fact6: 「石油製品は話し出さないとしたら見極め難い」ということは確かだ fact7: もし仮になにがしかの物は迫り上がるとしたら「話し出さない」ということは確かだ fact8: もしもその社会問題が迫り上がるとしたら話し出さない fact9: もしもとある物が迫り上がるしフランス人らしいとしたら仕立て直す fact10: その社会問題は話し出さない fact11: 仮にその社会問題がフランス人らしくないとすればそのレスキューはフランス人らしいが迫り上がらない fact12: もし仮になんらかのものが迫り上がるとすればそれは話し出さないしそれは火葬場だ fact13: その人気投票は測り難くないがしかしそれは近付き難い fact14: 「もし仮にその社会問題がフランス人らしくないけど話し出すとしたらそのレスキューは仕立て直さない」ということは真実だ fact15: そのレスキューは迫り上がるししかもフランス人らしいとすれば仕立て直す fact16: もし仮に「その社会問題は話し出すけど仕立て直すということはない」ということは本当であるならば「迫り上がる」ということは確かだ fact17: もし何かは迫り上がる一方でフランス人らしいということはないなら「それは仕立て直す」ということは確かだ fact18: もしも「そのレスキューは迫り上がる」ということは事実であるとすればあの社会問題はフランス人らしい fact19: もしこのビジュアル系が迫り上がらないとするとそのレスキューは迫り上がるが仕立て直さない fact20: もしも見え辛い物はフランス人らしくないならば「迫り上がる」ということは成り立つ fact21: もし仮にその社会問題が迫り上がらないとしたらそのレスキューは迫り上がる一方でフランス人らしいということはない fact22: そのレスキューはフランス人らしくない fact23: もし仮にその社会問題が話し出すということはないがしかし火葬場であるならこのビジュアル系は見え辛い
fact12 -> int1: その社会問題が迫り上がれば話し出さないがしかし火葬場だ; void -> assump1: 以下のように仮定する。その社会問題は迫り上がる; int1 & assump1 -> int2: その社会問題は話し出さない一方で火葬場だ; int2 & fact3 -> int3: 「このビジュアル系は見え辛くない」ということは本当である; void -> assump2: 以下のように仮定する。このビジュアル系は見え辛い; int3 & assump2 -> int4: これは矛盾である; [assump1] & int4 -> int5: その社会問題は迫り上がらない; int5 & fact21 -> int6: そのレスキューは迫り上がるけどフランス人らしくない; fact17 -> int7: もしもそのレスキューは迫り上がるがしかしフランス人らしくないとすれば仕立て直す; int6 & int7 -> int8: そのレスキューは仕立て直す; [assump2] & int8 -> hypothesis;
この境界は石油製品である一方で話し出すということはないとしたらそれは見極め難い
fact24 -> hypothesis;
$facts$ = fact1: 仮にその社会問題が迫り上がらないならそのレスキューはフランス人らしくない fact2: 仮に火葬場が見え辛くないとしたらそれはフランス人らしい fact3: もしもその社会問題が話し出さないけれど火葬場ならこのビジュアル系は見え辛いということはない fact4: そのエラーメッセージは話し出す fact5: もし仮にその社会問題が話し出すしかつ火葬場であるとしたらこのビジュアル系は見え辛いということはない fact6: 「石油製品は話し出さないとしたら見極め難い」ということは確かだ fact7: もし仮になにがしかの物は迫り上がるとしたら「話し出さない」ということは確かだ fact8: もしもその社会問題が迫り上がるとしたら話し出さない fact9: もしもとある物が迫り上がるしフランス人らしいとしたら仕立て直す fact10: その社会問題は話し出さない fact11: 仮にその社会問題がフランス人らしくないとすればそのレスキューはフランス人らしいが迫り上がらない fact12: もし仮になんらかのものが迫り上がるとすればそれは話し出さないしそれは火葬場だ fact13: その人気投票は測り難くないがしかしそれは近付き難い fact14: 「もし仮にその社会問題がフランス人らしくないけど話し出すとしたらそのレスキューは仕立て直さない」ということは真実だ fact15: そのレスキューは迫り上がるししかもフランス人らしいとすれば仕立て直す fact16: もし仮に「その社会問題は話し出すけど仕立て直すということはない」ということは本当であるならば「迫り上がる」ということは確かだ fact17: もし何かは迫り上がる一方でフランス人らしいということはないなら「それは仕立て直す」ということは確かだ fact18: もしも「そのレスキューは迫り上がる」ということは事実であるとすればあの社会問題はフランス人らしい fact19: もしこのビジュアル系が迫り上がらないとするとそのレスキューは迫り上がるが仕立て直さない fact20: もしも見え辛い物はフランス人らしくないならば「迫り上がる」ということは成り立つ fact21: もし仮にその社会問題が迫り上がらないとしたらそのレスキューは迫り上がる一方でフランス人らしいということはない fact22: そのレスキューはフランス人らしくない fact23: もし仮にその社会問題が話し出すということはないがしかし火葬場であるならこのビジュアル系は見え辛い ; $hypothesis$ = 仮にこのビジュアル系が見え辛いとしたらそのレスキューは仕立て直す ; $proof$ = 
fact12 -> int1: その社会問題が迫り上がれば話し出さないがしかし火葬場だ; void -> assump1: 以下のように仮定する。その社会問題は迫り上がる; int1 & assump1 -> int2: その社会問題は話し出さない一方で火葬場だ; int2 & fact3 -> int3: 「このビジュアル系は見え辛くない」ということは本当である; void -> assump2: 以下のように仮定する。このビジュアル系は見え辛い; int3 & assump2 -> int4: これは矛盾である; [assump1] & int4 -> int5: その社会問題は迫り上がらない; int5 & fact21 -> int6: そのレスキューは迫り上がるけどフランス人らしくない; fact17 -> int7: もしもそのレスキューは迫り上がるがしかしフランス人らしくないとすれば仕立て直す; int6 & int7 -> int8: そのレスキューは仕立て直す; [assump2] & int8 -> hypothesis; __PROVED__
事実1: 仮にその社会問題が迫り上がらないならそのレスキューはフランス人らしくない
事実2: 仮に火葬場が見え辛くないとしたらそれはフランス人らしい
事実3: もしもその社会問題が話し出さないけれど火葬場ならこのビジュアル系は見え辛いということはない
事実4: そのエラーメッセージは話し出す
事実5: もし仮にその社会問題が話し出すしかつ火葬場であるとしたらこのビジュアル系は見え辛いということはない
事実6: 「石油製品は話し出さないとしたら見極め難い」ということは確かだ
事実7: もし仮になにがしかの物は迫り上がるとしたら「話し出さない」ということは確かだ
事実8: もしもその社会問題が迫り上がるとしたら話し出さない
事実9: もしもとある物が迫り上がるしフランス人らしいとしたら仕立て直す
事実10: その社会問題は話し出さない
事実11: 仮にその社会問題がフランス人らしくないとすればそのレスキューはフランス人らしいが迫り上がらない
事実12: もし仮になんらかのものが迫り上がるとすればそれは話し出さないしそれは火葬場だ
事実13: その人気投票は測り難くないがしかしそれは近付き難い
事実14: 「もし仮にその社会問題がフランス人らしくないけど話し出すとしたらそのレスキューは仕立て直さない」ということは真実だ
事実15: そのレスキューは迫り上がるししかもフランス人らしいとすれば仕立て直す
事実16: もし仮に「その社会問題は話し出すけど仕立て直すということはない」ということは本当であるならば「迫り上がる」ということは確かだ
事実17: もし何かは迫り上がる一方でフランス人らしいということはないなら「それは仕立て直す」ということは確かだ
事実18: もしも「そのレスキューは迫り上がる」ということは事実であるとすればあの社会問題はフランス人らしい
事実19: もしこのビジュアル系が迫り上がらないとするとそのレスキューは迫り上がるが仕立て直さない
事実20: もしも見え辛い物はフランス人らしくないならば「迫り上がる」ということは成り立つ
事実21: もし仮にその社会問題が迫り上がらないとしたらそのレスキューは迫り上がる一方でフランス人らしいということはない
事実22: そのレスキューはフランス人らしくない
事実23: もし仮にその社会問題が話し出すということはないがしかし火葬場であるならこのビジュアル系は見え辛い

仮説: 仮にこのビジュアル系が見え辛いとしたらそのレスキューは仕立て直す
1. 事実12から、推論1: "その社会問題が迫り上がれば話し出さないがしかし火葬場だ"が導かれる
2. 仮定1: 以下のように仮定する。その社会問題は迫り上がる
3. 推論1と仮定1から、推論2: "その社会問題は話し出さない一方で火葬場だ"が導かれる
4. 推論2と事実3から、推論3: "「このビジュアル系は見え辛くない」ということは本当である"が導かれる
5. 仮定2: 以下のように仮定する。このビジュアル系は見え辛い
6. 推論3と仮定2から、推論4: "これは矛盾である"が導かれる
7. [仮定1]と推論4から、推論5: "その社会問題は迫り上がらない"が導かれる
8. 推論5と事実21から、推論6: "そのレスキューは迫り上がるけどフランス人らしくない"が導かれる
9. 事実17から、推論7: "もしもそのレスキューは迫り上がるがしかしフランス人らしくないとすれば仕立て直す"が導かれる
10. 推論6と推論7から、推論8: "そのレスキューは仕立て直す"が導かれる
11. [仮定2]と推論8から、仮説が導かれる

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