あの真子は崩し始めるかまたは立ち向かう
fact1: もし仮にあの真子が崩し始めるならその染色体異常は立ち向かう fact2: もしもとあるものが奥まるかまたは信号ラインであるか両方なら実勢価格だということはない fact3: もし仮にあの真子が実勢価格であるとしたらその染色体異常は崩し始める fact4: もし仮に「「被面接者だしそれに滞納者でない」ということは正しくない」物があるとしたらその染色体異常は実勢価格だ fact5: もし仮に「その染色体異常は立ち向かわないかまたは実勢価格であるか両方ともである」ということは成り立たないとすればその筆者等は実勢価格だ fact6: 「もし仮にこの水溶き片栗粉が惜しくないとしたらこの水溶き片栗粉は所有権制度だ」ということは本当である fact7: もし「「被面接者だということはない」ということは成り立つ」物があるとすればその染色体異常は実勢価格である fact8: もし仮に「その染色体異常は実勢価格である」ということは成り立つとすれば「あの真子は立ち向かう」ということは確かだ fact9: もしあの建具が信号ラインでないならこの塔婆は実勢価格でないかあるいは奥まらない fact10: 「被面接者であるが滞納者でない」ものはある fact11: その染色体異常が崩し始めるとしたらあの真子は実勢価格である fact12: もしもこの水溶き片栗粉が所有権制度ならそれは張れる fact13: その座技は歴史メモであるか気怠いか両方ともである fact14: この水溶き片栗粉は惜しくない fact15: もしなんらかの物は実勢価格だということはないならば「それは崩し始めるか立ち向かうかあるいはどちらもである」ということは成り立たない fact16: 「「被面接者であるししかも滞納者である」ということは誤りな」ものはある fact17: 「「被面接者だが滞納者でない」ということは誤りである」ものはある
fact17 & fact4 -> int1: その染色体異常は実勢価格だ; int1 & fact8 -> int2: 「あの真子は立ち向かう」ということは確かである; int2 -> hypothesis;
「あの真子は崩し始めるかまたは立ち向かうかあるいは両方だ」ということは成り立たない
fact18 & fact19 -> int3: この水溶き片栗粉は所有権制度だ; fact21 & int3 -> int4: この水溶き片栗粉は張れる; int4 -> int5: 「張れる」ものはある;
$facts$ = fact1: もし仮にあの真子が崩し始めるならその染色体異常は立ち向かう fact2: もしもとあるものが奥まるかまたは信号ラインであるか両方なら実勢価格だということはない fact3: もし仮にあの真子が実勢価格であるとしたらその染色体異常は崩し始める fact4: もし仮に「「被面接者だしそれに滞納者でない」ということは正しくない」物があるとしたらその染色体異常は実勢価格だ fact5: もし仮に「その染色体異常は立ち向かわないかまたは実勢価格であるか両方ともである」ということは成り立たないとすればその筆者等は実勢価格だ fact6: 「もし仮にこの水溶き片栗粉が惜しくないとしたらこの水溶き片栗粉は所有権制度だ」ということは本当である fact7: もし「「被面接者だということはない」ということは成り立つ」物があるとすればその染色体異常は実勢価格である fact8: もし仮に「その染色体異常は実勢価格である」ということは成り立つとすれば「あの真子は立ち向かう」ということは確かだ fact9: もしあの建具が信号ラインでないならこの塔婆は実勢価格でないかあるいは奥まらない fact10: 「被面接者であるが滞納者でない」ものはある fact11: その染色体異常が崩し始めるとしたらあの真子は実勢価格である fact12: もしもこの水溶き片栗粉が所有権制度ならそれは張れる fact13: その座技は歴史メモであるか気怠いか両方ともである fact14: この水溶き片栗粉は惜しくない fact15: もしなんらかの物は実勢価格だということはないならば「それは崩し始めるか立ち向かうかあるいはどちらもである」ということは成り立たない fact16: 「「被面接者であるししかも滞納者である」ということは誤りな」ものはある fact17: 「「被面接者だが滞納者でない」ということは誤りである」ものはある ; $hypothesis$ = あの真子は崩し始めるかまたは立ち向かう ; $proof$ = 
fact17 & fact4 -> int1: その染色体異常は実勢価格だ; int1 & fact8 -> int2: 「あの真子は立ち向かう」ということは確かである; int2 -> hypothesis; __PROVED__
事実1: もし仮にあの真子が崩し始めるならその染色体異常は立ち向かう
事実2: もしもとあるものが奥まるかまたは信号ラインであるか両方なら実勢価格だということはない
事実3: もし仮にあの真子が実勢価格であるとしたらその染色体異常は崩し始める
事実4: もし仮に「「被面接者だしそれに滞納者でない」ということは正しくない」物があるとしたらその染色体異常は実勢価格だ
事実5: もし仮に「その染色体異常は立ち向かわないかまたは実勢価格であるか両方ともである」ということは成り立たないとすればその筆者等は実勢価格だ
事実6: 「もし仮にこの水溶き片栗粉が惜しくないとしたらこの水溶き片栗粉は所有権制度だ」ということは本当である
事実7: もし「「被面接者だということはない」ということは成り立つ」物があるとすればその染色体異常は実勢価格である
事実8: もし仮に「その染色体異常は実勢価格である」ということは成り立つとすれば「あの真子は立ち向かう」ということは確かだ
事実9: もしあの建具が信号ラインでないならこの塔婆は実勢価格でないかあるいは奥まらない
事実10: 「被面接者であるが滞納者でない」ものはある
事実11: その染色体異常が崩し始めるとしたらあの真子は実勢価格である
事実12: もしもこの水溶き片栗粉が所有権制度ならそれは張れる
事実13: その座技は歴史メモであるか気怠いか両方ともである
事実14: この水溶き片栗粉は惜しくない
事実15: もしなんらかの物は実勢価格だということはないならば「それは崩し始めるか立ち向かうかあるいはどちらもである」ということは成り立たない
事実16: 「「被面接者であるししかも滞納者である」ということは誤りな」ものはある
事実17: 「「被面接者だが滞納者でない」ということは誤りである」ものはある

仮説: あの真子は崩し始めるかまたは立ち向かう
1. 事実17と事実4から、推論1: "その染色体異常は実勢価格だ"が導かれる
2. 推論1と事実8から、推論2: "「あの真子は立ち向かう」ということは確かである"が導かれる
3. 推論2から、仮説が導かれる

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