この小説雑誌は持てない
fact1: 仮に何らかの物は印象深いとすれば「それは思しくないし小高くない」ということは成り立たない fact2: その薄型は追及出来る fact3: その薄型は追及出来るし印象深い fact4: 仮に「その薄型は思しくないし更に小高いということはない」ということは成り立たないとすればあの小説雑誌は持てる fact5: 「その薄型は思しいが小高くない」ということは成り立たない fact6: 仮にその薄型は印象深いなら「思しいということはないけど小高い」ということは成り立たない fact7: 仮に何らかのものは印象深いとしたら「それは思しくないが小高い」ということは成り立たない fact8: 「その薄型は思しくないが小高い」ということは誤っている fact9: もし仮に「その薄型は持てる」ということは正しいとすると「追及出来ないしおまけに思しくない」ということは間違いである fact10: この小説雑誌は追及出来る
fact3 -> int1: その薄型は印象深い; fact1 -> int2: もし「その薄型は印象深い」ということは真実であるとしたら「それは思しくないし小高くない」ということは本当でない; int1 & int2 -> int3: 「その薄型は思しくないしかつ小高くない」ということは誤りである; int3 & fact4 -> hypothesis;
$facts$ = fact1: 仮に何らかの物は印象深いとすれば「それは思しくないし小高くない」ということは成り立たない fact2: その薄型は追及出来る fact3: その薄型は追及出来るし印象深い fact4: 仮に「その薄型は思しくないし更に小高いということはない」ということは成り立たないとすればあの小説雑誌は持てる fact5: 「その薄型は思しいが小高くない」ということは成り立たない fact6: 仮にその薄型は印象深いなら「思しいということはないけど小高い」ということは成り立たない fact7: 仮に何らかのものは印象深いとしたら「それは思しくないが小高い」ということは成り立たない fact8: 「その薄型は思しくないが小高い」ということは誤っている fact9: もし仮に「その薄型は持てる」ということは正しいとすると「追及出来ないしおまけに思しくない」ということは間違いである fact10: この小説雑誌は追及出来る ; $hypothesis$ = この小説雑誌は持てない ; $proof$ = 
fact3 -> int1: その薄型は印象深い; fact1 -> int2: もし「その薄型は印象深い」ということは真実であるとしたら「それは思しくないし小高くない」ということは本当でない; int1 & int2 -> int3: 「その薄型は思しくないしかつ小高くない」ということは誤りである; int3 & fact4 -> hypothesis; __DISPROVED__
事実1: 仮に何らかの物は印象深いとすれば「それは思しくないし小高くない」ということは成り立たない
事実2: その薄型は追及出来る
事実3: その薄型は追及出来るし印象深い
事実4: 仮に「その薄型は思しくないし更に小高いということはない」ということは成り立たないとすればあの小説雑誌は持てる
事実5: 「その薄型は思しいが小高くない」ということは成り立たない
事実6: 仮にその薄型は印象深いなら「思しいということはないけど小高い」ということは成り立たない
事実7: 仮に何らかのものは印象深いとしたら「それは思しくないが小高い」ということは成り立たない
事実8: 「その薄型は思しくないが小高い」ということは誤っている
事実9: もし仮に「その薄型は持てる」ということは正しいとすると「追及出来ないしおまけに思しくない」ということは間違いである
事実10: この小説雑誌は追及出来る

仮説: この小説雑誌は持てない
1. 事実3から、推論1: "その薄型は印象深い"が導かれる
2. 事実1から、推論2: "もし「その薄型は印象深い」ということは真実であるとしたら「それは思しくないし小高くない」ということは本当でない"が導かれる
3. 推論1と推論2から、推論3: "「その薄型は思しくないしかつ小高くない」ということは誤りである"が導かれる
4. 推論3と事実4から、仮説が否定される

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