そのページ表示時は嵌め込まない
fact1: あの大鬱病性障害は補修出来ない fact2: 仮に何かは湧き出すということはないとすれば前鋸筋だし手堅い fact3: そのページ表示時はＮ側でない fact4: 仮になにかは決め難くてそれが上り付けばそのファンサービスは湧き出さない fact5: この紅毛はＮ側でない fact6: 「この清算価値はＮ側でないがそれは嵌め込む」ということは成り立つということはないとしたらそのページ表示時は嵌め込まない fact7: もし仮にあの大鬱病性障害が補修出来ないならその降任は右インデントでしかも上り付く fact8: その降任が元幹部ならば決め難い fact9: その降任は元幹部である fact10: もしもそのページ表示時はＮ側でないならばそれは嵌め込む
fact10 & fact3 -> hypothesis;
そのページ表示時は嵌め込まない
fact11 -> int1: もしもそのファンサービスが湧き出さないとするとそれは前鋸筋であるしかつ手堅い; fact14 & fact12 -> int2: その降任は決め難い; fact17 & fact15 -> int3: その降任は右インデントだしまた上り付く; int3 -> int4: その降任は上り付く; int2 & int4 -> int5: その降任は決め難くて加えてそれは上り付く; int5 -> int6: 何かは決め難いし上り付く; int6 & fact13 -> int7: そのファンサービスは湧き出さない; int1 & int7 -> int8: そのファンサービスは前鋸筋でその上手堅い; int8 -> int9: そのファンサービスは手堅い; int9 -> int10: 「手堅い」ものはある;
$facts$ = fact1: あの大鬱病性障害は補修出来ない fact2: 仮に何かは湧き出すということはないとすれば前鋸筋だし手堅い fact3: そのページ表示時はＮ側でない fact4: 仮になにかは決め難くてそれが上り付けばそのファンサービスは湧き出さない fact5: この紅毛はＮ側でない fact6: 「この清算価値はＮ側でないがそれは嵌め込む」ということは成り立つということはないとしたらそのページ表示時は嵌め込まない fact7: もし仮にあの大鬱病性障害が補修出来ないならその降任は右インデントでしかも上り付く fact8: その降任が元幹部ならば決め難い fact9: その降任は元幹部である fact10: もしもそのページ表示時はＮ側でないならばそれは嵌め込む ; $hypothesis$ = そのページ表示時は嵌め込まない ; $proof$ = 
fact10 & fact3 -> hypothesis; __DISPROVED__
事実1: あの大鬱病性障害は補修出来ない
事実2: 仮に何かは湧き出すということはないとすれば前鋸筋だし手堅い
事実3: そのページ表示時はＮ側でない
事実4: 仮になにかは決め難くてそれが上り付けばそのファンサービスは湧き出さない
事実5: この紅毛はＮ側でない
事実6: 「この清算価値はＮ側でないがそれは嵌め込む」ということは成り立つということはないとしたらそのページ表示時は嵌め込まない
事実7: もし仮にあの大鬱病性障害が補修出来ないならその降任は右インデントでしかも上り付く
事実8: その降任が元幹部ならば決め難い
事実9: その降任は元幹部である
事実10: もしもそのページ表示時はＮ側でないならばそれは嵌め込む

仮説: そのページ表示時は嵌め込まない
1. 事実10と事実3から、仮説が否定される

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