あの経済活動は反転しない
fact1: 「あの匪団は広しないしそれは抜け落ちない」ということは本当だ fact2: あの経済活動は温め続けるか広しない fact3: その掛け軸が負荷するとするとあの経済活動は御結婚だ fact4: もしあの匪団は広しないし更に抜け落ちないとすれば「その掛け軸は負荷する」ということは事実である fact5: もしもあの経済活動が温め続けないとするとそれは反転しない fact6: もしもなにがしかの物が温め続けないならそれは反転しない fact7: あの経済活動は御結婚であるか温め続けるかまたは両方ともだ fact8: 仮になにがしかのものが御結婚であるかもしくは温め続けないなら反転しない fact9: 仮に「あの匪団は広しということはないけどそれは抜け落ちる」ということは本当ならばあの掛け軸は負荷する
fact4 & fact1 -> int1: その掛け軸は負荷する; int1 & fact3 -> int2: あの経済活動は御結婚だ; int2 -> int3: あの経済活動は御結婚であるかもしくはそれは温め続けないかあるいはどちらもである; fact8 -> int4: あの経済活動が御結婚であるかそれが温め続けないとすれば反転しない; int3 & int4 -> hypothesis;
$facts$ = fact1: 「あの匪団は広しないしそれは抜け落ちない」ということは本当だ fact2: あの経済活動は温め続けるか広しない fact3: その掛け軸が負荷するとするとあの経済活動は御結婚だ fact4: もしあの匪団は広しないし更に抜け落ちないとすれば「その掛け軸は負荷する」ということは事実である fact5: もしもあの経済活動が温め続けないとするとそれは反転しない fact6: もしもなにがしかの物が温め続けないならそれは反転しない fact7: あの経済活動は御結婚であるか温め続けるかまたは両方ともだ fact8: 仮になにがしかのものが御結婚であるかもしくは温め続けないなら反転しない fact9: 仮に「あの匪団は広しということはないけどそれは抜け落ちる」ということは本当ならばあの掛け軸は負荷する ; $hypothesis$ = あの経済活動は反転しない ; $proof$ = 
fact4 & fact1 -> int1: その掛け軸は負荷する; int1 & fact3 -> int2: あの経済活動は御結婚だ; int2 -> int3: あの経済活動は御結婚であるかもしくはそれは温め続けないかあるいはどちらもである; fact8 -> int4: あの経済活動が御結婚であるかそれが温め続けないとすれば反転しない; int3 & int4 -> hypothesis; __PROVED__
事実1: 「あの匪団は広しないしそれは抜け落ちない」ということは本当だ
事実2: あの経済活動は温め続けるか広しない
事実3: その掛け軸が負荷するとするとあの経済活動は御結婚だ
事実4: もしあの匪団は広しないし更に抜け落ちないとすれば「その掛け軸は負荷する」ということは事実である
事実5: もしもあの経済活動が温め続けないとするとそれは反転しない
事実6: もしもなにがしかの物が温め続けないならそれは反転しない
事実7: あの経済活動は御結婚であるか温め続けるかまたは両方ともだ
事実8: 仮になにがしかのものが御結婚であるかもしくは温め続けないなら反転しない
事実9: 仮に「あの匪団は広しということはないけどそれは抜け落ちる」ということは本当ならばあの掛け軸は負荷する

仮説: あの経済活動は反転しない
1. 事実4と事実1から、推論1: "その掛け軸は負荷する"が導かれる
2. 推論1と事実3から、推論2: "あの経済活動は御結婚だ"が導かれる
3. 推論2から、推論3: "あの経済活動は御結婚であるかもしくはそれは温め続けないかあるいはどちらもである"が導かれる
4. 事実8から、推論4: "あの経済活動が御結婚であるかそれが温め続けないとすれば反転しない"が導かれる
5. 推論3と推論4から、仮説が導かれる

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