「もし仮に「威信である一方で何千人だということはない」ということは確かだということはないなら興奮し易くない」物はある
fact1: 「「もし仮に「威信だし加えて何千人だ」ということは偽だとしたら「興奮し易くない」ということは成り立つ」物はある」ということは成り立つ fact2: もし仮に「このＰＣ版は威信だ一方で何千人でない」ということは成り立つということはないならば興奮し易い fact3: 仮にこのＰＣ版が何千人なら興奮し易いということはない fact4: もしこのＰＣ版が威信だがそれは何千人でないならそれは興奮し易くない fact5: もしも「このＰＣ版は伝え難いし掻き易い」ということは成り立たないなら何千人でない fact6: もしも「この連邦行政機関は構造変動であるけれど生々しいということはない」ということは正しいということはないならばそれは威信であるということはない fact7: 「威信だしさらに何千人だということはないとしたら興奮し易くない」物はある fact8: もしも「「このＰＣ版は威信である一方で何千人だということはない」ということは成り立たない」ということは成り立つとするとそれは興奮し易くない fact9: 「もし仕舞い易くないとすれば「ビバークサイトでない」ということは真実である」ものはある fact10: 「もしも「手酷いけれどセッションデータでない」ということは間違いだとするとフェノール法でない」ものはある fact11: 「もしも威信でないならば興奮し易くない」ものはある fact12: 仮に「何かは由々しけどそれは駆け去らない」ということは成り立たないとしたらおどろおどろしくない
fact8 -> hypothesis;
「もしも「由々し一方で駆け去るということはない」ということは成り立たないならばおどろおどろしくない」ものはある
fact13 -> int1: 仮に「その個人目標は由々しがしかしそれは駆け去らない」ということは成り立たないとしたらおどろおどろしくない; int1 -> hypothesis;
$facts$ = fact1: 「「もし仮に「威信だし加えて何千人だ」ということは偽だとしたら「興奮し易くない」ということは成り立つ」物はある」ということは成り立つ fact2: もし仮に「このＰＣ版は威信だ一方で何千人でない」ということは成り立つということはないならば興奮し易い fact3: 仮にこのＰＣ版が何千人なら興奮し易いということはない fact4: もしこのＰＣ版が威信だがそれは何千人でないならそれは興奮し易くない fact5: もしも「このＰＣ版は伝え難いし掻き易い」ということは成り立たないなら何千人でない fact6: もしも「この連邦行政機関は構造変動であるけれど生々しいということはない」ということは正しいということはないならばそれは威信であるということはない fact7: 「威信だしさらに何千人だということはないとしたら興奮し易くない」物はある fact8: もしも「「このＰＣ版は威信である一方で何千人だということはない」ということは成り立たない」ということは成り立つとするとそれは興奮し易くない fact9: 「もし仕舞い易くないとすれば「ビバークサイトでない」ということは真実である」ものはある fact10: 「もしも「手酷いけれどセッションデータでない」ということは間違いだとするとフェノール法でない」ものはある fact11: 「もしも威信でないならば興奮し易くない」ものはある fact12: 仮に「何かは由々しけどそれは駆け去らない」ということは成り立たないとしたらおどろおどろしくない ; $hypothesis$ = 「もし仮に「威信である一方で何千人だということはない」ということは確かだということはないなら興奮し易くない」物はある ; $proof$ = 
fact8 -> hypothesis; __PROVED__
事実1: 「「もし仮に「威信だし加えて何千人だ」ということは偽だとしたら「興奮し易くない」ということは成り立つ」物はある」ということは成り立つ
事実2: もし仮に「このＰＣ版は威信だ一方で何千人でない」ということは成り立つということはないならば興奮し易い
事実3: 仮にこのＰＣ版が何千人なら興奮し易いということはない
事実4: もしこのＰＣ版が威信だがそれは何千人でないならそれは興奮し易くない
事実5: もしも「このＰＣ版は伝え難いし掻き易い」ということは成り立たないなら何千人でない
事実6: もしも「この連邦行政機関は構造変動であるけれど生々しいということはない」ということは正しいということはないならばそれは威信であるということはない
事実7: 「威信だしさらに何千人だということはないとしたら興奮し易くない」物はある
事実8: もしも「「このＰＣ版は威信である一方で何千人だということはない」ということは成り立たない」ということは成り立つとするとそれは興奮し易くない
事実9: 「もし仕舞い易くないとすれば「ビバークサイトでない」ということは真実である」ものはある
事実10: 「もしも「手酷いけれどセッションデータでない」ということは間違いだとするとフェノール法でない」ものはある
事実11: 「もしも威信でないならば興奮し易くない」ものはある
事実12: 仮に「何かは由々しけどそれは駆け去らない」ということは成り立たないとしたらおどろおどろしくない

仮説: 「もし仮に「威信である一方で何千人だということはない」ということは確かだということはないなら興奮し易くない」物はある
1. 事実8から、仮説が導かれる

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