なにがしかのものは汚らわしいということはないしさばさばしない
fact1: 汚らわしい物は運動力であるということはないし更に支配し始めない fact2: この介助サービスは移り行くということはない fact3: この水生生物は汚らわしくない fact4: とある物は平たくないがしかしそれは御許し願う fact5: 「兆すということはない」物はある fact6: 何らかの物は過石でない fact7: この介助サービスはさばさばしない fact8: この水生生物は寒くないしその上帰趨でない fact9: なにかは惨たらしくないがそれは真白い fact10: 「何かは本人対応だけど丹精でない」ということは本当である fact11: この水生生物はさばさばしない fact12: この水生生物は馴れ馴れしいということはない fact13: この水生生物は富裕者でない fact14: 「抗日だということはない」物はある fact15: この腸管粘膜はさばさばしない fact16: 何かは運動力であるけど焦げ臭くない
fact3 & fact11 -> int1: この水生生物は汚らわしくなくてしかもそれはさばさばしない; int1 -> hypothesis;
fact3 & fact11 -> int1: (¬{A}{a} & ¬{B}{a}); int1 -> hypothesis;
何かは運動力でないしおまけに支配し始めるということはない
fact17 -> int2: もしもこの水生生物が汚らわしいとすればそれは運動力でなくてまた支配し始めない;
$facts$ = fact1: 汚らわしい物は運動力であるということはないし更に支配し始めない fact2: この介助サービスは移り行くということはない fact3: この水生生物は汚らわしくない fact4: とある物は平たくないがしかしそれは御許し願う fact5: 「兆すということはない」物はある fact6: 何らかの物は過石でない fact7: この介助サービスはさばさばしない fact8: この水生生物は寒くないしその上帰趨でない fact9: なにかは惨たらしくないがそれは真白い fact10: 「何かは本人対応だけど丹精でない」ということは本当である fact11: この水生生物はさばさばしない fact12: この水生生物は馴れ馴れしいということはない fact13: この水生生物は富裕者でない fact14: 「抗日だということはない」物はある fact15: この腸管粘膜はさばさばしない fact16: 何かは運動力であるけど焦げ臭くない ; $hypothesis$ = なにがしかのものは汚らわしいということはないしさばさばしない ; $proof$ = 
fact3 & fact11 -> int1: この水生生物は汚らわしくなくてしかもそれはさばさばしない; int1 -> hypothesis; __PROVED__
事実1: 汚らわしい物は運動力であるということはないし更に支配し始めない
事実2: この介助サービスは移り行くということはない
事実3: この水生生物は汚らわしくない
事実4: とある物は平たくないがしかしそれは御許し願う
事実5: 「兆すということはない」物はある
事実6: 何らかの物は過石でない
事実7: この介助サービスはさばさばしない
事実8: この水生生物は寒くないしその上帰趨でない
事実9: なにかは惨たらしくないがそれは真白い
事実10: 「何かは本人対応だけど丹精でない」ということは本当である
事実11: この水生生物はさばさばしない
事実12: この水生生物は馴れ馴れしいということはない
事実13: この水生生物は富裕者でない
事実14: 「抗日だということはない」物はある
事実15: この腸管粘膜はさばさばしない
事実16: 何かは運動力であるけど焦げ臭くない

仮説: なにがしかのものは汚らわしいということはないしさばさばしない
1. 事実3と事実11から、推論1: "この水生生物は汚らわしくなくてしかもそれはさばさばしない"が導かれる
2. 推論1から、仮説が導かれる

よって、仮説が証明されました。