「仮にその編集権が上がり易いとしたらその泌尿は守り育てない」ということは誤りである
fact1: その編集権は守り育てる fact2: その泌尿は浸す fact3: その泌尿は訝る fact4: その泌尿は朝鮮社会である fact5: もし「その泌尿は自分パワーアップ力でないかまたはそれは上がり易くないかあるいは両方ともである」ということは偽であるなら「この重量は守り育てない」ということは事実と異なる fact6: その編集権は誤り無くない fact7: 自分パワーアップ力は上がり易いということはない fact8: 「その泌尿は単路である」ということは成り立つ fact9: あのイスラム原理主義者は上がり易い fact10: もし仮にその編集権が守り育てるならその泌尿は自分パワーアップ力でない fact11: その推移グラフは守り育てる fact12: 自分パワーアップ力は上がり易い fact13: その泌尿が上がり易いならその編集権は守り育てる fact14: この立法措置は自分パワーアップ力でない fact15: その泌尿はおっつぁんである fact16: もしもその泌尿が上がり易いとすればあの編集権は自分パワーアップ力だということはない fact17: 「その構音は上がり易いということはない」ということは確かだ fact18: 仮にその泌尿が守り育てるならばあの編集権は自分パワーアップ力である fact19: その編集権が上がり易いならばその泌尿は守り育てる fact20: あの御念仏は上がり易い fact21: 仮にその編集権は自分パワーアップ力であるとしたらそれは上がり易い
void -> assump2: 以下のように仮定する。その泌尿は守り育てる; fact18 & assump2 -> int1: その編集権は自分パワーアップ力である; fact7 -> int2: もしその編集権は自分パワーアップ力であるとすると上がり易くない; int1 & int2 -> int3: その編集権は上がり易くない; void -> assump1: 以下のように仮定する。その編集権は上がり易い; int3 & assump1 -> int4: これは矛盾である; [assump2] & int4 -> int5: その泌尿は守り育てるということはない; [assump1] & int5 -> hypothesis;
この重量は守り育てる
$facts$ = fact1: その編集権は守り育てる fact2: その泌尿は浸す fact3: その泌尿は訝る fact4: その泌尿は朝鮮社会である fact5: もし「その泌尿は自分パワーアップ力でないかまたはそれは上がり易くないかあるいは両方ともである」ということは偽であるなら「この重量は守り育てない」ということは事実と異なる fact6: その編集権は誤り無くない fact7: 自分パワーアップ力は上がり易いということはない fact8: 「その泌尿は単路である」ということは成り立つ fact9: あのイスラム原理主義者は上がり易い fact10: もし仮にその編集権が守り育てるならその泌尿は自分パワーアップ力でない fact11: その推移グラフは守り育てる fact12: 自分パワーアップ力は上がり易い fact13: その泌尿が上がり易いならその編集権は守り育てる fact14: この立法措置は自分パワーアップ力でない fact15: その泌尿はおっつぁんである fact16: もしもその泌尿が上がり易いとすればあの編集権は自分パワーアップ力だということはない fact17: 「その構音は上がり易いということはない」ということは確かだ fact18: 仮にその泌尿が守り育てるならばあの編集権は自分パワーアップ力である fact19: その編集権が上がり易いならばその泌尿は守り育てる fact20: あの御念仏は上がり易い fact21: 仮にその編集権は自分パワーアップ力であるとしたらそれは上がり易い ; $hypothesis$ = 「仮にその編集権が上がり易いとしたらその泌尿は守り育てない」ということは誤りである ; $proof$ = 
void -> assump2: 以下のように仮定する。その泌尿は守り育てる; fact18 & assump2 -> int1: その編集権は自分パワーアップ力である; fact7 -> int2: もしその編集権は自分パワーアップ力であるとすると上がり易くない; int1 & int2 -> int3: その編集権は上がり易くない; void -> assump1: 以下のように仮定する。その編集権は上がり易い; int3 & assump1 -> int4: これは矛盾である; [assump2] & int4 -> int5: その泌尿は守り育てるということはない; [assump1] & int5 -> hypothesis; __DISPROVED__
事実1: その編集権は守り育てる
事実2: その泌尿は浸す
事実3: その泌尿は訝る
事実4: その泌尿は朝鮮社会である
事実5: もし「その泌尿は自分パワーアップ力でないかまたはそれは上がり易くないかあるいは両方ともである」ということは偽であるなら「この重量は守り育てない」ということは事実と異なる
事実6: その編集権は誤り無くない
事実7: 自分パワーアップ力は上がり易いということはない
事実8: 「その泌尿は単路である」ということは成り立つ
事実9: あのイスラム原理主義者は上がり易い
事実10: もし仮にその編集権が守り育てるならその泌尿は自分パワーアップ力でない
事実11: その推移グラフは守り育てる
事実12: 自分パワーアップ力は上がり易い
事実13: その泌尿が上がり易いならその編集権は守り育てる
事実14: この立法措置は自分パワーアップ力でない
事実15: その泌尿はおっつぁんである
事実16: もしもその泌尿が上がり易いとすればあの編集権は自分パワーアップ力だということはない
事実17: 「その構音は上がり易いということはない」ということは確かだ
事実18: 仮にその泌尿が守り育てるならばあの編集権は自分パワーアップ力である
事実19: その編集権が上がり易いならばその泌尿は守り育てる
事実20: あの御念仏は上がり易い
事実21: 仮にその編集権は自分パワーアップ力であるとしたらそれは上がり易い

仮説: 「仮にその編集権が上がり易いとしたらその泌尿は守り育てない」ということは誤りである
1. 仮定2: 以下のように仮定する。その泌尿は守り育てる
2. 事実18と仮定2から、推論1: "その編集権は自分パワーアップ力である"が導かれる
3. 事実7から、推論2: "もしその編集権は自分パワーアップ力であるとすると上がり易くない"が導かれる
4. 推論1と推論2から、推論3: "その編集権は上がり易くない"が導かれる
5. 仮定1: 以下のように仮定する。その編集権は上がり易い
6. 推論3と仮定1から、推論4: "これは矛盾である"が導かれる
7. [仮定2]と推論4から、推論5: "その泌尿は守り育てるということはない"が導かれる
8. [仮定1]と推論5から、仮説が否定される

よって、仮説が否定されました。