この謗法は膨隆する
fact1: その首皇太子は四十日前であるし前二者である fact2: もし仮に「その首皇太子は四十日前だ一方で膨隆しない」ということは事実であるならこの謗法は膨隆するということはない fact3: もしこの謗法が無声化し易いとすれば膨隆する fact4: このニッケルは保有出来ない fact5: 「もしもある物は無声化し易くないならば「それは前二者である」ということは事実である」ということは真実だ fact6: もし「何らかの物は齎し易くないかごろごろするかまたは両方ともである」ということは成り立たないとすると利用し易くない fact7: もしこのニッケルは保有出来ないならば「齎し易くないかあるいはごろごろする」ということは成り立たない fact8: もし仮に「すごーい」ものがあるならばあの痛風患者は手緩くないかもしくは無声化し易くないかもしくは両方ともである fact9: 仮にその首皇太子が前二者ならばこの謗法は無声化し易い fact10: 「このニッケルは利用し易くない」ということは確かであるとすればこの昆虫採集はすごーいし何年後だ fact11: 手緩くないものは前二者である
fact1 -> int1: その首皇太子は前二者である; int1 & fact9 -> int2: この謗法は無声化し易い; int2 & fact3 -> hypothesis;
fact1 -> int1: {B}{a}; int1 & fact9 -> int2: {C}{b}; int2 & fact3 -> hypothesis;
この謗法は膨隆しない
fact14 -> int3: もしも「このニッケルは齎し易くないかまたはごろごろする」ということは偽ならそれは利用し易くない; fact19 & fact17 -> int4: 「このニッケルは齎し易いということはないかあるいはごろごろする」ということは偽である; int3 & int4 -> int5: このニッケルは利用し易くない; fact12 & int5 -> int6: この昆虫採集はすごーいしさらにそれは何年後だ; int6 -> int7: この昆虫採集はすごーい; int7 -> int8: 何らかのものはすごーい; int8 & fact15 -> int9: その痛風患者は手緩くないかあるいは無声化し易くないかあるいは両方である; fact18 -> int10: その痛風患者が手緩くないならそれは前二者である; fact13 -> int11: もしもその痛風患者は無声化し易くないとすると「前二者である」ということは本当だ; int9 & int10 & int11 -> int12: その痛風患者は前二者である; int12 -> int13: 何かは前二者だ;
$facts$ = fact1: その首皇太子は四十日前であるし前二者である fact2: もし仮に「その首皇太子は四十日前だ一方で膨隆しない」ということは事実であるならこの謗法は膨隆するということはない fact3: もしこの謗法が無声化し易いとすれば膨隆する fact4: このニッケルは保有出来ない fact5: 「もしもある物は無声化し易くないならば「それは前二者である」ということは事実である」ということは真実だ fact6: もし「何らかの物は齎し易くないかごろごろするかまたは両方ともである」ということは成り立たないとすると利用し易くない fact7: もしこのニッケルは保有出来ないならば「齎し易くないかあるいはごろごろする」ということは成り立たない fact8: もし仮に「すごーい」ものがあるならばあの痛風患者は手緩くないかもしくは無声化し易くないかもしくは両方ともである fact9: 仮にその首皇太子が前二者ならばこの謗法は無声化し易い fact10: 「このニッケルは利用し易くない」ということは確かであるとすればこの昆虫採集はすごーいし何年後だ fact11: 手緩くないものは前二者である ; $hypothesis$ = この謗法は膨隆する ; $proof$ = 
fact1 -> int1: その首皇太子は前二者である; int1 & fact9 -> int2: この謗法は無声化し易い; int2 & fact3 -> hypothesis; __PROVED__
事実1: その首皇太子は四十日前であるし前二者である
事実2: もし仮に「その首皇太子は四十日前だ一方で膨隆しない」ということは事実であるならこの謗法は膨隆するということはない
事実3: もしこの謗法が無声化し易いとすれば膨隆する
事実4: このニッケルは保有出来ない
事実5: 「もしもある物は無声化し易くないならば「それは前二者である」ということは事実である」ということは真実だ
事実6: もし「何らかの物は齎し易くないかごろごろするかまたは両方ともである」ということは成り立たないとすると利用し易くない
事実7: もしこのニッケルは保有出来ないならば「齎し易くないかあるいはごろごろする」ということは成り立たない
事実8: もし仮に「すごーい」ものがあるならばあの痛風患者は手緩くないかもしくは無声化し易くないかもしくは両方ともである
事実9: 仮にその首皇太子が前二者ならばこの謗法は無声化し易い
事実10: 「このニッケルは利用し易くない」ということは確かであるとすればこの昆虫採集はすごーいし何年後だ
事実11: 手緩くないものは前二者である

仮説: この謗法は膨隆する
1. 事実1から、推論1: "その首皇太子は前二者である"が導かれる
2. 推論1と事実9から、推論2: "この謗法は無声化し易い"が導かれる
3. 推論2と事実3から、仮説が導かれる

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