そのセルフ・カウンセリングは覇権確立だ一方で教説でない
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: なにかは検分役でない fact26: もし仮にその炎症性サイトカインが楽しくないとするとその個人・家族は検分役であるしおまけに流れ着く fact27: 仮にあの十ＢＡＳＥ‐Ｔが祈祷しないとしたらそれは薄青くない
void -> assump1: 以下のように仮定する。あの十ＢＡＳＥ‐Ｔは祈祷しない; fact27 & assump1 -> int1: あの十ＢＡＳＥ‐Ｔは薄青くない; fact11 & fact6 -> int2: あの十ＢＡＳＥ‐Ｔは薄青い; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> int4: あの十ＢＡＳＥ‐Ｔは祈祷する; int4 & fact23 -> int5: このインストラクターは編み入れない; int5 & fact20 -> int6: その個人・家族は訪米するけれどボードでない; int6 -> int7: その個人・家族はボードでない; fact3 -> int8: 仮にその個人・家族はボードでないならば覇権確立でない; int7 & int8 -> int9: その個人・家族は覇権確立でない; int9 & fact19 -> hypothesis;
このインストラクターは祈祷するということはない
fact30 -> int10: もしも「あの十ＢＡＳＥ‐Ｔは訪米するということはない」ということは成り立つなら「それは薄青くないがしかし編み入れる」ということは嘘だ; fact28 & fact29 -> int11: あの十ＢＡＳＥ‐Ｔは覇権確立だ;
$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: なにかは検分役でない fact26: もし仮にその炎症性サイトカインが楽しくないとするとその個人・家族は検分役であるしおまけに流れ着く fact27: 仮にあの十ＢＡＳＥ‐Ｔが祈祷しないとしたらそれは薄青くない ; $hypothesis$ = そのセルフ・カウンセリングは覇権確立だ一方で教説でない ; $proof$ = 
void -> assump1: 以下のように仮定する。あの十ＢＡＳＥ‐Ｔは祈祷しない; fact27 & assump1 -> int1: あの十ＢＡＳＥ‐Ｔは薄青くない; fact11 & fact6 -> int2: あの十ＢＡＳＥ‐Ｔは薄青い; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> int4: あの十ＢＡＳＥ‐Ｔは祈祷する; int4 & fact23 -> int5: このインストラクターは編み入れない; int5 & fact20 -> int6: その個人・家族は訪米するけれどボードでない; int6 -> int7: その個人・家族はボードでない; fact3 -> int8: 仮にその個人・家族はボードでないならば覇権確立でない; int7 & int8 -> int9: その個人・家族は覇権確立でない; int9 & fact19 -> hypothesis; __DISPROVED__
事実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: なにかは検分役でない
事実26: もし仮にその炎症性サイトカインが楽しくないとするとその個人・家族は検分役であるしおまけに流れ着く
事実27: 仮にあの十ＢＡＳＥ‐Ｔが祈祷しないとしたらそれは薄青くない

仮説: そのセルフ・カウンセリングは覇権確立だ一方で教説でない
1. 仮定1: 以下のように仮定する。あの十ＢＡＳＥ‐Ｔは祈祷しない
2. 事実27と仮定1から、推論1: "あの十ＢＡＳＥ‐Ｔは薄青くない"が導かれる
3. 事実11と事実6から、推論2: "あの十ＢＡＳＥ‐Ｔは薄青い"が導かれる
4. 推論1と推論2から、推論3: "これは矛盾である"が導かれる
5. [仮定1]と推論3から、推論4: "あの十ＢＡＳＥ‐Ｔは祈祷する"が導かれる
6. 推論4と事実23から、推論5: "このインストラクターは編み入れない"が導かれる
7. 推論5と事実20から、推論6: "その個人・家族は訪米するけれどボードでない"が導かれる
8. 推論6から、推論7: "その個人・家族はボードでない"が導かれる
9. 事実3から、推論8: "仮にその個人・家族はボードでないならば覇権確立でない"が導かれる
10. 推論7と推論8から、推論9: "その個人・家族は覇権確立でない"が導かれる
11. 推論9と事実19から、仮説が否定される

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