あの掏摸ガラスは乾き易い
fact1: 「その大物は乾き易くないしおまけにかったるくない」ということは誤りである fact2: あの臨界事故はかったるくない fact3: あの臨界事故は一時間余りである fact4: もし仮になんらかの物がかったるくないかあるいは戦うか両方ともならばそれはかったるくない fact5: 「あの臨界事故は一時間余りでなくてかつそれは戦わない」ということは偽だ fact6: 「あの臨界事故は戦わないし一時間余りでない」ということは成り立つということはない fact7: もしあの掏摸ガラスが通運丸でないならばその大物はかったるくないしそれは戦わない fact8: もし「あの造血幹細胞はかったるくないしおまけにそれは取り捌くということはない」ということは成り立つということはないとしたら共有し合わない fact9: 仮になにがしかのものは折れ易いとすると「それはかったるい一方で戦うということはない」ということは嘘である fact10: もし仮にとあるものは通運丸であるということはないならばそれはかったるくないかまたは戦うかあるいはどちらもである fact11: もし仮にあの掏摸ガラスが折れ易くないならその大物は通運丸でない fact12: 仮にあの臨界事故が一時間余りならその大物は折れ易い fact13: 「その大物は折れ易いとすれば「その大物はかったるいけど戦うということはない」ということは成り立たない」ということは成り立つ fact14: あの掏摸ガラスは沢山しない fact15: 「あの臨界事故は折れ易くて一時間余りである」ということは誤りだ fact16: 「その大物はかったるいけれど戦わない」ということは間違いだ fact17: 仮に「あの掏摸ガラスは乾き易くなくておまけに沢山しない」ということは確かでないなら通運丸でない fact18: もしなんらかのものは折れ易いなら「それはかったるくなくておまけに戦わない」ということは成り立たない
void -> assump1: 以下のように仮定する。「あの掏摸ガラスは乾き易くないしまた沢山しない」ということは正しくない; fact17 & assump1 -> int1: あの掏摸ガラスは通運丸でない; int1 & fact7 -> int2: その大物はかったるくないし戦わない; fact18 -> int3: その大物は折れ易いならば「かったるくないしまた戦わない」ということは誤りだ; fact12 & fact3 -> int4: その大物は折れ易い; int3 & int4 -> int5: 「その大物はかったるいということはないし戦わない」ということは成り立たない; int2 & int5 -> int6: これは矛盾である; [assump1] & int6 -> int7: あの掏摸ガラスは乾き易くないし沢山しない; int7 -> hypothesis;
あの掏摸ガラスは乾き易い
fact21 -> int8: もしその大物はかったるくないか戦うかあるいはどちらもだとしたらかったるいということはない; fact20 -> int9: もし仮にその大物が通運丸だということはないとすればそれはかったるくないか戦うかもしくは両方ともである; fact19 -> int10: 「「折れ易いしかつ一時間余りである」ということは嘘である」物はある;
$facts$ = fact1: 「その大物は乾き易くないしおまけにかったるくない」ということは誤りである fact2: あの臨界事故はかったるくない fact3: あの臨界事故は一時間余りである fact4: もし仮になんらかの物がかったるくないかあるいは戦うか両方ともならばそれはかったるくない fact5: 「あの臨界事故は一時間余りでなくてかつそれは戦わない」ということは偽だ fact6: 「あの臨界事故は戦わないし一時間余りでない」ということは成り立つということはない fact7: もしあの掏摸ガラスが通運丸でないならばその大物はかったるくないしそれは戦わない fact8: もし「あの造血幹細胞はかったるくないしおまけにそれは取り捌くということはない」ということは成り立つということはないとしたら共有し合わない fact9: 仮になにがしかのものは折れ易いとすると「それはかったるい一方で戦うということはない」ということは嘘である fact10: もし仮にとあるものは通運丸であるということはないならばそれはかったるくないかまたは戦うかあるいはどちらもである fact11: もし仮にあの掏摸ガラスが折れ易くないならその大物は通運丸でない fact12: 仮にあの臨界事故が一時間余りならその大物は折れ易い fact13: 「その大物は折れ易いとすれば「その大物はかったるいけど戦うということはない」ということは成り立たない」ということは成り立つ fact14: あの掏摸ガラスは沢山しない fact15: 「あの臨界事故は折れ易くて一時間余りである」ということは誤りだ fact16: 「その大物はかったるいけれど戦わない」ということは間違いだ fact17: 仮に「あの掏摸ガラスは乾き易くなくておまけに沢山しない」ということは確かでないなら通運丸でない fact18: もしなんらかのものは折れ易いなら「それはかったるくなくておまけに戦わない」ということは成り立たない ; $hypothesis$ = あの掏摸ガラスは乾き易い ; $proof$ = 
void -> assump1: 以下のように仮定する。「あの掏摸ガラスは乾き易くないしまた沢山しない」ということは正しくない; fact17 & assump1 -> int1: あの掏摸ガラスは通運丸でない; int1 & fact7 -> int2: その大物はかったるくないし戦わない; fact18 -> int3: その大物は折れ易いならば「かったるくないしまた戦わない」ということは誤りだ; fact12 & fact3 -> int4: その大物は折れ易い; int3 & int4 -> int5: 「その大物はかったるいということはないし戦わない」ということは成り立たない; int2 & int5 -> int6: これは矛盾である; [assump1] & int6 -> int7: あの掏摸ガラスは乾き易くないし沢山しない; int7 -> hypothesis; __DISPROVED__
事実1: 「その大物は乾き易くないしおまけにかったるくない」ということは誤りである
事実2: あの臨界事故はかったるくない
事実3: あの臨界事故は一時間余りである
事実4: もし仮になんらかの物がかったるくないかあるいは戦うか両方ともならばそれはかったるくない
事実5: 「あの臨界事故は一時間余りでなくてかつそれは戦わない」ということは偽だ
事実6: 「あの臨界事故は戦わないし一時間余りでない」ということは成り立つということはない
事実7: もしあの掏摸ガラスが通運丸でないならばその大物はかったるくないしそれは戦わない
事実8: もし「あの造血幹細胞はかったるくないしおまけにそれは取り捌くということはない」ということは成り立つということはないとしたら共有し合わない
事実9: 仮になにがしかのものは折れ易いとすると「それはかったるい一方で戦うということはない」ということは嘘である
事実10: もし仮にとあるものは通運丸であるということはないならばそれはかったるくないかまたは戦うかあるいはどちらもである
事実11: もし仮にあの掏摸ガラスが折れ易くないならその大物は通運丸でない
事実12: 仮にあの臨界事故が一時間余りならその大物は折れ易い
事実13: 「その大物は折れ易いとすれば「その大物はかったるいけど戦うということはない」ということは成り立たない」ということは成り立つ
事実14: あの掏摸ガラスは沢山しない
事実15: 「あの臨界事故は折れ易くて一時間余りである」ということは誤りだ
事実16: 「その大物はかったるいけれど戦わない」ということは間違いだ
事実17: 仮に「あの掏摸ガラスは乾き易くなくておまけに沢山しない」ということは確かでないなら通運丸でない
事実18: もしなんらかのものは折れ易いなら「それはかったるくなくておまけに戦わない」ということは成り立たない

仮説: あの掏摸ガラスは乾き易い
1. 仮定1: 以下のように仮定する。「あの掏摸ガラスは乾き易くないしまた沢山しない」ということは正しくない
2. 事実17と仮定1から、推論1: "あの掏摸ガラスは通運丸でない"が導かれる
3. 推論1と事実7から、推論2: "その大物はかったるくないし戦わない"が導かれる
4. 事実18から、推論3: "その大物は折れ易いならば「かったるくないしまた戦わない」ということは誤りだ"が導かれる
5. 事実12と事実3から、推論4: "その大物は折れ易い"が導かれる
6. 推論3と推論4から、推論5: "「その大物はかったるいということはないし戦わない」ということは成り立たない"が導かれる
7. 推論2と推論5から、推論6: "これは矛盾である"が導かれる
8. [仮定1]と推論6から、推論7: "あの掏摸ガラスは乾き易くないし沢山しない"が導かれる
9. 推論7から、仮説が否定される

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