「あの赤痣は悪者でない」ということは確かである
fact1: もし「この漏斗部はべた付き易い」ということは成り立つとしたらそのラウドネス・バランス検査は賛嘆する fact2: もし仮にある物は正定値ならば「悪者だ」ということは成り立つ fact3: あの分割数は伸ばし易い fact4: 仮にこの漏斗部は感受性菌でないなら「あの分割数は伸ばし易くてまた悪者だ」ということは成り立たない fact5: もしこの漏斗部が活動し易いならそれは賛嘆する fact6: もしなんらかのものが賛嘆するとすればそれは感受性菌でないしべた付き易い fact7: もし「伸ばし易くておまけに感受性菌である」ものがあるとするとこの漏斗部はべた付き易い fact8: あの分割数は感受性菌である fact9: もしもあの委任が活動し易くないしさらに賛嘆しないとするとあの赤痣は正定値だ fact10: そのラウドネス・バランス検査が賛嘆するならあの委任は活動し易くないし加えて賛嘆するということはない fact11: 正定値は活動し易い
fact3 & fact8 -> int1: あの分割数は伸ばし易いししかも感受性菌である; int1 -> int2: とある物が伸ばし易いしその上それは感受性菌である; int2 & fact7 -> int3: この漏斗部はべた付き易い; int3 & fact1 -> int4: そのラウドネス・バランス検査は賛嘆する; int4 & fact10 -> int5: あの委任は活動し易いということはないしかつ賛嘆しない; int5 & fact9 -> int6: あの赤痣は正定値である; fact2 -> int7: あの赤痣は正定値であるならば「悪者である」ということは成り立つ; int6 & int7 -> hypothesis;
あの赤痣は悪者だということはない
fact12 -> int8: もしもこの漏斗部が賛嘆すればそれは感受性菌でなくてまたべた付き易い; fact15 -> int9: もし仮にこの漏斗部は正定値であるとしたら活動し易い;
$facts$ = fact1: もし「この漏斗部はべた付き易い」ということは成り立つとしたらそのラウドネス・バランス検査は賛嘆する fact2: もし仮にある物は正定値ならば「悪者だ」ということは成り立つ fact3: あの分割数は伸ばし易い fact4: 仮にこの漏斗部は感受性菌でないなら「あの分割数は伸ばし易くてまた悪者だ」ということは成り立たない fact5: もしこの漏斗部が活動し易いならそれは賛嘆する fact6: もしなんらかのものが賛嘆するとすればそれは感受性菌でないしべた付き易い fact7: もし「伸ばし易くておまけに感受性菌である」ものがあるとするとこの漏斗部はべた付き易い fact8: あの分割数は感受性菌である fact9: もしもあの委任が活動し易くないしさらに賛嘆しないとするとあの赤痣は正定値だ fact10: そのラウドネス・バランス検査が賛嘆するならあの委任は活動し易くないし加えて賛嘆するということはない fact11: 正定値は活動し易い ; $hypothesis$ = 「あの赤痣は悪者でない」ということは確かである ; $proof$ = 
fact3 & fact8 -> int1: あの分割数は伸ばし易いししかも感受性菌である; int1 -> int2: とある物が伸ばし易いしその上それは感受性菌である; int2 & fact7 -> int3: この漏斗部はべた付き易い; int3 & fact1 -> int4: そのラウドネス・バランス検査は賛嘆する; int4 & fact10 -> int5: あの委任は活動し易いということはないしかつ賛嘆しない; int5 & fact9 -> int6: あの赤痣は正定値である; fact2 -> int7: あの赤痣は正定値であるならば「悪者である」ということは成り立つ; int6 & int7 -> hypothesis; __DISPROVED__
事実1: もし「この漏斗部はべた付き易い」ということは成り立つとしたらそのラウドネス・バランス検査は賛嘆する
事実2: もし仮にある物は正定値ならば「悪者だ」ということは成り立つ
事実3: あの分割数は伸ばし易い
事実4: 仮にこの漏斗部は感受性菌でないなら「あの分割数は伸ばし易くてまた悪者だ」ということは成り立たない
事実5: もしこの漏斗部が活動し易いならそれは賛嘆する
事実6: もしなんらかのものが賛嘆するとすればそれは感受性菌でないしべた付き易い
事実7: もし「伸ばし易くておまけに感受性菌である」ものがあるとするとこの漏斗部はべた付き易い
事実8: あの分割数は感受性菌である
事実9: もしもあの委任が活動し易くないしさらに賛嘆しないとするとあの赤痣は正定値だ
事実10: そのラウドネス・バランス検査が賛嘆するならあの委任は活動し易くないし加えて賛嘆するということはない
事実11: 正定値は活動し易い

仮説: 「あの赤痣は悪者でない」ということは確かである
1. 事実3と事実8から、推論1: "あの分割数は伸ばし易いししかも感受性菌である"が導かれる
2. 推論1から、推論2: "とある物が伸ばし易いしその上それは感受性菌である"が導かれる
3. 推論2と事実7から、推論3: "この漏斗部はべた付き易い"が導かれる
4. 推論3と事実1から、推論4: "そのラウドネス・バランス検査は賛嘆する"が導かれる
5. 推論4と事実10から、推論5: "あの委任は活動し易いということはないしかつ賛嘆しない"が導かれる
6. 推論5と事実9から、推論6: "あの赤痣は正定値である"が導かれる
7. 事実2から、推論7: "あの赤痣は正定値であるならば「悪者である」ということは成り立つ"が導かれる
8. 推論6と推論7から、仮説が否定される

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