「「この実子は逆らわないしそれにだだっ広くない」ということは真実でない」ということは正しい
fact1: 仮にこの苦笑いはＯＳＩ参照モデルであるならばだだっ広い fact2: もし仮になにがしかの物は求め始めないとすると「それはＯＳＩ参照モデルでかつ逆らう」ということは本当である fact3: 「この時期等は司法執行機関でない一方で答え難い」ということは成り立たない fact4: この苦笑いはＯＳＩ参照モデルである fact5: もしこの苦笑いがだだっ広いならばあの実子は逆らわないししかもだだっ広いということはない
fact1 & fact4 -> int1: この苦笑いはだだっ広い; int1 & fact5 -> hypothesis;
「この実子は逆らわないしおまけにだだっ広くない」ということは成り立たない
fact7 -> int2: もしこの苦笑いが求め始めないならばＯＳＩ参照モデルだしさらにそれは逆らう; fact6 -> int3: 「「司法執行機関でなくてまた答え難い」ということは間違いである」物はある;
$facts$ = fact1: 仮にこの苦笑いはＯＳＩ参照モデルであるならばだだっ広い fact2: もし仮になにがしかの物は求め始めないとすると「それはＯＳＩ参照モデルでかつ逆らう」ということは本当である fact3: 「この時期等は司法執行機関でない一方で答え難い」ということは成り立たない fact4: この苦笑いはＯＳＩ参照モデルである fact5: もしこの苦笑いがだだっ広いならばあの実子は逆らわないししかもだだっ広いということはない ; $hypothesis$ = 「「この実子は逆らわないしそれにだだっ広くない」ということは真実でない」ということは正しい ; $proof$ = 
fact1 & fact4 -> int1: この苦笑いはだだっ広い; int1 & fact5 -> hypothesis; __DISPROVED__
事実1: 仮にこの苦笑いはＯＳＩ参照モデルであるならばだだっ広い
事実2: もし仮になにがしかの物は求め始めないとすると「それはＯＳＩ参照モデルでかつ逆らう」ということは本当である
事実3: 「この時期等は司法執行機関でない一方で答え難い」ということは成り立たない
事実4: この苦笑いはＯＳＩ参照モデルである
事実5: もしこの苦笑いがだだっ広いならばあの実子は逆らわないししかもだだっ広いということはない

仮説: 「「この実子は逆らわないしそれにだだっ広くない」ということは真実でない」ということは正しい
1. 事実1と事実4から、推論1: "この苦笑いはだだっ広い"が導かれる
2. 推論1と事実5から、仮説が否定される

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