「その心理面が帰投するとすればそのＣＭは空転する」ということは成り立つということはない
fact1: その心理面は空転する fact2: もし仮にあるものは空転するなら「帰投するということはない」ということは成り立たない fact3: もし仮に「その心理面は吸い付ける」ということは成り立つとしたらそのＣＭは薄ら寒い fact4: もしなにかは仰々しいとすると物語る fact5: 仮に「「何らかのものは吸い付けるということはないけど空転する」ということは正しい」ということは嘘だとするとそれは吸い付ける fact6: この共通目標は帰投する fact7: 「薄ら寒いものは空転する」ということは誤っていない fact8: もし仮に「そのＣＭは帰投する」ということは成り立てばその心理面は空転する fact9: その心理面は付き易い fact10: そのＣＭが薄ら寒いとしたら帰投する fact11: 「なにかは吸い付ける」ということは事実だとしたら帰投する fact12: その心理面が帰投するとするとそれは吸い付ける fact13: その心理面は物語る fact14: その心理面は薄ら寒い fact15: その心理面は攻撃出来る fact16: もしそのＣＭが帰投するとすればその心理面は薄ら寒い fact17: 「もしも「その心理面は空転する」ということは真実であるならそのＣＭは帰投する」ということは正しい fact18: 薄ら寒い物は帰投する
void -> assump1: 以下のように仮定する。その心理面は帰投する; fact12 & assump1 -> int1: 「その心理面は吸い付ける」ということは事実だ; int1 & fact3 -> int2: そのＣＭは薄ら寒い; fact7 -> int3: もしそのＣＭが薄ら寒いなら空転する; int2 & int3 -> int4: そのＣＭは空転する; [assump1] & int4 -> hypothesis;
この昼夜逆転は帰投する
fact19 -> int5: 仮にこの昼夜逆転は吸い付けるとすると「帰投する」ということは本当である; fact20 -> int6: もしも「この昼夜逆転は吸い付けないけれど空転する」ということは成り立たないならばそれは吸い付ける;
$facts$ = fact1: その心理面は空転する fact2: もし仮にあるものは空転するなら「帰投するということはない」ということは成り立たない fact3: もし仮に「その心理面は吸い付ける」ということは成り立つとしたらそのＣＭは薄ら寒い fact4: もしなにかは仰々しいとすると物語る fact5: 仮に「「何らかのものは吸い付けるということはないけど空転する」ということは正しい」ということは嘘だとするとそれは吸い付ける fact6: この共通目標は帰投する fact7: 「薄ら寒いものは空転する」ということは誤っていない fact8: もし仮に「そのＣＭは帰投する」ということは成り立てばその心理面は空転する fact9: その心理面は付き易い fact10: そのＣＭが薄ら寒いとしたら帰投する fact11: 「なにかは吸い付ける」ということは事実だとしたら帰投する fact12: その心理面が帰投するとするとそれは吸い付ける fact13: その心理面は物語る fact14: その心理面は薄ら寒い fact15: その心理面は攻撃出来る fact16: もしそのＣＭが帰投するとすればその心理面は薄ら寒い fact17: 「もしも「その心理面は空転する」ということは真実であるならそのＣＭは帰投する」ということは正しい fact18: 薄ら寒い物は帰投する ; $hypothesis$ = 「その心理面が帰投するとすればそのＣＭは空転する」ということは成り立つということはない ; $proof$ = 
void -> assump1: 以下のように仮定する。その心理面は帰投する; fact12 & assump1 -> int1: 「その心理面は吸い付ける」ということは事実だ; int1 & fact3 -> int2: そのＣＭは薄ら寒い; fact7 -> int3: もしそのＣＭが薄ら寒いなら空転する; int2 & int3 -> int4: そのＣＭは空転する; [assump1] & int4 -> hypothesis; __DISPROVED__
事実1: その心理面は空転する
事実2: もし仮にあるものは空転するなら「帰投するということはない」ということは成り立たない
事実3: もし仮に「その心理面は吸い付ける」ということは成り立つとしたらそのＣＭは薄ら寒い
事実4: もしなにかは仰々しいとすると物語る
事実5: 仮に「「何らかのものは吸い付けるということはないけど空転する」ということは正しい」ということは嘘だとするとそれは吸い付ける
事実6: この共通目標は帰投する
事実7: 「薄ら寒いものは空転する」ということは誤っていない
事実8: もし仮に「そのＣＭは帰投する」ということは成り立てばその心理面は空転する
事実9: その心理面は付き易い
事実10: そのＣＭが薄ら寒いとしたら帰投する
事実11: 「なにかは吸い付ける」ということは事実だとしたら帰投する
事実12: その心理面が帰投するとするとそれは吸い付ける
事実13: その心理面は物語る
事実14: その心理面は薄ら寒い
事実15: その心理面は攻撃出来る
事実16: もしそのＣＭが帰投するとすればその心理面は薄ら寒い
事実17: 「もしも「その心理面は空転する」ということは真実であるならそのＣＭは帰投する」ということは正しい
事実18: 薄ら寒い物は帰投する

仮説: 「その心理面が帰投するとすればそのＣＭは空転する」ということは成り立つということはない
1. 仮定1: 以下のように仮定する。その心理面は帰投する
2. 事実12と仮定1から、推論1: "「その心理面は吸い付ける」ということは事実だ"が導かれる
3. 推論1と事実3から、推論2: "そのＣＭは薄ら寒い"が導かれる
4. 事実7から、推論3: "もしそのＣＭが薄ら寒いなら空転する"が導かれる
5. 推論2と推論3から、推論4: "そのＣＭは空転する"が導かれる
6. [仮定1]と推論4から、仮説が否定される

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