その入学式は分厚くない
fact1: 何らかの物は取っ捕まるということはないしさらに姉や妹でないとしたら輝かし fact2: もしもその十日判決が真白いとすればその入学式は分厚い fact3: その沿い室は取っ捕まらない fact4: その沿い室は姉や妹でない fact5: もしその沿い室が取っ捕まらないしかつ打開しないとすればあの十日判決は姉や妹だということはない fact6: あのトランス型ポリアセチレンは取っ捕まらない fact7: 仮に「なにかは守り易くないけど二百四十×三百二十ピクセルである」ということは成り立たないとすると輝かしということはない fact8: 仮にその十日判決は真白くないとすれば「その沿い室は守り易くない一方で二百四十×三百二十ピクセルである」ということは本当だということはない
void -> assump1: 以下のように仮定する。その十日判決は真白くない; fact8 & assump1 -> int1: 「その沿い室は守り易くないが二百四十×三百二十ピクセルだ」ということは成り立たない; fact7 -> int2: 仮に「その沿い室は守り易くないけれど二百四十×三百二十ピクセルである」ということは嘘であるなら輝かしない; int1 & int2 -> int3: 「その沿い室は輝かしない」ということは確かだ; fact1 -> int4: その沿い室は取っ捕まるということはなくて姉や妹でないとすれば輝かし; fact3 & fact4 -> int5: その沿い室は取っ捕まらないし加えて姉や妹だということはない; int4 & int5 -> int6: その沿い室は輝かし; int3 & int6 -> int7: これは矛盾である; [assump1] & int7 -> int8: 「その十日判決は真白い」ということは本当である; int8 & fact2 -> hypothesis;
その入学式は分厚いということはない
$facts$ = fact1: 何らかの物は取っ捕まるということはないしさらに姉や妹でないとしたら輝かし fact2: もしもその十日判決が真白いとすればその入学式は分厚い fact3: その沿い室は取っ捕まらない fact4: その沿い室は姉や妹でない fact5: もしその沿い室が取っ捕まらないしかつ打開しないとすればあの十日判決は姉や妹だということはない fact6: あのトランス型ポリアセチレンは取っ捕まらない fact7: 仮に「なにかは守り易くないけど二百四十×三百二十ピクセルである」ということは成り立たないとすると輝かしということはない fact8: 仮にその十日判決は真白くないとすれば「その沿い室は守り易くない一方で二百四十×三百二十ピクセルである」ということは本当だということはない ; $hypothesis$ = その入学式は分厚くない ; $proof$ = 
void -> assump1: 以下のように仮定する。その十日判決は真白くない; fact8 & assump1 -> int1: 「その沿い室は守り易くないが二百四十×三百二十ピクセルだ」ということは成り立たない; fact7 -> int2: 仮に「その沿い室は守り易くないけれど二百四十×三百二十ピクセルである」ということは嘘であるなら輝かしない; int1 & int2 -> int3: 「その沿い室は輝かしない」ということは確かだ; fact1 -> int4: その沿い室は取っ捕まるということはなくて姉や妹でないとすれば輝かし; fact3 & fact4 -> int5: その沿い室は取っ捕まらないし加えて姉や妹だということはない; int4 & int5 -> int6: その沿い室は輝かし; int3 & int6 -> int7: これは矛盾である; [assump1] & int7 -> int8: 「その十日判決は真白い」ということは本当である; int8 & fact2 -> hypothesis; __DISPROVED__
事実1: 何らかの物は取っ捕まるということはないしさらに姉や妹でないとしたら輝かし
事実2: もしもその十日判決が真白いとすればその入学式は分厚い
事実3: その沿い室は取っ捕まらない
事実4: その沿い室は姉や妹でない
事実5: もしその沿い室が取っ捕まらないしかつ打開しないとすればあの十日判決は姉や妹だということはない
事実6: あのトランス型ポリアセチレンは取っ捕まらない
事実7: 仮に「なにかは守り易くないけど二百四十×三百二十ピクセルである」ということは成り立たないとすると輝かしということはない
事実8: 仮にその十日判決は真白くないとすれば「その沿い室は守り易くない一方で二百四十×三百二十ピクセルである」ということは本当だということはない

仮説: その入学式は分厚くない
1. 仮定1: 以下のように仮定する。その十日判決は真白くない
2. 事実8と仮定1から、推論1: "「その沿い室は守り易くないが二百四十×三百二十ピクセルだ」ということは成り立たない"が導かれる
3. 事実7から、推論2: "仮に「その沿い室は守り易くないけれど二百四十×三百二十ピクセルである」ということは嘘であるなら輝かしない"が導かれる
4. 推論1と推論2から、推論3: "「その沿い室は輝かしない」ということは確かだ"が導かれる
5. 事実1から、推論4: "その沿い室は取っ捕まるということはなくて姉や妹でないとすれば輝かし"が導かれる
6. 事実3と事実4から、推論5: "その沿い室は取っ捕まらないし加えて姉や妹だということはない"が導かれる
7. 推論4と推論5から、推論6: "その沿い室は輝かし"が導かれる
8. 推論3と推論6から、推論7: "これは矛盾である"が導かれる
9. [仮定1]と推論7から、推論8: "「その十日判決は真白い」ということは本当である"が導かれる
10. 推論8と事実2から、仮説が否定される

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