「もし「遂行出来るかあるいは止血剤であるかあるいはどちらもだ」ということは間違いであるとすれば多くない」物はある
fact1: 「もし「再発し易いか緩和出来るかどちらもだ」ということは成り立たないとすると振り子運動な」ものはある fact2: もし仮にあのＳＤカードが目先であるかあるいは放課であるかまたは両方だとするとそれは多くない fact3: あるものは面映ゆいか当方会長であるかどちらもであるとしたらそれは酉でない fact4: もし「とあるものは遂行出来るかもしくはそれは止血剤であるかもしくは両方だ」ということは成り立たないとしたらそれは多いということはない fact5: 仮に「なにがしかの物は政党政治であるか神役であるかまたは両方ともである」ということは間違いであるとしたら進展しない fact6: 「もし「挙示するかまたは粛清であるかあるいはどちらもである」ということは事実だとしたらタールだということはない」ものはある fact7: 「もしも「人懐こいかまたは腰布であるか両方ともだ」ということは偽であるならＩＤＥＮＴである」物はある fact8: なにかは剥ぎ取るかあるいは遡及するかあるいは両方ともならそれはタールでない fact9: 「もし「ダイナミックＣＴであるかあるいは人工栄養であるかどちらもだ」ということは成り立たないならば愛飲しない」物はある fact10: もしも「この立体映像は着色するかまたは柔い」ということは成り立たないとすればそれは四十七都道府県庁所在都市だ fact11: あのＳＤカードがボンネットであるかあるいは止血剤であるかまたは両方なら「それは酉でない」ということは確かだ fact12: もしもなんらかの物が感慨深いか飲みっ振りならそれはスピードアップしない
fact4 -> int1: もし「あのＳＤカードは遂行出来るかそれは止血剤であるかまたは両方ともである」ということは成り立たないとしたらそれは多くない; int1 -> hypothesis;
$facts$ = fact1: 「もし「再発し易いか緩和出来るかどちらもだ」ということは成り立たないとすると振り子運動な」ものはある fact2: もし仮にあのＳＤカードが目先であるかあるいは放課であるかまたは両方だとするとそれは多くない fact3: あるものは面映ゆいか当方会長であるかどちらもであるとしたらそれは酉でない fact4: もし「とあるものは遂行出来るかもしくはそれは止血剤であるかもしくは両方だ」ということは成り立たないとしたらそれは多いということはない fact5: 仮に「なにがしかの物は政党政治であるか神役であるかまたは両方ともである」ということは間違いであるとしたら進展しない fact6: 「もし「挙示するかまたは粛清であるかあるいはどちらもである」ということは事実だとしたらタールだということはない」ものはある fact7: 「もしも「人懐こいかまたは腰布であるか両方ともだ」ということは偽であるならＩＤＥＮＴである」物はある fact8: なにかは剥ぎ取るかあるいは遡及するかあるいは両方ともならそれはタールでない fact9: 「もし「ダイナミックＣＴであるかあるいは人工栄養であるかどちらもだ」ということは成り立たないならば愛飲しない」物はある fact10: もしも「この立体映像は着色するかまたは柔い」ということは成り立たないとすればそれは四十七都道府県庁所在都市だ fact11: あのＳＤカードがボンネットであるかあるいは止血剤であるかまたは両方なら「それは酉でない」ということは確かだ fact12: もしもなんらかの物が感慨深いか飲みっ振りならそれはスピードアップしない ; $hypothesis$ = 「もし「遂行出来るかあるいは止血剤であるかあるいはどちらもだ」ということは間違いであるとすれば多くない」物はある ; $proof$ = 
fact4 -> int1: もし「あのＳＤカードは遂行出来るかそれは止血剤であるかまたは両方ともである」ということは成り立たないとしたらそれは多くない; int1 -> hypothesis; __PROVED__
事実1: 「もし「再発し易いか緩和出来るかどちらもだ」ということは成り立たないとすると振り子運動な」ものはある
事実2: もし仮にあのＳＤカードが目先であるかあるいは放課であるかまたは両方だとするとそれは多くない
事実3: あるものは面映ゆいか当方会長であるかどちらもであるとしたらそれは酉でない
事実4: もし「とあるものは遂行出来るかもしくはそれは止血剤であるかもしくは両方だ」ということは成り立たないとしたらそれは多いということはない
事実5: 仮に「なにがしかの物は政党政治であるか神役であるかまたは両方ともである」ということは間違いであるとしたら進展しない
事実6: 「もし「挙示するかまたは粛清であるかあるいはどちらもである」ということは事実だとしたらタールだということはない」ものはある
事実7: 「もしも「人懐こいかまたは腰布であるか両方ともだ」ということは偽であるならＩＤＥＮＴである」物はある
事実8: なにかは剥ぎ取るかあるいは遡及するかあるいは両方ともならそれはタールでない
事実9: 「もし「ダイナミックＣＴであるかあるいは人工栄養であるかどちらもだ」ということは成り立たないならば愛飲しない」物はある
事実10: もしも「この立体映像は着色するかまたは柔い」ということは成り立たないとすればそれは四十七都道府県庁所在都市だ
事実11: あのＳＤカードがボンネットであるかあるいは止血剤であるかまたは両方なら「それは酉でない」ということは確かだ
事実12: もしもなんらかの物が感慨深いか飲みっ振りならそれはスピードアップしない

仮説: 「もし「遂行出来るかあるいは止血剤であるかあるいはどちらもだ」ということは間違いであるとすれば多くない」物はある
1. 事実4から、推論1: "もし「あのＳＤカードは遂行出来るかそれは止血剤であるかまたは両方ともである」ということは成り立たないとしたらそれは多くない"が導かれる
2. 推論1から、仮説が導かれる

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