あのユーカリ少年はしょぼしょぼするし致候う
fact1: 仮にこの騒がしさは悪霊達でないなら「しゃあ無くなくて加えてど偉い」ということは偽だ fact2: もしなにかは主催しないとすればど偉くないかまたは医学書でない fact3: そのリンパ節転移度は乱れ始める一方で蒸し上げない fact4: そのカラーコンクリートは致候うしさらに舞い散る fact5: あの公家屋敷はしょぼしょぼする fact6: あのユーカリ少年はしょぼしょぼする fact7: 「戻し易いものは主催する」ということは真実である fact8: この騒がしさは悪霊達でない fact9: もしも何かは致候わないならばそれは物カリであるし更にそれはしょぼしょぼする fact10: 仮に「この騒がしさはしゃあ無くないけどど偉い」ということは確かでないならそのリンパ節転移度はど偉い fact11: もしもなんらかのものが乱れ始めれば戻し易い fact12: もし何らかの物は医学書でないとしたら「しょぼしょぼするしまたそれは致候う」ということは嘘だ fact13: もしも「そのリンパ節転移度は主催しないが乱れ始める」ということは偽であるとしたらあのユーカリ少年は主催しない fact14: あのユーカリ少年は致候う
fact6 & fact14 -> hypothesis;
fact6 & fact14 -> hypothesis;
このパスポートチェックは物カリでしかもしょぼしょぼする
fact16 -> int1: もしもこのパスポートチェックが致候わないならば物カリであるしさらにしょぼしょぼする; fact17 -> int2: あのユーカリ少年が主催しないとしたらそれはど偉いということはないかもしくは医学書だということはないかどちらもだ;
$facts$ = fact1: 仮にこの騒がしさは悪霊達でないなら「しゃあ無くなくて加えてど偉い」ということは偽だ fact2: もしなにかは主催しないとすればど偉くないかまたは医学書でない fact3: そのリンパ節転移度は乱れ始める一方で蒸し上げない fact4: そのカラーコンクリートは致候うしさらに舞い散る fact5: あの公家屋敷はしょぼしょぼする fact6: あのユーカリ少年はしょぼしょぼする fact7: 「戻し易いものは主催する」ということは真実である fact8: この騒がしさは悪霊達でない fact9: もしも何かは致候わないならばそれは物カリであるし更にそれはしょぼしょぼする fact10: 仮に「この騒がしさはしゃあ無くないけどど偉い」ということは確かでないならそのリンパ節転移度はど偉い fact11: もしもなんらかのものが乱れ始めれば戻し易い fact12: もし何らかの物は医学書でないとしたら「しょぼしょぼするしまたそれは致候う」ということは嘘だ fact13: もしも「そのリンパ節転移度は主催しないが乱れ始める」ということは偽であるとしたらあのユーカリ少年は主催しない fact14: あのユーカリ少年は致候う ; $hypothesis$ = あのユーカリ少年はしょぼしょぼするし致候う ; $proof$ = 
fact6 & fact14 -> hypothesis; __PROVED__
事実1: 仮にこの騒がしさは悪霊達でないなら「しゃあ無くなくて加えてど偉い」ということは偽だ
事実2: もしなにかは主催しないとすればど偉くないかまたは医学書でない
事実3: そのリンパ節転移度は乱れ始める一方で蒸し上げない
事実4: そのカラーコンクリートは致候うしさらに舞い散る
事実5: あの公家屋敷はしょぼしょぼする
事実6: あのユーカリ少年はしょぼしょぼする
事実7: 「戻し易いものは主催する」ということは真実である
事実8: この騒がしさは悪霊達でない
事実9: もしも何かは致候わないならばそれは物カリであるし更にそれはしょぼしょぼする
事実10: 仮に「この騒がしさはしゃあ無くないけどど偉い」ということは確かでないならそのリンパ節転移度はど偉い
事実11: もしもなんらかのものが乱れ始めれば戻し易い
事実12: もし何らかの物は医学書でないとしたら「しょぼしょぼするしまたそれは致候う」ということは嘘だ
事実13: もしも「そのリンパ節転移度は主催しないが乱れ始める」ということは偽であるとしたらあのユーカリ少年は主催しない
事実14: あのユーカリ少年は致候う

仮説: あのユーカリ少年はしょぼしょぼするし致候う
1. 事実6と事実14から、仮説が導かれる

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