「もし仮に押し拉がないかまたは発症しないかまたは両方ならば敬愛しない」ものはある
fact1: 「もし押し拉がないかあるいは発症するということはないかあるいは両方であるとすれば敬愛する」ものはある fact2: 「仮に御裾分けしないか取り出し易くないかもしくは両方ともであるとすると公文でない」ものはある fact3: 「仮に「発症しない」ということは確かであるならば敬愛するということはない」ものはある fact4: 「仮に押し拉がないか発症するか両方であるなら敬愛しない」物はある fact5: もしこの救助が押し拉がないか発症しないかもしくは両方であるとすればそれは敬愛しない fact6: 「もしも例外無くないかまたは近しないとすると老け込むということはない」物はある fact7: もし仮にその知的創造が発症するということはないかもしくはそれがたわいなくないとすればそれは恐ろしいということはない fact8: この救助が押し拉がないかそれが発症するなら敬愛しない fact9: とあるものが精読しないかもしくは敬愛しないかまたはどちらもであるならば不動でない fact10: 「もしも押し拉ぐかあるいは発症しないなら敬愛しない」ものはある fact11: もしこの救助が押し拉がないとするとそれは敬愛するということはない fact12: 「もし仮に押し拉がないならば敬愛しない」ものはある fact13: 仮にある物が隔絶しないかそれは押し拉がないかもしくは両方ともであるなら格好悪くない fact14: この救助が木通だということはないかあるいはそれは旋回しないかどちらもならばそれは起こし難くない fact15: この救助は押し拉がないかもしくは発症しないかもしくは両方であるとしたらそれは敬愛する
fact5 -> hypothesis;
「もしもこの救助が隔絶しないかあるいは押し拉がないかまたはどちらもであるならばこの救助は格好悪いということはない」ということは成り立つ
fact16 -> hypothesis;
$facts$ = fact1: 「もし押し拉がないかあるいは発症するということはないかあるいは両方であるとすれば敬愛する」ものはある fact2: 「仮に御裾分けしないか取り出し易くないかもしくは両方ともであるとすると公文でない」ものはある fact3: 「仮に「発症しない」ということは確かであるならば敬愛するということはない」ものはある fact4: 「仮に押し拉がないか発症するか両方であるなら敬愛しない」物はある fact5: もしこの救助が押し拉がないか発症しないかもしくは両方であるとすればそれは敬愛しない fact6: 「もしも例外無くないかまたは近しないとすると老け込むということはない」物はある fact7: もし仮にその知的創造が発症するということはないかもしくはそれがたわいなくないとすればそれは恐ろしいということはない fact8: この救助が押し拉がないかそれが発症するなら敬愛しない fact9: とあるものが精読しないかもしくは敬愛しないかまたはどちらもであるならば不動でない fact10: 「もしも押し拉ぐかあるいは発症しないなら敬愛しない」ものはある fact11: もしこの救助が押し拉がないとするとそれは敬愛するということはない fact12: 「もし仮に押し拉がないならば敬愛しない」ものはある fact13: 仮にある物が隔絶しないかそれは押し拉がないかもしくは両方ともであるなら格好悪くない fact14: この救助が木通だということはないかあるいはそれは旋回しないかどちらもならばそれは起こし難くない fact15: この救助は押し拉がないかもしくは発症しないかもしくは両方であるとしたらそれは敬愛する ; $hypothesis$ = 「もし仮に押し拉がないかまたは発症しないかまたは両方ならば敬愛しない」ものはある ; $proof$ = 
fact5 -> hypothesis; __PROVED__
事実1: 「もし押し拉がないかあるいは発症するということはないかあるいは両方であるとすれば敬愛する」ものはある
事実2: 「仮に御裾分けしないか取り出し易くないかもしくは両方ともであるとすると公文でない」ものはある
事実3: 「仮に「発症しない」ということは確かであるならば敬愛するということはない」ものはある
事実4: 「仮に押し拉がないか発症するか両方であるなら敬愛しない」物はある
事実5: もしこの救助が押し拉がないか発症しないかもしくは両方であるとすればそれは敬愛しない
事実6: 「もしも例外無くないかまたは近しないとすると老け込むということはない」物はある
事実7: もし仮にその知的創造が発症するということはないかもしくはそれがたわいなくないとすればそれは恐ろしいということはない
事実8: この救助が押し拉がないかそれが発症するなら敬愛しない
事実9: とあるものが精読しないかもしくは敬愛しないかまたはどちらもであるならば不動でない
事実10: 「もしも押し拉ぐかあるいは発症しないなら敬愛しない」ものはある
事実11: もしこの救助が押し拉がないとするとそれは敬愛するということはない
事実12: 「もし仮に押し拉がないならば敬愛しない」ものはある
事実13: 仮にある物が隔絶しないかそれは押し拉がないかもしくは両方ともであるなら格好悪くない
事実14: この救助が木通だということはないかあるいはそれは旋回しないかどちらもならばそれは起こし難くない
事実15: この救助は押し拉がないかもしくは発症しないかもしくは両方であるとしたらそれは敬愛する

仮説: 「もし仮に押し拉がないかまたは発症しないかまたは両方ならば敬愛しない」ものはある
1. 事実5から、仮説が導かれる

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