その主材は険しい
fact1: 「「遊び道具でないかもしくは溶かし出すということはないかあるいは両方ともである」物はある」ということは確かだ fact2: 「溶かし出す」物はある fact3: 焦げ臭いものは滅菌しないかあるいは桟でないかもしくは両方ともだ fact4: 「「遊び道具であるということはないかもしくは溶かし出すかもしくはどちらもである」ということは嘘である」物はある fact5: 仮にあの武者人形が世知辛くて険しいならばあの収縮輪は険しかない fact6: 「遊び道具である」物はある fact7: 「「遊び道具であるか溶かし出しないかもしくは両方だ」ということは成り立たない」物はある fact8: あの識別情報は遊び道具だ fact9: もし仮にあの収縮輪が険しかないしその上桟でないならその主材は険しい fact10: もしもある物が滅菌するということはないかもしくはそれは桟だということはないかもしくは両方ともであるとしたらそれは桟だということはない fact11: 「「滅菌しないかもしくは溶かし出しないかもしくは両方である」ということは成り立たない」物があるとしたらその主材は遊び道具でない fact12: 覚束無くない物は焦げ臭くてまた生きる fact13: もし何かは滅菌しないとしたら険しかない fact14: もし「「遊び道具でないかもしくは溶かし出さない」ということは成り立つということはない」ものがあればその主材は滅菌しない fact15: あの武者人形は世知辛いししかも険しい fact16: 「「あの識別情報は遊び道具でないかそれは溶かし出しないか両方ともだ」ということは成り立たない」ということは事実である
fact16 -> int1: 「「遊び道具でないかあるいは溶かし出しないかまたは両方だ」ということは偽な」物はある; int1 & fact14 -> int2: その主材は滅菌するということはない; fact13 -> int3: もしもその主材が滅菌しないならそれは険しかない; int2 & int3 -> hypothesis;
その主材は険しい
fact22 & fact19 -> int4: あの収縮輪は険しかない; fact20 -> int5: もしあの収縮輪が滅菌しないかあるいは桟であるということはないなら桟だということはない; fact17 -> int6: もし仮にあの収縮輪が焦げ臭いとするとそれは滅菌しないか桟でないか両方ともである; fact18 -> int7: もし仮にあの収縮輪が覚束無くないとしたら焦げ臭いしさらに生きる;
$facts$ = fact1: 「「遊び道具でないかもしくは溶かし出すということはないかあるいは両方ともである」物はある」ということは確かだ fact2: 「溶かし出す」物はある fact3: 焦げ臭いものは滅菌しないかあるいは桟でないかもしくは両方ともだ fact4: 「「遊び道具であるということはないかもしくは溶かし出すかもしくはどちらもである」ということは嘘である」物はある fact5: 仮にあの武者人形が世知辛くて険しいならばあの収縮輪は険しかない fact6: 「遊び道具である」物はある fact7: 「「遊び道具であるか溶かし出しないかもしくは両方だ」ということは成り立たない」物はある fact8: あの識別情報は遊び道具だ fact9: もし仮にあの収縮輪が険しかないしその上桟でないならその主材は険しい fact10: もしもある物が滅菌するということはないかもしくはそれは桟だということはないかもしくは両方ともであるとしたらそれは桟だということはない fact11: 「「滅菌しないかもしくは溶かし出しないかもしくは両方である」ということは成り立たない」物があるとしたらその主材は遊び道具でない fact12: 覚束無くない物は焦げ臭くてまた生きる fact13: もし何かは滅菌しないとしたら険しかない fact14: もし「「遊び道具でないかもしくは溶かし出さない」ということは成り立つということはない」ものがあればその主材は滅菌しない fact15: あの武者人形は世知辛いししかも険しい fact16: 「「あの識別情報は遊び道具でないかそれは溶かし出しないか両方ともだ」ということは成り立たない」ということは事実である ; $hypothesis$ = その主材は険しい ; $proof$ = 
fact16 -> int1: 「「遊び道具でないかあるいは溶かし出しないかまたは両方だ」ということは偽な」物はある; int1 & fact14 -> int2: その主材は滅菌するということはない; fact13 -> int3: もしもその主材が滅菌しないならそれは険しかない; int2 & int3 -> hypothesis; __DISPROVED__
事実1: 「「遊び道具でないかもしくは溶かし出すということはないかあるいは両方ともである」物はある」ということは確かだ
事実2: 「溶かし出す」物はある
事実3: 焦げ臭いものは滅菌しないかあるいは桟でないかもしくは両方ともだ
事実4: 「「遊び道具であるということはないかもしくは溶かし出すかもしくはどちらもである」ということは嘘である」物はある
事実5: 仮にあの武者人形が世知辛くて険しいならばあの収縮輪は険しかない
事実6: 「遊び道具である」物はある
事実7: 「「遊び道具であるか溶かし出しないかもしくは両方だ」ということは成り立たない」物はある
事実8: あの識別情報は遊び道具だ
事実9: もし仮にあの収縮輪が険しかないしその上桟でないならその主材は険しい
事実10: もしもある物が滅菌するということはないかもしくはそれは桟だということはないかもしくは両方ともであるとしたらそれは桟だということはない
事実11: 「「滅菌しないかもしくは溶かし出しないかもしくは両方である」ということは成り立たない」物があるとしたらその主材は遊び道具でない
事実12: 覚束無くない物は焦げ臭くてまた生きる
事実13: もし何かは滅菌しないとしたら険しかない
事実14: もし「「遊び道具でないかもしくは溶かし出さない」ということは成り立つということはない」ものがあればその主材は滅菌しない
事実15: あの武者人形は世知辛いししかも険しい
事実16: 「「あの識別情報は遊び道具でないかそれは溶かし出しないか両方ともだ」ということは成り立たない」ということは事実である

仮説: その主材は険しい
1. 事実16から、推論1: "「「遊び道具でないかあるいは溶かし出しないかまたは両方だ」ということは偽な」物はある"が導かれる
2. 推論1と事実14から、推論2: "その主材は滅菌するということはない"が導かれる
3. 事実13から、推論3: "もしもその主材が滅菌しないならそれは険しかない"が導かれる
4. 推論2と推論3から、仮説が否定される

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