その意味以上は笑える
fact1: この免税点制度はＳＦＣだ fact2: 「肛門側でない」ものはある fact3: なんらかのものは防風林でないがそれは肛門側である fact4: 「防風林であるということはない」物はある fact5: とある物は防風林であるがしかし肛門側でない fact6: もし仮になにがしかの物が防風林でなくて肛門側でないならばこの免税点制度は搬送機構でない fact7: もしもこの免税点制度がＳＦＣだし下回りならその意味以上は笑えるということはない fact8: その意味以上は勇ましいしそれに防備だ fact9: 仮になんらかの物が搬送機構でないとするとそれはＳＦＣであるし更にそれは下回りだ fact10: あの海兵は肛門側だということはなくて笑えない fact11: 仮になにがしかのものは搬送機構でないならＳＦＣだ fact12: もしもこの免税点制度は搬送機構でないならばＳＦＣだ fact13: その化学プラントが肛門側でないかまたは搬送機構だということはないならばあの免税点制度は肛門側でない fact14: あの海兵は防風林でなくて更にそれは肛門側であるということはない fact15: あの海兵は肛門側でない
fact14 -> int1: 「何らかの物は防風林だということはなくて肛門側であるということはない」ということは成り立つ; int1 & fact6 -> int2: この免税点制度は搬送機構でない; fact9 -> int3: 「この免税点制度は搬送機構でない」ということは成り立てばそれはＳＦＣであるし下回りだ; int2 & int3 -> int4: この免税点制度はＳＦＣでそれは下回りである; int4 & fact7 -> hypothesis;
その意味以上は笑える
$facts$ = fact1: この免税点制度はＳＦＣだ fact2: 「肛門側でない」ものはある fact3: なんらかのものは防風林でないがそれは肛門側である fact4: 「防風林であるということはない」物はある fact5: とある物は防風林であるがしかし肛門側でない fact6: もし仮になにがしかの物が防風林でなくて肛門側でないならばこの免税点制度は搬送機構でない fact7: もしもこの免税点制度がＳＦＣだし下回りならその意味以上は笑えるということはない fact8: その意味以上は勇ましいしそれに防備だ fact9: 仮になんらかの物が搬送機構でないとするとそれはＳＦＣであるし更にそれは下回りだ fact10: あの海兵は肛門側だということはなくて笑えない fact11: 仮になにがしかのものは搬送機構でないならＳＦＣだ fact12: もしもこの免税点制度は搬送機構でないならばＳＦＣだ fact13: その化学プラントが肛門側でないかまたは搬送機構だということはないならばあの免税点制度は肛門側でない fact14: あの海兵は防風林でなくて更にそれは肛門側であるということはない fact15: あの海兵は肛門側でない ; $hypothesis$ = その意味以上は笑える ; $proof$ = 
fact14 -> int1: 「何らかの物は防風林だということはなくて肛門側であるということはない」ということは成り立つ; int1 & fact6 -> int2: この免税点制度は搬送機構でない; fact9 -> int3: 「この免税点制度は搬送機構でない」ということは成り立てばそれはＳＦＣであるし下回りだ; int2 & int3 -> int4: この免税点制度はＳＦＣでそれは下回りである; int4 & fact7 -> hypothesis; __DISPROVED__
事実1: この免税点制度はＳＦＣだ
事実2: 「肛門側でない」ものはある
事実3: なんらかのものは防風林でないがそれは肛門側である
事実4: 「防風林であるということはない」物はある
事実5: とある物は防風林であるがしかし肛門側でない
事実6: もし仮になにがしかの物が防風林でなくて肛門側でないならばこの免税点制度は搬送機構でない
事実7: もしもこの免税点制度がＳＦＣだし下回りならその意味以上は笑えるということはない
事実8: その意味以上は勇ましいしそれに防備だ
事実9: 仮になんらかの物が搬送機構でないとするとそれはＳＦＣであるし更にそれは下回りだ
事実10: あの海兵は肛門側だということはなくて笑えない
事実11: 仮になにがしかのものは搬送機構でないならＳＦＣだ
事実12: もしもこの免税点制度は搬送機構でないならばＳＦＣだ
事実13: その化学プラントが肛門側でないかまたは搬送機構だということはないならばあの免税点制度は肛門側でない
事実14: あの海兵は防風林でなくて更にそれは肛門側であるということはない
事実15: あの海兵は肛門側でない

仮説: その意味以上は笑える
1. 事実14から、推論1: "「何らかの物は防風林だということはなくて肛門側であるということはない」ということは成り立つ"が導かれる
2. 推論1と事実6から、推論2: "この免税点制度は搬送機構でない"が導かれる
3. 事実9から、推論3: "「この免税点制度は搬送機構でない」ということは成り立てばそれはＳＦＣであるし下回りだ"が導かれる
4. 推論2と推論3から、推論4: "この免税点制度はＳＦＣでそれは下回りである"が導かれる
5. 推論4と事実7から、仮説が否定される

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