あのシエラは流入しない
fact1: 仮になにがしかのものが甘いとするとそれは流入する fact2: 「あのシエラは甕棺中でないしその上常態化しない」ということは間違いだ fact3: もしもこの独裁制がショートカットメニューでないならその送り方は痛手であるし酸っぱい fact4: もし「あのシエラは甕棺中でないし常態化しない」ということは間違いであるなら甘い fact5: もし仮にある物は痛手であるとしたら「簓だが甘くない」ということは真実でない
fact4 & fact2 -> int1: あのシエラは甘い; fact1 -> int2: 仮にあのシエラが甘いとすると流入する; int1 & int2 -> hypothesis;
あのシエラは流入しない
fact6 -> int3: もしもその送り方は痛手だとすれば「それは簓であるが甘くない」ということは間違っている;
$facts$ = fact1: 仮になにがしかのものが甘いとするとそれは流入する fact2: 「あのシエラは甕棺中でないしその上常態化しない」ということは間違いだ fact3: もしもこの独裁制がショートカットメニューでないならその送り方は痛手であるし酸っぱい fact4: もし「あのシエラは甕棺中でないし常態化しない」ということは間違いであるなら甘い fact5: もし仮にある物は痛手であるとしたら「簓だが甘くない」ということは真実でない ; $hypothesis$ = あのシエラは流入しない ; $proof$ = 
fact4 & fact2 -> int1: あのシエラは甘い; fact1 -> int2: 仮にあのシエラが甘いとすると流入する; int1 & int2 -> hypothesis; __DISPROVED__
事実1: 仮になにがしかのものが甘いとするとそれは流入する
事実2: 「あのシエラは甕棺中でないしその上常態化しない」ということは間違いだ
事実3: もしもこの独裁制がショートカットメニューでないならその送り方は痛手であるし酸っぱい
事実4: もし「あのシエラは甕棺中でないし常態化しない」ということは間違いであるなら甘い
事実5: もし仮にある物は痛手であるとしたら「簓だが甘くない」ということは真実でない

仮説: あのシエラは流入しない
1. 事実4と事実2から、推論1: "あのシエラは甘い"が導かれる
2. 事実1から、推論2: "仮にあのシエラが甘いとすると流入する"が導かれる
3. 推論1と推論2から、仮説が否定される

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