「仮に「ライフ・サイクルだがしかしごっつかない」ということは誤りであるとすれば姦しい」ものはある
fact1: 「この消防士はライフ・サイクルであるしそれはごっつい」ということは成り立たないなら姦しい fact2: 「もしも禿げるししかも偉いということはないなら「日計表だ」ということは成り立つ」ものはある fact3: 仮に「あの体力プロフィールはプロ雀士だがしかし一回転でない」ということは成り立たないとしたらそれはしても良い fact4: 仮にこの消防士はライフ・サイクルでないとしたら「姦しい」ということは間違いであるということはない fact5: 「翔るとすれば学力程度な」ものはある fact6: 「もし仮に「春日原ゴルフ場でかつ麗しない」ということは確かでないなら親しい」物はある fact7: もしもこの消防士はライフ・サイクルだがしかしごっつかないとすれば姦しい fact8: 「もしも図色ならばピンである」物はある fact9: 「なんらかのものは期待し難い一方で型でない」ということは誤りだとすると見極め難い fact10: 「もしも言い辛いけど上回らないとしたら「語り出す」ということは成り立つ」物はある fact11: 仮に「この消防士がライフ・サイクルであるがごっついということはない」ということは成り立たないならば「姦しい」ということは本当である fact12: 「もし練り始めないとしたら実行す」ものはある fact13: もしも「なにかは絡み合うけれど活動電位でない」ということは正しくないとすればそれは期待し難い fact14: 「仮に「ライフ・サイクルでごっつい」ということは間違いなら姦しい」物はある fact15: 「「もし仮に恥ずかしいということはないとしたら「羊水検査である」ということは成り立つ」ものはある」ということは正しい fact16: 「もし映画俳優でないとすると「想像し難い」ということは真実である」物はある fact17: 「もしも身元保証人でまた評価・判断でないなら類似語な」物はある fact18: 「仮に「うつらうつらするけど融資額でない」ということは本当でないならフランス領な」ものはある
fact11 -> hypothesis;
「もし「絡み合う一方で活動電位でない」ということは成り立つということはないとしたら「期待し難い」ということは確かである」物はある
fact19 -> int1: 仮に「あの筑波大学付属小学校は絡み合うけれど活動電位でない」ということは確かでないとしたらそれは期待し難い; int1 -> hypothesis;
$facts$ = fact1: 「この消防士はライフ・サイクルであるしそれはごっつい」ということは成り立たないなら姦しい fact2: 「もしも禿げるししかも偉いということはないなら「日計表だ」ということは成り立つ」ものはある fact3: 仮に「あの体力プロフィールはプロ雀士だがしかし一回転でない」ということは成り立たないとしたらそれはしても良い fact4: 仮にこの消防士はライフ・サイクルでないとしたら「姦しい」ということは間違いであるということはない fact5: 「翔るとすれば学力程度な」ものはある fact6: 「もし仮に「春日原ゴルフ場でかつ麗しない」ということは確かでないなら親しい」物はある fact7: もしもこの消防士はライフ・サイクルだがしかしごっつかないとすれば姦しい fact8: 「もしも図色ならばピンである」物はある fact9: 「なんらかのものは期待し難い一方で型でない」ということは誤りだとすると見極め難い fact10: 「もしも言い辛いけど上回らないとしたら「語り出す」ということは成り立つ」物はある fact11: 仮に「この消防士がライフ・サイクルであるがごっついということはない」ということは成り立たないならば「姦しい」ということは本当である fact12: 「もし練り始めないとしたら実行す」ものはある fact13: もしも「なにかは絡み合うけれど活動電位でない」ということは正しくないとすればそれは期待し難い fact14: 「仮に「ライフ・サイクルでごっつい」ということは間違いなら姦しい」物はある fact15: 「「もし仮に恥ずかしいということはないとしたら「羊水検査である」ということは成り立つ」ものはある」ということは正しい fact16: 「もし映画俳優でないとすると「想像し難い」ということは真実である」物はある fact17: 「もしも身元保証人でまた評価・判断でないなら類似語な」物はある fact18: 「仮に「うつらうつらするけど融資額でない」ということは本当でないならフランス領な」ものはある ; $hypothesis$ = 「仮に「ライフ・サイクルだがしかしごっつかない」ということは誤りであるとすれば姦しい」ものはある ; $proof$ = 
fact11 -> hypothesis; __PROVED__
事実1: 「この消防士はライフ・サイクルであるしそれはごっつい」ということは成り立たないなら姦しい
事実2: 「もしも禿げるししかも偉いということはないなら「日計表だ」ということは成り立つ」ものはある
事実3: 仮に「あの体力プロフィールはプロ雀士だがしかし一回転でない」ということは成り立たないとしたらそれはしても良い
事実4: 仮にこの消防士はライフ・サイクルでないとしたら「姦しい」ということは間違いであるということはない
事実5: 「翔るとすれば学力程度な」ものはある
事実6: 「もし仮に「春日原ゴルフ場でかつ麗しない」ということは確かでないなら親しい」物はある
事実7: もしもこの消防士はライフ・サイクルだがしかしごっつかないとすれば姦しい
事実8: 「もしも図色ならばピンである」物はある
事実9: 「なんらかのものは期待し難い一方で型でない」ということは誤りだとすると見極め難い
事実10: 「もしも言い辛いけど上回らないとしたら「語り出す」ということは成り立つ」物はある
事実11: 仮に「この消防士がライフ・サイクルであるがごっついということはない」ということは成り立たないならば「姦しい」ということは本当である
事実12: 「もし練り始めないとしたら実行す」ものはある
事実13: もしも「なにかは絡み合うけれど活動電位でない」ということは正しくないとすればそれは期待し難い
事実14: 「仮に「ライフ・サイクルでごっつい」ということは間違いなら姦しい」物はある
事実15: 「「もし仮に恥ずかしいということはないとしたら「羊水検査である」ということは成り立つ」ものはある」ということは正しい
事実16: 「もし映画俳優でないとすると「想像し難い」ということは真実である」物はある
事実17: 「もしも身元保証人でまた評価・判断でないなら類似語な」物はある
事実18: 「仮に「うつらうつらするけど融資額でない」ということは本当でないならフランス領な」ものはある

仮説: 「仮に「ライフ・サイクルだがしかしごっつかない」ということは誤りであるとすれば姦しい」ものはある
1. 事実11から、仮説が導かれる

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