「この雌雄異体は慎み深くて共有化する」ということは成り立つということはない
fact1: もしもこの雌雄異体が予測し易くないしさらに吐き捨てないとすればその作業環境は苦し過ぎない fact2: もしも何らかの物が苦し過ぎないとすると共有化するしさらにそれは見せ始める fact3: 「妙心があるとしたらこの雌雄異体は予測し易くないし吐き捨てない」ということは事実である fact4: この雌雄異体は共有化する fact5: あの見当識障害は見せ始めるしさらに御寒い fact6: その事実確認は共有化する fact7: もしもあの見当識障害が見せ始めればこの雌雄異体は慎み深い fact8: あの見当識障害は御寒い fact9: あの見当識障害は見せ始めるということはないとすれば「この雌雄異体は慎み深くておまけにそれは共有化する」ということは成り立たない fact10: この見極めは御寒い fact11: この雌雄異体は御寒い fact12: 「妙心である」ものはある
fact5 -> int1: あの見当識障害は見せ始める; int1 & fact7 -> int2: この雌雄異体は慎み深い; int2 & fact4 -> hypothesis;
fact5 -> int1: {A}{a}; int1 & fact7 -> int2: {C}{b}; int2 & fact4 -> hypothesis;
「その作業環境は見せ始めるしおまけに代表する」ということは成り立つ
fact14 -> int3: もしその作業環境は苦し過ぎないならばそれは共有化するし見せ始める; fact16 & fact13 -> int4: この雌雄異体は予測し易くないししかもそれは吐き捨てない; fact15 & int4 -> int5: その作業環境は苦し過ぎるということはない; int3 & int5 -> int6: その作業環境は共有化するしおまけに見せ始める; int6 -> int7: その作業環境は見せ始める;
$facts$ = fact1: もしもこの雌雄異体が予測し易くないしさらに吐き捨てないとすればその作業環境は苦し過ぎない fact2: もしも何らかの物が苦し過ぎないとすると共有化するしさらにそれは見せ始める fact3: 「妙心があるとしたらこの雌雄異体は予測し易くないし吐き捨てない」ということは事実である fact4: この雌雄異体は共有化する fact5: あの見当識障害は見せ始めるしさらに御寒い fact6: その事実確認は共有化する fact7: もしもあの見当識障害が見せ始めればこの雌雄異体は慎み深い fact8: あの見当識障害は御寒い fact9: あの見当識障害は見せ始めるということはないとすれば「この雌雄異体は慎み深くておまけにそれは共有化する」ということは成り立たない fact10: この見極めは御寒い fact11: この雌雄異体は御寒い fact12: 「妙心である」ものはある ; $hypothesis$ = 「この雌雄異体は慎み深くて共有化する」ということは成り立つということはない ; $proof$ = 
fact5 -> int1: あの見当識障害は見せ始める; int1 & fact7 -> int2: この雌雄異体は慎み深い; int2 & fact4 -> hypothesis; __DISPROVED__
事実1: もしもこの雌雄異体が予測し易くないしさらに吐き捨てないとすればその作業環境は苦し過ぎない
事実2: もしも何らかの物が苦し過ぎないとすると共有化するしさらにそれは見せ始める
事実3: 「妙心があるとしたらこの雌雄異体は予測し易くないし吐き捨てない」ということは事実である
事実4: この雌雄異体は共有化する
事実5: あの見当識障害は見せ始めるしさらに御寒い
事実6: その事実確認は共有化する
事実7: もしもあの見当識障害が見せ始めればこの雌雄異体は慎み深い
事実8: あの見当識障害は御寒い
事実9: あの見当識障害は見せ始めるということはないとすれば「この雌雄異体は慎み深くておまけにそれは共有化する」ということは成り立たない
事実10: この見極めは御寒い
事実11: この雌雄異体は御寒い
事実12: 「妙心である」ものはある

仮説: 「この雌雄異体は慎み深くて共有化する」ということは成り立つということはない
1. 事実5から、推論1: "あの見当識障害は見せ始める"が導かれる
2. 推論1と事実7から、推論2: "この雌雄異体は慎み深い"が導かれる
3. 推論2と事実4から、仮説が否定される

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