その晋代はっ早くないし全身疲労でない
fact1: その竹蜻蛉は魚油だ fact2: もしも「「「詮索しないかもしくは暑いかまたは両方だ」ということは事実だ」ということは成り立たない」ものがあるとするとこの異常渇水時は余所余所しいということはない fact3: 仮にあるものは余所余所しい一方で移り易くないならば全身疲労だ fact4: 「全身疲労である」ものはある fact5: 「暑くない」ものはある fact6: もしもこの異常渇水時が余所余所しいということはないとすればあの四日条は農業生産法人でない fact7: その竹蜻蛉が魚油であるならそのＥワンセルは移り易い fact8: もしもあの取得費が暑いとすればそのＥワンセルは移り易くない fact9: もしそのＥワンセルが全身疲労でないならばあの晋代は移り易くない fact10: あの四日条は農業生産法人でないとすればあの晋代はっ早くないししかも全身疲労でない fact11: 仮にあの取得費が詮索しないかもしくは暑いかまたは両方であるとするとそのＥワンセルは移り易くない fact12: 「「余所余所しいかまたは詮索するかあるいはどちらもである」ということは成り立たない」ものはある fact13: もしあの四日条は農業生産法人でないなら「その晋代はっ早いということはない」ということは誤っていない fact14: その晋代は詮索しなくてまたそれは掴み難くない fact15: そのＥワンセルは暑い
void -> assump1: 以下のように仮定する。あの取得費は詮索しないかまたは暑いかまたはどちらもである; fact11 & assump1 -> int1: 「そのＥワンセルは移り易くない」ということは確かだ; fact1 & fact7 -> int2: そのＥワンセルは移り易い; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> int4: 「あの取得費は詮索するということはないかまたは暑いか両方である」ということは偽だ; int4 -> int5: 「「詮索しないかまたは暑いかまたは両方ともだ」ということは成り立たない」物はある; int5 & fact2 -> int6: この異常渇水時は余所余所しかない; int6 & fact6 -> int7: あの四日条は農業生産法人でない; int7 & fact10 -> hypothesis;
「その晋代はっ早いということはなくて更に全身疲労でない」ということは嘘だ
fact16 -> int8: もし仮にあの取得費は余所余所しいけれど移り易いということはないならばそれは全身疲労だ;
$facts$ = fact1: その竹蜻蛉は魚油だ fact2: もしも「「「詮索しないかもしくは暑いかまたは両方だ」ということは事実だ」ということは成り立たない」ものがあるとするとこの異常渇水時は余所余所しいということはない fact3: 仮にあるものは余所余所しい一方で移り易くないならば全身疲労だ fact4: 「全身疲労である」ものはある fact5: 「暑くない」ものはある fact6: もしもこの異常渇水時が余所余所しいということはないとすればあの四日条は農業生産法人でない fact7: その竹蜻蛉が魚油であるならそのＥワンセルは移り易い fact8: もしもあの取得費が暑いとすればそのＥワンセルは移り易くない fact9: もしそのＥワンセルが全身疲労でないならばあの晋代は移り易くない fact10: あの四日条は農業生産法人でないとすればあの晋代はっ早くないししかも全身疲労でない fact11: 仮にあの取得費が詮索しないかもしくは暑いかまたは両方であるとするとそのＥワンセルは移り易くない fact12: 「「余所余所しいかまたは詮索するかあるいはどちらもである」ということは成り立たない」ものはある fact13: もしあの四日条は農業生産法人でないなら「その晋代はっ早いということはない」ということは誤っていない fact14: その晋代は詮索しなくてまたそれは掴み難くない fact15: そのＥワンセルは暑い ; $hypothesis$ = その晋代はっ早くないし全身疲労でない ; $proof$ = 
void -> assump1: 以下のように仮定する。あの取得費は詮索しないかまたは暑いかまたはどちらもである; fact11 & assump1 -> int1: 「そのＥワンセルは移り易くない」ということは確かだ; fact1 & fact7 -> int2: そのＥワンセルは移り易い; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> int4: 「あの取得費は詮索するということはないかまたは暑いか両方である」ということは偽だ; int4 -> int5: 「「詮索しないかまたは暑いかまたは両方ともだ」ということは成り立たない」物はある; int5 & fact2 -> int6: この異常渇水時は余所余所しかない; int6 & fact6 -> int7: あの四日条は農業生産法人でない; int7 & fact10 -> hypothesis; __PROVED__
事実1: その竹蜻蛉は魚油だ
事実2: もしも「「「詮索しないかもしくは暑いかまたは両方だ」ということは事実だ」ということは成り立たない」ものがあるとするとこの異常渇水時は余所余所しいということはない
事実3: 仮にあるものは余所余所しい一方で移り易くないならば全身疲労だ
事実4: 「全身疲労である」ものはある
事実5: 「暑くない」ものはある
事実6: もしもこの異常渇水時が余所余所しいということはないとすればあの四日条は農業生産法人でない
事実7: その竹蜻蛉が魚油であるならそのＥワンセルは移り易い
事実8: もしもあの取得費が暑いとすればそのＥワンセルは移り易くない
事実9: もしそのＥワンセルが全身疲労でないならばあの晋代は移り易くない
事実10: あの四日条は農業生産法人でないとすればあの晋代はっ早くないししかも全身疲労でない
事実11: 仮にあの取得費が詮索しないかもしくは暑いかまたは両方であるとするとそのＥワンセルは移り易くない
事実12: 「「余所余所しいかまたは詮索するかあるいはどちらもである」ということは成り立たない」ものはある
事実13: もしあの四日条は農業生産法人でないなら「その晋代はっ早いということはない」ということは誤っていない
事実14: その晋代は詮索しなくてまたそれは掴み難くない
事実15: そのＥワンセルは暑い

仮説: その晋代はっ早くないし全身疲労でない
1. 仮定1: 以下のように仮定する。あの取得費は詮索しないかまたは暑いかまたはどちらもである
2. 事実11と仮定1から、推論1: "「そのＥワンセルは移り易くない」ということは確かだ"が導かれる
3. 事実1と事実7から、推論2: "そのＥワンセルは移り易い"が導かれる
4. 推論1と推論2から、推論3: "これは矛盾である"が導かれる
5. [仮定1]と推論3から、推論4: "「あの取得費は詮索するということはないかまたは暑いか両方である」ということは偽だ"が導かれる
6. 推論4から、推論5: "「「詮索しないかまたは暑いかまたは両方ともだ」ということは成り立たない」物はある"が導かれる
7. 推論5と事実2から、推論6: "この異常渇水時は余所余所しかない"が導かれる
8. 推論6と事実6から、推論7: "あの四日条は農業生産法人でない"が導かれる
9. 推論7と事実10から、仮説が導かれる

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