あのカリウムは黙り込まなくてそれに過ごせない
fact1: あのカリウムは拭う fact2: 仮にあの運転が拭わないならあのカリウムは黙り込むということはない fact3: なにがしかの物は気弱くないけれど拭う fact4: もしも何らかの物が気弱いということはないが拭うとしたらあのカリウムは後援する fact5: 「「あのカリウムは黙り込むが過ごせるということはない」ということは間違いである」ということは成り立つ fact6: なにかは拭う fact7: もしあのカリウムは後援するなら「黙り込まないしまた過ごせる」ということは間違っている fact8: 「なんらかのものは過ごせないが後援する」ということは成り立つ fact9: 「あのカリウムは監査計画でないししかも拭うということはない」ということは嘘だ fact10: もし仮にあのカリウムは後援するなら「黙り込まないしさらにそれは過ごせるということはない」ということは誤りだ fact11: 「あのカリウムは黙り込まない一方でそれは過ごせる」ということは成り立たない fact12: 「「後援しない」ということは成り立つ」物はある fact13: とあるものは気弱いし加えて拭う fact14: とあるものは気弱くないとすると「それは移動し易くないしかつ追尾しない」ということは誤っている
fact3 & fact4 -> int1: あのカリウムは後援する; int1 & fact10 -> hypothesis;
fact3 & fact4 -> int1: {C}{a}; int1 & fact10 -> hypothesis;
「この着色作業は移動し易くないしそれに追尾しない」ということは誤りである
fact15 -> int2: この着色作業は気弱くないなら「移動し易くないしさらにそれは追尾しない」ということは嘘である;
$facts$ = fact1: あのカリウムは拭う fact2: 仮にあの運転が拭わないならあのカリウムは黙り込むということはない fact3: なにがしかの物は気弱くないけれど拭う fact4: もしも何らかの物が気弱いということはないが拭うとしたらあのカリウムは後援する fact5: 「「あのカリウムは黙り込むが過ごせるということはない」ということは間違いである」ということは成り立つ fact6: なにかは拭う fact7: もしあのカリウムは後援するなら「黙り込まないしまた過ごせる」ということは間違っている fact8: 「なんらかのものは過ごせないが後援する」ということは成り立つ fact9: 「あのカリウムは監査計画でないししかも拭うということはない」ということは嘘だ fact10: もし仮にあのカリウムは後援するなら「黙り込まないしさらにそれは過ごせるということはない」ということは誤りだ fact11: 「あのカリウムは黙り込まない一方でそれは過ごせる」ということは成り立たない fact12: 「「後援しない」ということは成り立つ」物はある fact13: とあるものは気弱いし加えて拭う fact14: とあるものは気弱くないとすると「それは移動し易くないしかつ追尾しない」ということは誤っている ; $hypothesis$ = あのカリウムは黙り込まなくてそれに過ごせない ; $proof$ = 
fact3 & fact4 -> int1: あのカリウムは後援する; int1 & fact10 -> hypothesis; __DISPROVED__
事実1: あのカリウムは拭う
事実2: 仮にあの運転が拭わないならあのカリウムは黙り込むということはない
事実3: なにがしかの物は気弱くないけれど拭う
事実4: もしも何らかの物が気弱いということはないが拭うとしたらあのカリウムは後援する
事実5: 「「あのカリウムは黙り込むが過ごせるということはない」ということは間違いである」ということは成り立つ
事実6: なにかは拭う
事実7: もしあのカリウムは後援するなら「黙り込まないしまた過ごせる」ということは間違っている
事実8: 「なんらかのものは過ごせないが後援する」ということは成り立つ
事実9: 「あのカリウムは監査計画でないししかも拭うということはない」ということは嘘だ
事実10: もし仮にあのカリウムは後援するなら「黙り込まないしさらにそれは過ごせるということはない」ということは誤りだ
事実11: 「あのカリウムは黙り込まない一方でそれは過ごせる」ということは成り立たない
事実12: 「「後援しない」ということは成り立つ」物はある
事実13: とあるものは気弱いし加えて拭う
事実14: とあるものは気弱くないとすると「それは移動し易くないしかつ追尾しない」ということは誤っている

仮説: あのカリウムは黙り込まなくてそれに過ごせない
1. 事実3と事実4から、推論1: "あのカリウムは後援する"が導かれる
2. 推論1と事実10から、仮説が否定される

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