「もしも新しないなら「遍歴するししかも生き癖でない」ということは成り立たない」ものはある
fact1: もしこの頂部が新しないならそれは規則正しいがしかし強制しない fact2: あの大型ボートが成年男子でないとすれば持ち易いがしかし新しない fact3: もしもあの大型ボートは新しないとしたら「それは遍歴するし更に生き癖だ」ということは間違いだ fact4: 「もしもあの大型ボートが尿量であるということはないとするとあの大型ボートは生き癖である一方で内面化するということはない」ということは確かである fact5: 「もしも新しないとすれば遍歴するし更に生き癖でない」物はある fact6: あの大型ボートは新しということはないとしたら「遍歴するけど生き癖だということはない」ということは成り立たない fact7: 「もしもリンク張り付けすれば「寒いが気高くない」ということは誤りである」物はある fact8: もし仮に「なんらかの物は平均賃金でない」ということは成り立つとしたら「活動し易いが遍歴しない」ということは誤っている
fact6 -> hypothesis;
仮にあの僧侶階級は平均賃金でないとすれば「活動し易いがしかし遍歴しない」ということは成り立たない
fact9 -> hypothesis;
$facts$ = fact1: もしこの頂部が新しないならそれは規則正しいがしかし強制しない fact2: あの大型ボートが成年男子でないとすれば持ち易いがしかし新しない fact3: もしもあの大型ボートは新しないとしたら「それは遍歴するし更に生き癖だ」ということは間違いだ fact4: 「もしもあの大型ボートが尿量であるということはないとするとあの大型ボートは生き癖である一方で内面化するということはない」ということは確かである fact5: 「もしも新しないとすれば遍歴するし更に生き癖でない」物はある fact6: あの大型ボートは新しということはないとしたら「遍歴するけど生き癖だということはない」ということは成り立たない fact7: 「もしもリンク張り付けすれば「寒いが気高くない」ということは誤りである」物はある fact8: もし仮に「なんらかの物は平均賃金でない」ということは成り立つとしたら「活動し易いが遍歴しない」ということは誤っている ; $hypothesis$ = 「もしも新しないなら「遍歴するししかも生き癖でない」ということは成り立たない」ものはある ; $proof$ = 
fact6 -> hypothesis; __PROVED__
事実1: もしこの頂部が新しないならそれは規則正しいがしかし強制しない
事実2: あの大型ボートが成年男子でないとすれば持ち易いがしかし新しない
事実3: もしもあの大型ボートは新しないとしたら「それは遍歴するし更に生き癖だ」ということは間違いだ
事実4: 「もしもあの大型ボートが尿量であるということはないとするとあの大型ボートは生き癖である一方で内面化するということはない」ということは確かである
事実5: 「もしも新しないとすれば遍歴するし更に生き癖でない」物はある
事実6: あの大型ボートは新しということはないとしたら「遍歴するけど生き癖だということはない」ということは成り立たない
事実7: 「もしもリンク張り付けすれば「寒いが気高くない」ということは誤りである」物はある
事実8: もし仮に「なんらかの物は平均賃金でない」ということは成り立つとしたら「活動し易いが遍歴しない」ということは誤っている

仮説: 「もしも新しないなら「遍歴するししかも生き癖でない」ということは成り立たない」ものはある
1. 事実6から、仮説が導かれる

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