あの保険料控除は放つ
fact1: 「そのマスカルポーネチーズは御早くないかまたは注意深いかまたはどちらもだ」ということは成り立たない fact2: その医薬品機構は注意深いし更に剥がれ易い fact3: その医薬品機構は注意深くてそれは会派である fact4: もしもその医薬品機構は会派であるなら「「あの保険料控除は爆ぜないかもしくはそれは剥がれ易いかあるいは両方ともだ」ということは確かだ」ということは成り立たない fact5: 仮に「「なにがしかのものは爆ぜないかまたはそれは剥がれ易いかどちらもだ」ということは本当だ」ということは事実と異なるならそれは放つ fact6: 仮になにがしかのものは会派でないとすれば「それは注意深くないかあるいはそれは十八ゲージ注射針だ」ということは間違いである fact7: もし仮に「あの脳症は剥がれ易い」ということは真実ならば「注意深くなくて放つ」ということは成り立たない
fact3 -> int1: その医薬品機構は会派だ; int1 & fact4 -> int2: 「あの保険料控除は爆ぜないかあるいは剥がれ易いかまたは両方だ」ということは誤っている; fact5 -> int3: 仮に「あの保険料控除は爆ぜないかまたはそれは剥がれ易いかもしくは両方だ」ということは間違いだとしたらそれは放つ; int2 & int3 -> hypothesis;
「この富貴は注意深いということはないかあるいは十八ゲージ注射針であるかもしくは両方である」ということは間違っている
fact8 -> int4: 仮にこの富貴は会派でないとすれば「「注意深くないか十八ゲージ注射針であるか両方ともだ」ということは成り立つ」ということは偽だ;
$facts$ = fact1: 「そのマスカルポーネチーズは御早くないかまたは注意深いかまたはどちらもだ」ということは成り立たない fact2: その医薬品機構は注意深いし更に剥がれ易い fact3: その医薬品機構は注意深くてそれは会派である fact4: もしもその医薬品機構は会派であるなら「「あの保険料控除は爆ぜないかもしくはそれは剥がれ易いかあるいは両方ともだ」ということは確かだ」ということは成り立たない fact5: 仮に「「なにがしかのものは爆ぜないかまたはそれは剥がれ易いかどちらもだ」ということは本当だ」ということは事実と異なるならそれは放つ fact6: 仮になにがしかのものは会派でないとすれば「それは注意深くないかあるいはそれは十八ゲージ注射針だ」ということは間違いである fact7: もし仮に「あの脳症は剥がれ易い」ということは真実ならば「注意深くなくて放つ」ということは成り立たない ; $hypothesis$ = あの保険料控除は放つ ; $proof$ = 
fact3 -> int1: その医薬品機構は会派だ; int1 & fact4 -> int2: 「あの保険料控除は爆ぜないかあるいは剥がれ易いかまたは両方だ」ということは誤っている; fact5 -> int3: 仮に「あの保険料控除は爆ぜないかまたはそれは剥がれ易いかもしくは両方だ」ということは間違いだとしたらそれは放つ; int2 & int3 -> hypothesis; __PROVED__
事実1: 「そのマスカルポーネチーズは御早くないかまたは注意深いかまたはどちらもだ」ということは成り立たない
事実2: その医薬品機構は注意深いし更に剥がれ易い
事実3: その医薬品機構は注意深くてそれは会派である
事実4: もしもその医薬品機構は会派であるなら「「あの保険料控除は爆ぜないかもしくはそれは剥がれ易いかあるいは両方ともだ」ということは確かだ」ということは成り立たない
事実5: 仮に「「なにがしかのものは爆ぜないかまたはそれは剥がれ易いかどちらもだ」ということは本当だ」ということは事実と異なるならそれは放つ
事実6: 仮になにがしかのものは会派でないとすれば「それは注意深くないかあるいはそれは十八ゲージ注射針だ」ということは間違いである
事実7: もし仮に「あの脳症は剥がれ易い」ということは真実ならば「注意深くなくて放つ」ということは成り立たない

仮説: あの保険料控除は放つ
1. 事実3から、推論1: "その医薬品機構は会派だ"が導かれる
2. 推論1と事実4から、推論2: "「あの保険料控除は爆ぜないかあるいは剥がれ易いかまたは両方だ」ということは誤っている"が導かれる
3. 事実5から、推論3: "仮に「あの保険料控除は爆ぜないかまたはそれは剥がれ易いかもしくは両方だ」ということは間違いだとしたらそれは放つ"が導かれる
4. 推論2と推論3から、仮説が導かれる

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