「あのイクラはし辛いししかも見せ始める」ということは確かでない
fact1: あのイクラは重なるし更に承だ fact2: このコードビューは誇りっぽくてメインメモリだ fact3: この四個分は見せ始める fact4: あのイクラはし辛いしまた承だ fact5: あのイクラは見せ始める fact6: この夷は攻め始めるし見せ始める fact7: このコードビューはし辛い
fact4 -> int1: あのイクラはし辛い; int1 & fact5 -> hypothesis;
「あのイクラはし辛くておまけに見せ始める」ということは事実と異なる
fact8 -> int2: このコードビューはメインメモリだ; int2 -> int3: 「「メインメモリだ」ということは誤りでない」物はある;
$facts$ = fact1: あのイクラは重なるし更に承だ fact2: このコードビューは誇りっぽくてメインメモリだ fact3: この四個分は見せ始める fact4: あのイクラはし辛いしまた承だ fact5: あのイクラは見せ始める fact6: この夷は攻め始めるし見せ始める fact7: このコードビューはし辛い ; $hypothesis$ = 「あのイクラはし辛いししかも見せ始める」ということは確かでない ; $proof$ = 
fact4 -> int1: あのイクラはし辛い; int1 & fact5 -> hypothesis; __DISPROVED__
事実1: あのイクラは重なるし更に承だ
事実2: このコードビューは誇りっぽくてメインメモリだ
事実3: この四個分は見せ始める
事実4: あのイクラはし辛いしまた承だ
事実5: あのイクラは見せ始める
事実6: この夷は攻め始めるし見せ始める
事実7: このコードビューはし辛い

仮説: 「あのイクラはし辛いししかも見せ始める」ということは確かでない
1. 事実4から、推論1: "あのイクラはし辛い"が導かれる
2. 推論1と事実5から、仮説が否定される

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