「「もしおもろいけど許し難くないなら子供っぽい」ものはある」ということは確かでない
fact1: 「仮に規則正しくて更に買い気信号であるとすれば齎し易い」物はある fact2: おもろくて許し難くない物は子供っぽい
fact2 -> int1: この滑り莧はおもろいがしかし許し難くないなら子供っぽい; int1 -> hypothesis;
$facts$ = fact1: 「仮に規則正しくて更に買い気信号であるとすれば齎し易い」物はある fact2: おもろくて許し難くない物は子供っぽい ; $hypothesis$ = 「「もしおもろいけど許し難くないなら子供っぽい」ものはある」ということは確かでない ; $proof$ = 
fact2 -> int1: この滑り莧はおもろいがしかし許し難くないなら子供っぽい; int1 -> hypothesis; __DISPROVED__
事実1: 「仮に規則正しくて更に買い気信号であるとすれば齎し易い」物はある
事実2: おもろくて許し難くない物は子供っぽい

仮説: 「「もしおもろいけど許し難くないなら子供っぽい」ものはある」ということは確かでない
1. 事実2から、推論1: "この滑り莧はおもろいがしかし許し難くないなら子供っぽい"が導かれる
2. 推論1から、仮説が否定される

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