「「もしも「ばあかしいがしかし調停条項でない」ということは成り立たないなら馴染み難い」物はある」ということは成り立つ
fact1: この部屋着が調停条項だとすれば馴染み難い fact2: 「もし「準ず一方できつくない」ということは事実と異なるなら寝付く」物はある fact3: 「もし「ばあかしいしまた調停条項だ」ということは成り立たないなら馴染み難い」物はある fact4: 「仮にばあかしいけど調停条項であるということはないとしたら馴染み難い」物はある fact5: 「もし調停条項であるならば馴染み難い」物はある fact6: 「もし「ばあかしかない」ということは確かならば馴染み難い」ものはある fact7: もし仮に「この部屋着はばあかしいけど調停条項であるということはない」ということは間違いであるとするとそれは馴染み難い fact8: 「もしこの部屋着がばあかしい一方で調停条項でないとしたらこの部屋着は馴染み難い」ということは真実である
fact7 -> hypothesis;
$facts$ = fact1: この部屋着が調停条項だとすれば馴染み難い fact2: 「もし「準ず一方できつくない」ということは事実と異なるなら寝付く」物はある fact3: 「もし「ばあかしいしまた調停条項だ」ということは成り立たないなら馴染み難い」物はある fact4: 「仮にばあかしいけど調停条項であるということはないとしたら馴染み難い」物はある fact5: 「もし調停条項であるならば馴染み難い」物はある fact6: 「もし「ばあかしかない」ということは確かならば馴染み難い」ものはある fact7: もし仮に「この部屋着はばあかしいけど調停条項であるということはない」ということは間違いであるとするとそれは馴染み難い fact8: 「もしこの部屋着がばあかしい一方で調停条項でないとしたらこの部屋着は馴染み難い」ということは真実である ; $hypothesis$ = 「「もしも「ばあかしいがしかし調停条項でない」ということは成り立たないなら馴染み難い」物はある」ということは成り立つ ; $proof$ = 
fact7 -> hypothesis; __PROVED__
事実1: この部屋着が調停条項だとすれば馴染み難い
事実2: 「もし「準ず一方できつくない」ということは事実と異なるなら寝付く」物はある
事実3: 「もし「ばあかしいしまた調停条項だ」ということは成り立たないなら馴染み難い」物はある
事実4: 「仮にばあかしいけど調停条項であるということはないとしたら馴染み難い」物はある
事実5: 「もし調停条項であるならば馴染み難い」物はある
事実6: 「もし「ばあかしかない」ということは確かならば馴染み難い」ものはある
事実7: もし仮に「この部屋着はばあかしいけど調停条項であるということはない」ということは間違いであるとするとそれは馴染み難い
事実8: 「もしこの部屋着がばあかしい一方で調停条項でないとしたらこの部屋着は馴染み難い」ということは真実である

仮説: 「「もしも「ばあかしいがしかし調停条項でない」ということは成り立たないなら馴染み難い」物はある」ということは成り立つ
1. 事実7から、仮説が導かれる

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