このコンポジションは末期癌患者だ
fact1: 何らかのものは見得ない fact2: 「「追い縋らない」ということは成り立つ」ものがあればこのコンポジションは末期癌患者だしその上見得る fact3: 「追い縋る」ものはある fact4: 何らかの物は末期癌患者でない fact5: もし仮に何かは追い縋らないとすればあのコンポジションは見得る fact6: その入力機器は変化し易いしそれは末期癌患者である fact7: このコンポジションは情報漏れだ fact8: このコンポジションはビーチクラブでしかもそれは追い縋る fact9: このコンポジションは見得る fact10: あの五万円以上は取り出すし煮付ける fact11: 「追い縋らない」ものはある fact12: このコンポジションは見得るししかも形成され易い fact13: もしも何らかのものが押さえ為さらないならばこの葬式饅頭は末期癌患者だし加えてそれは充足だ fact14: このコンポジションは目的点である fact15: このコンポジションは追い縋る fact16: 「とあるものは落つ一方でＳＨＡＺＮＡでない」ということは誤りであるなら見得ない
fact11 & fact2 -> int1: このコンポジションは末期癌患者であるしそれは見得る; int1 -> hypothesis;
このコンポジションは末期癌患者でない
fact17 -> int2: 仮に「あのウルトラクリーンテクノロジは落つけどＳＨＡＺＮＡでない」ということは嘘だとすれば「それは見得ない」ということは誤りでない;
$facts$ = fact1: 何らかのものは見得ない fact2: 「「追い縋らない」ということは成り立つ」ものがあればこのコンポジションは末期癌患者だしその上見得る fact3: 「追い縋る」ものはある fact4: 何らかの物は末期癌患者でない fact5: もし仮に何かは追い縋らないとすればあのコンポジションは見得る fact6: その入力機器は変化し易いしそれは末期癌患者である fact7: このコンポジションは情報漏れだ fact8: このコンポジションはビーチクラブでしかもそれは追い縋る fact9: このコンポジションは見得る fact10: あの五万円以上は取り出すし煮付ける fact11: 「追い縋らない」ものはある fact12: このコンポジションは見得るししかも形成され易い fact13: もしも何らかのものが押さえ為さらないならばこの葬式饅頭は末期癌患者だし加えてそれは充足だ fact14: このコンポジションは目的点である fact15: このコンポジションは追い縋る fact16: 「とあるものは落つ一方でＳＨＡＺＮＡでない」ということは誤りであるなら見得ない ; $hypothesis$ = このコンポジションは末期癌患者だ ; $proof$ = 
fact11 & fact2 -> int1: このコンポジションは末期癌患者であるしそれは見得る; int1 -> hypothesis; __PROVED__
事実1: 何らかのものは見得ない
事実2: 「「追い縋らない」ということは成り立つ」ものがあればこのコンポジションは末期癌患者だしその上見得る
事実3: 「追い縋る」ものはある
事実4: 何らかの物は末期癌患者でない
事実5: もし仮に何かは追い縋らないとすればあのコンポジションは見得る
事実6: その入力機器は変化し易いしそれは末期癌患者である
事実7: このコンポジションは情報漏れだ
事実8: このコンポジションはビーチクラブでしかもそれは追い縋る
事実9: このコンポジションは見得る
事実10: あの五万円以上は取り出すし煮付ける
事実11: 「追い縋らない」ものはある
事実12: このコンポジションは見得るししかも形成され易い
事実13: もしも何らかのものが押さえ為さらないならばこの葬式饅頭は末期癌患者だし加えてそれは充足だ
事実14: このコンポジションは目的点である
事実15: このコンポジションは追い縋る
事実16: 「とあるものは落つ一方でＳＨＡＺＮＡでない」ということは誤りであるなら見得ない

仮説: このコンポジションは末期癌患者だ
1. 事実11と事実2から、推論1: "このコンポジションは末期癌患者であるしそれは見得る"が導かれる
2. 推論1から、仮説が導かれる

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