「その中高は公布しない」ということは本当である
fact1: 仮になにかは表記しない一方で核分裂するとするとそれは登録する fact2: この確かさは拭わない fact3: その石持は表記するし核分裂する fact4: 色好いものはマージナリティである fact5: 仮にその石持が表記するなら登録しない fact6: もし仮にその中高が華々しくなくて加えてそれが献納しないならばその石持は公布する fact7: もしとあるものは登録しないし加えて誦すないとしたらそれは華々しくない fact8: その石持が成り易いならばこの共同議長は表記しないけれど核分裂する fact9: もし世知辛くない物が献納しないならそれはマージナリティであるということはない fact10: この共同議長は拭わない fact11: 仮にこの共同議長が拭わないならばそれは世知辛くなくてかつ献納しない fact12: 仮にこの共同議長がマージナリティでないならその石持は色好いということはない fact13: もしこの共同議長が登録するとすればその中高は誦すがしかしそれは華々しくない fact14: 仮に「何らかのものは拭わない」ということは成り立つならそれは献納しないしかつ耐熱皿でない fact15: もしその石持が表記するとすればそれは登録するということはなくて誦すない fact16: もし仮にその石持が華々しいということはないし色好くないならその中高は公布する fact17: もし何かは誦すが華々しいということはないならば色好い fact18: 「その石持は登録するということはない」ということは真実だ
fact11 & fact10 -> int1: この共同議長は世知辛いということはないしそれは献納しない; fact9 -> int2: もしこの共同議長は世知辛くなくてかつ献納しないとしたらそれはマージナリティでない; int1 & int2 -> int3: この共同議長はマージナリティでない; int3 & fact12 -> int4: その石持は色好いということはない; fact7 -> int5: その石持は登録しないしその上誦さないならば華々しいということはない; fact3 -> int6: その石持は表記する; fact15 & int6 -> int7: その石持は登録しなくて誦すない; int5 & int7 -> int8: その石持は華々しくない; int4 & int8 -> int9: その石持は華々しくないしそれに色好くない; int9 & fact16 -> hypothesis;
このガスストーブが献納するということはないしさらにそれは耐熱皿だということはない
fact19 -> int10: もしこのガスストーブが拭わないならそれは献納しないしさらに耐熱皿でない;
$facts$ = fact1: 仮になにかは表記しない一方で核分裂するとするとそれは登録する fact2: この確かさは拭わない fact3: その石持は表記するし核分裂する fact4: 色好いものはマージナリティである fact5: 仮にその石持が表記するなら登録しない fact6: もし仮にその中高が華々しくなくて加えてそれが献納しないならばその石持は公布する fact7: もしとあるものは登録しないし加えて誦すないとしたらそれは華々しくない fact8: その石持が成り易いならばこの共同議長は表記しないけれど核分裂する fact9: もし世知辛くない物が献納しないならそれはマージナリティであるということはない fact10: この共同議長は拭わない fact11: 仮にこの共同議長が拭わないならばそれは世知辛くなくてかつ献納しない fact12: 仮にこの共同議長がマージナリティでないならその石持は色好いということはない fact13: もしこの共同議長が登録するとすればその中高は誦すがしかしそれは華々しくない fact14: 仮に「何らかのものは拭わない」ということは成り立つならそれは献納しないしかつ耐熱皿でない fact15: もしその石持が表記するとすればそれは登録するということはなくて誦すない fact16: もし仮にその石持が華々しいということはないし色好くないならその中高は公布する fact17: もし何かは誦すが華々しいということはないならば色好い fact18: 「その石持は登録するということはない」ということは真実だ ; $hypothesis$ = 「その中高は公布しない」ということは本当である ; $proof$ = 
fact11 & fact10 -> int1: この共同議長は世知辛いということはないしそれは献納しない; fact9 -> int2: もしこの共同議長は世知辛くなくてかつ献納しないとしたらそれはマージナリティでない; int1 & int2 -> int3: この共同議長はマージナリティでない; int3 & fact12 -> int4: その石持は色好いということはない; fact7 -> int5: その石持は登録しないしその上誦さないならば華々しいということはない; fact3 -> int6: その石持は表記する; fact15 & int6 -> int7: その石持は登録しなくて誦すない; int5 & int7 -> int8: その石持は華々しくない; int4 & int8 -> int9: その石持は華々しくないしそれに色好くない; int9 & fact16 -> hypothesis; __DISPROVED__
事実1: 仮になにかは表記しない一方で核分裂するとするとそれは登録する
事実2: この確かさは拭わない
事実3: その石持は表記するし核分裂する
事実4: 色好いものはマージナリティである
事実5: 仮にその石持が表記するなら登録しない
事実6: もし仮にその中高が華々しくなくて加えてそれが献納しないならばその石持は公布する
事実7: もしとあるものは登録しないし加えて誦すないとしたらそれは華々しくない
事実8: その石持が成り易いならばこの共同議長は表記しないけれど核分裂する
事実9: もし世知辛くない物が献納しないならそれはマージナリティであるということはない
事実10: この共同議長は拭わない
事実11: 仮にこの共同議長が拭わないならばそれは世知辛くなくてかつ献納しない
事実12: 仮にこの共同議長がマージナリティでないならその石持は色好いということはない
事実13: もしこの共同議長が登録するとすればその中高は誦すがしかしそれは華々しくない
事実14: 仮に「何らかのものは拭わない」ということは成り立つならそれは献納しないしかつ耐熱皿でない
事実15: もしその石持が表記するとすればそれは登録するということはなくて誦すない
事実16: もし仮にその石持が華々しいということはないし色好くないならその中高は公布する
事実17: もし何かは誦すが華々しいということはないならば色好い
事実18: 「その石持は登録するということはない」ということは真実だ

仮説: 「その中高は公布しない」ということは本当である
1. 事実11と事実10から、推論1: "この共同議長は世知辛いということはないしそれは献納しない"が導かれる
2. 事実9から、推論2: "もしこの共同議長は世知辛くなくてかつ献納しないとしたらそれはマージナリティでない"が導かれる
3. 推論1と推論2から、推論3: "この共同議長はマージナリティでない"が導かれる
4. 推論3と事実12から、推論4: "その石持は色好いということはない"が導かれる
5. 事実7から、推論5: "その石持は登録しないしその上誦さないならば華々しいということはない"が導かれる
6. 事実3から、推論6: "その石持は表記する"が導かれる
7. 事実15と推論6から、推論7: "その石持は登録しなくて誦すない"が導かれる
8. 推論5と推論7から、推論8: "その石持は華々しくない"が導かれる
9. 推論4と推論8から、推論9: "その石持は華々しくないしそれに色好くない"が導かれる
10. 推論9と事実16から、仮説が否定される

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