「その再配置は確認し難いということはないけど開発出来る」ということは偽だ
fact1: その再配置は社会問題化する fact2: あの五千円札は社会問題化する fact3: もしあの否は溶け難いとしたら「トラック名である」ということは正しい fact4: もし「とある物は腫脹する」ということは事実だとすると開発出来る fact5: その席上は表示し切れる fact6: その再配置は表示し切れる fact7: 仮にその再配置が溶け難くないならそれは腫脹する fact8: 「仮にその再配置が腫脹するとするとその再配置は短時間内だ」ということは正しい fact9: その再配置は溶け難くない fact10: 仮に何かは表示し切れるししかも社会問題化するならそれは確認し難いということはない fact11: もしあの新巣が灰色っぽくないとしたら溶け難い
fact7 & fact9 -> int1: その再配置は腫脹する; fact4 -> int2: もし仮にその再配置が腫脹するとしたら開発出来る; int1 & int2 -> int3: その再配置は開発出来る; fact10 -> int4: もしその再配置は表示し切れるし社会問題化するとしたら確認し難くない; fact6 & fact1 -> int5: その再配置は表示し切れるしそれに社会問題化する; int4 & int5 -> int6: その再配置は確認し難くない; int3 & int6 -> hypothesis;
あの否はトラック名であるし優性遺伝である
$facts$ = fact1: その再配置は社会問題化する fact2: あの五千円札は社会問題化する fact3: もしあの否は溶け難いとしたら「トラック名である」ということは正しい fact4: もし「とある物は腫脹する」ということは事実だとすると開発出来る fact5: その席上は表示し切れる fact6: その再配置は表示し切れる fact7: 仮にその再配置が溶け難くないならそれは腫脹する fact8: 「仮にその再配置が腫脹するとするとその再配置は短時間内だ」ということは正しい fact9: その再配置は溶け難くない fact10: 仮に何かは表示し切れるししかも社会問題化するならそれは確認し難いということはない fact11: もしあの新巣が灰色っぽくないとしたら溶け難い ; $hypothesis$ = 「その再配置は確認し難いということはないけど開発出来る」ということは偽だ ; $proof$ = 
fact7 & fact9 -> int1: その再配置は腫脹する; fact4 -> int2: もし仮にその再配置が腫脹するとしたら開発出来る; int1 & int2 -> int3: その再配置は開発出来る; fact10 -> int4: もしその再配置は表示し切れるし社会問題化するとしたら確認し難くない; fact6 & fact1 -> int5: その再配置は表示し切れるしそれに社会問題化する; int4 & int5 -> int6: その再配置は確認し難くない; int3 & int6 -> hypothesis; __DISPROVED__
事実1: その再配置は社会問題化する
事実2: あの五千円札は社会問題化する
事実3: もしあの否は溶け難いとしたら「トラック名である」ということは正しい
事実4: もし「とある物は腫脹する」ということは事実だとすると開発出来る
事実5: その席上は表示し切れる
事実6: その再配置は表示し切れる
事実7: 仮にその再配置が溶け難くないならそれは腫脹する
事実8: 「仮にその再配置が腫脹するとするとその再配置は短時間内だ」ということは正しい
事実9: その再配置は溶け難くない
事実10: 仮に何かは表示し切れるししかも社会問題化するならそれは確認し難いということはない
事実11: もしあの新巣が灰色っぽくないとしたら溶け難い

仮説: 「その再配置は確認し難いということはないけど開発出来る」ということは偽だ
1. 事実7と事実9から、推論1: "その再配置は腫脹する"が導かれる
2. 事実4から、推論2: "もし仮にその再配置が腫脹するとしたら開発出来る"が導かれる
3. 推論1と推論2から、推論3: "その再配置は開発出来る"が導かれる
4. 事実10から、推論4: "もしその再配置は表示し切れるし社会問題化するとしたら確認し難くない"が導かれる
5. 事実6と事実1から、推論5: "その再配置は表示し切れるしそれに社会問題化する"が導かれる
6. 推論4と推論5から、推論6: "その再配置は確認し難くない"が導かれる
7. 推論3と推論6から、仮説が否定される

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