「その不定型が危ないならあのスイーティーは建物内だ」ということは事実と異なる
fact1: もしもその鶏が姿勢反射障害だ一方で潔くないなら「あのスイーティーは建物内である」ということは事実だ fact2: その不定型は服務す fact3: その不定型が進上しないならその鶏は姿勢反射障害だけれど潔いということはない fact4: あのスイーティーは危ない fact5: もしも危ないものは服務すとしたら「進上しない」ということは確かだ fact6: もし仮にその不定型が進上するということはないとしたらその鶏は姿勢反射障害だ fact7: そのカンフーは服務す
void -> assump1: 以下のように仮定する。その不定型は危ない; assump1 & fact2 -> int1: その不定型は危ないし更に服務す; fact5 -> int2: 仮にその不定型が危ないしその上それは服務すとすれば「それは進上しない」ということは本当だ; int1 & int2 -> int3: その不定型は進上しない; int3 & fact3 -> int4: その鶏は姿勢反射障害である一方でそれは潔くない; int4 & fact1 -> int5: あのスイーティーは建物内だ; [assump1] & int5 -> hypothesis;
$facts$ = fact1: もしもその鶏が姿勢反射障害だ一方で潔くないなら「あのスイーティーは建物内である」ということは事実だ fact2: その不定型は服務す fact3: その不定型が進上しないならその鶏は姿勢反射障害だけれど潔いということはない fact4: あのスイーティーは危ない fact5: もしも危ないものは服務すとしたら「進上しない」ということは確かだ fact6: もし仮にその不定型が進上するということはないとしたらその鶏は姿勢反射障害だ fact7: そのカンフーは服務す ; $hypothesis$ = 「その不定型が危ないならあのスイーティーは建物内だ」ということは事実と異なる ; $proof$ = 
void -> assump1: 以下のように仮定する。その不定型は危ない; assump1 & fact2 -> int1: その不定型は危ないし更に服務す; fact5 -> int2: 仮にその不定型が危ないしその上それは服務すとすれば「それは進上しない」ということは本当だ; int1 & int2 -> int3: その不定型は進上しない; int3 & fact3 -> int4: その鶏は姿勢反射障害である一方でそれは潔くない; int4 & fact1 -> int5: あのスイーティーは建物内だ; [assump1] & int5 -> hypothesis; __DISPROVED__
事実1: もしもその鶏が姿勢反射障害だ一方で潔くないなら「あのスイーティーは建物内である」ということは事実だ
事実2: その不定型は服務す
事実3: その不定型が進上しないならその鶏は姿勢反射障害だけれど潔いということはない
事実4: あのスイーティーは危ない
事実5: もしも危ないものは服務すとしたら「進上しない」ということは確かだ
事実6: もし仮にその不定型が進上するということはないとしたらその鶏は姿勢反射障害だ
事実7: そのカンフーは服務す

仮説: 「その不定型が危ないならあのスイーティーは建物内だ」ということは事実と異なる
1. 仮定1: 以下のように仮定する。その不定型は危ない
2. 仮定1と事実2から、推論1: "その不定型は危ないし更に服務す"が導かれる
3. 事実5から、推論2: "仮にその不定型が危ないしその上それは服務すとすれば「それは進上しない」ということは本当だ"が導かれる
4. 推論1と推論2から、推論3: "その不定型は進上しない"が導かれる
5. 推論3と事実3から、推論4: "その鶏は姿勢反射障害である一方でそれは潔くない"が導かれる
6. 推論4と事実1から、推論5: "あのスイーティーは建物内だ"が導かれる
7. [仮定1]と推論5から、仮説が否定される

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