あのＲウィンは衰弱する
fact1: もしもそのシャグリ・リンポシェは怖がるなら「あのＲウィンは衰弱する」ということは確かである fact2: もし仮にそのシャグリ・リンポシェが衰弱しないとしたらあのＲウィンは衰弱しない fact3: 仮にその抜け駆けは蹲踞しないとすると「投稿するし旨い」ということは偽だ fact4: もしもそのヘッダー部分が実行し易いとするとあの検査・治療は実行し易い fact5: もし仮にそのシャグリ・リンポシェは対応強化でないとすると「蹲踞しない一方で冷め遣る」ということは成り立たない fact6: 仮に「とあるものは怖がらないがしかし衰弱する」ということは間違いであるならばそれは蹲踞する fact7: もしもその科の木が下げ渡せばそれは狭苦しくないけれど公図である fact8: なんらかのものは歯周組織でないならば半凶でない fact9: 「あのＲウィンは質問主旨でしかも衰弱する」ということは嘘だ fact10: もし仮に「「その科の木は避け難い一方で酸っぱくない」ということは成り立たない」ということは偽でないならその和霊は歯周組織だということはない fact11: 仮に何らかの物は忘れ難いということはないとすると「避け難い一方で酸っぱくない」ということは偽である fact12: 仮にあのインフルエンザウイルスが上げればそのヘッダー部分は実行し易い fact13: もし仮にあのＲウィンは蹲踞しないならば「それは冷め遣らないしかつそれは衰弱する」ということは成り立つということはない fact14: 仮にとある物は半凶でないとしたら物らしいかあるいは上げる fact15: 「「そのシャグリ・リンポシェは乾燥し切らないが冷め遣る」ということは成り立たない」ということは成り立つ fact16: もしあの検査・治療が真っ黒いとしたらあの線条体内は怖がらないがしかしそれは受かる fact17: あの線条体内は怖がらないとしたら「そのシャグリ・リンポシェは怖がらない」ということは本当である fact18: そのシャグリ・リンポシェは対応強化でない fact19: その科の木が住み易いならばそれは下げ渡す fact20: もしもその和霊は物らしいとすれば「あのインフルエンザウイルスは上げる」ということは成り立つ fact21: もしもその科の木は狭苦しくないがしかし公図であるとしたら忘れ難くない fact22: 実行し易い物は真っ黒い fact23: 「その科の木は住み易い」ということは確かである fact24: 「ある物は蹲踞しないがしかし冷め遣る」ということは間違っていれば「それは質問主旨である」ということは正しい fact25: もしもある物は質問主旨であるならば「それは怖がる」ということは確かである
fact5 & fact18 -> int1: 「そのシャグリ・リンポシェは蹲踞しないけど冷め遣る」ということは事実と異なる; fact24 -> int2: もし仮に「そのシャグリ・リンポシェは蹲踞するということはないが冷め遣る」ということは誤っているとすると質問主旨である; int1 & int2 -> int3: そのシャグリ・リンポシェは質問主旨である; fact25 -> int4: そのシャグリ・リンポシェは質問主旨であるならそれは怖がる; int3 & int4 -> int5: そのシャグリ・リンポシェは怖がる; int5 & fact1 -> hypothesis;
あのＲウィンは衰弱しない
fact32 -> int6: もしあの検査・治療が実行し易いならばそれは真っ黒い; fact33 -> int7: もし仮にその和霊は半凶であるということはないとするとそれは物らしいかもしくは上げるかもしくは両方である; fact40 -> int8: もし仮に「その和霊は歯周組織でない」ということは事実であるならそれは半凶でない; fact38 -> int9: 仮にその科の木は忘れ難くないなら「それは避け難いがしかし酸っぱくない」ということは嘘だ; fact37 & fact27 -> int10: 「その科の木は下げ渡す」ということは本当である; fact30 & int10 -> int11: その科の木は狭苦しくないけれど公図だ; fact35 & int11 -> int12: その科の木は忘れ難くない; int9 & int12 -> int13: 「その科の木は避け難いけど酸っぱくない」ということは成り立たない; fact36 & int13 -> int14: その和霊は歯周組織でない; int8 & int14 -> int15: その和霊は半凶であるということはない; int7 & int15 -> int16: その和霊は物らしいかもしくは上げる;
$facts$ = fact1: もしもそのシャグリ・リンポシェは怖がるなら「あのＲウィンは衰弱する」ということは確かである fact2: もし仮にそのシャグリ・リンポシェが衰弱しないとしたらあのＲウィンは衰弱しない fact3: 仮にその抜け駆けは蹲踞しないとすると「投稿するし旨い」ということは偽だ fact4: もしもそのヘッダー部分が実行し易いとするとあの検査・治療は実行し易い fact5: もし仮にそのシャグリ・リンポシェは対応強化でないとすると「蹲踞しない一方で冷め遣る」ということは成り立たない fact6: 仮に「とあるものは怖がらないがしかし衰弱する」ということは間違いであるならばそれは蹲踞する fact7: もしもその科の木が下げ渡せばそれは狭苦しくないけれど公図である fact8: なんらかのものは歯周組織でないならば半凶でない fact9: 「あのＲウィンは質問主旨でしかも衰弱する」ということは嘘だ fact10: もし仮に「「その科の木は避け難い一方で酸っぱくない」ということは成り立たない」ということは偽でないならその和霊は歯周組織だということはない fact11: 仮に何らかの物は忘れ難いということはないとすると「避け難い一方で酸っぱくない」ということは偽である fact12: 仮にあのインフルエンザウイルスが上げればそのヘッダー部分は実行し易い fact13: もし仮にあのＲウィンは蹲踞しないならば「それは冷め遣らないしかつそれは衰弱する」ということは成り立つということはない fact14: 仮にとある物は半凶でないとしたら物らしいかあるいは上げる fact15: 「「そのシャグリ・リンポシェは乾燥し切らないが冷め遣る」ということは成り立たない」ということは成り立つ fact16: もしあの検査・治療が真っ黒いとしたらあの線条体内は怖がらないがしかしそれは受かる fact17: あの線条体内は怖がらないとしたら「そのシャグリ・リンポシェは怖がらない」ということは本当である fact18: そのシャグリ・リンポシェは対応強化でない fact19: その科の木が住み易いならばそれは下げ渡す fact20: もしもその和霊は物らしいとすれば「あのインフルエンザウイルスは上げる」ということは成り立つ fact21: もしもその科の木は狭苦しくないがしかし公図であるとしたら忘れ難くない fact22: 実行し易い物は真っ黒い fact23: 「その科の木は住み易い」ということは確かである fact24: 「ある物は蹲踞しないがしかし冷め遣る」ということは間違っていれば「それは質問主旨である」ということは正しい fact25: もしもある物は質問主旨であるならば「それは怖がる」ということは確かである ; $hypothesis$ = あのＲウィンは衰弱する ; $proof$ = 
fact5 & fact18 -> int1: 「そのシャグリ・リンポシェは蹲踞しないけど冷め遣る」ということは事実と異なる; fact24 -> int2: もし仮に「そのシャグリ・リンポシェは蹲踞するということはないが冷め遣る」ということは誤っているとすると質問主旨である; int1 & int2 -> int3: そのシャグリ・リンポシェは質問主旨である; fact25 -> int4: そのシャグリ・リンポシェは質問主旨であるならそれは怖がる; int3 & int4 -> int5: そのシャグリ・リンポシェは怖がる; int5 & fact1 -> hypothesis; __PROVED__
事実1: もしもそのシャグリ・リンポシェは怖がるなら「あのＲウィンは衰弱する」ということは確かである
事実2: もし仮にそのシャグリ・リンポシェが衰弱しないとしたらあのＲウィンは衰弱しない
事実3: 仮にその抜け駆けは蹲踞しないとすると「投稿するし旨い」ということは偽だ
事実4: もしもそのヘッダー部分が実行し易いとするとあの検査・治療は実行し易い
事実5: もし仮にそのシャグリ・リンポシェは対応強化でないとすると「蹲踞しない一方で冷め遣る」ということは成り立たない
事実6: 仮に「とあるものは怖がらないがしかし衰弱する」ということは間違いであるならばそれは蹲踞する
事実7: もしもその科の木が下げ渡せばそれは狭苦しくないけれど公図である
事実8: なんらかのものは歯周組織でないならば半凶でない
事実9: 「あのＲウィンは質問主旨でしかも衰弱する」ということは嘘だ
事実10: もし仮に「「その科の木は避け難い一方で酸っぱくない」ということは成り立たない」ということは偽でないならその和霊は歯周組織だということはない
事実11: 仮に何らかの物は忘れ難いということはないとすると「避け難い一方で酸っぱくない」ということは偽である
事実12: 仮にあのインフルエンザウイルスが上げればそのヘッダー部分は実行し易い
事実13: もし仮にあのＲウィンは蹲踞しないならば「それは冷め遣らないしかつそれは衰弱する」ということは成り立つということはない
事実14: 仮にとある物は半凶でないとしたら物らしいかあるいは上げる
事実15: 「「そのシャグリ・リンポシェは乾燥し切らないが冷め遣る」ということは成り立たない」ということは成り立つ
事実16: もしあの検査・治療が真っ黒いとしたらあの線条体内は怖がらないがしかしそれは受かる
事実17: あの線条体内は怖がらないとしたら「そのシャグリ・リンポシェは怖がらない」ということは本当である
事実18: そのシャグリ・リンポシェは対応強化でない
事実19: その科の木が住み易いならばそれは下げ渡す
事実20: もしもその和霊は物らしいとすれば「あのインフルエンザウイルスは上げる」ということは成り立つ
事実21: もしもその科の木は狭苦しくないがしかし公図であるとしたら忘れ難くない
事実22: 実行し易い物は真っ黒い
事実23: 「その科の木は住み易い」ということは確かである
事実24: 「ある物は蹲踞しないがしかし冷め遣る」ということは間違っていれば「それは質問主旨である」ということは正しい
事実25: もしもある物は質問主旨であるならば「それは怖がる」ということは確かである

仮説: あのＲウィンは衰弱する
1. 事実5と事実18から、推論1: "「そのシャグリ・リンポシェは蹲踞しないけど冷め遣る」ということは事実と異なる"が導かれる
2. 事実24から、推論2: "もし仮に「そのシャグリ・リンポシェは蹲踞するということはないが冷め遣る」ということは誤っているとすると質問主旨である"が導かれる
3. 推論1と推論2から、推論3: "そのシャグリ・リンポシェは質問主旨である"が導かれる
4. 事実25から、推論4: "そのシャグリ・リンポシェは質問主旨であるならそれは怖がる"が導かれる
5. 推論3と推論4から、推論5: "そのシャグリ・リンポシェは怖がる"が導かれる
6. 推論5と事実1から、仮説が導かれる

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