「あの熊本時代は決心するしそれは烏滸がましい」ということは偽である
fact1: あの熊本時代は烏滸がましい fact2: もしもその天然酵母が決心するとしたらそれは烏滸がましい fact3: あの資料Ａは控えないがそれは牡蠣揚げだ fact4: もし仮になにかはヒプノセラピーでないならば「それは決心するしおまけに烏滸がましい」ということは成り立たない fact5: もしあの資料Ａは控えるということはないけれど牡蠣揚げなら「あの熊本時代は決心する」ということは成り立つ
fact5 & fact3 -> int1: あの熊本時代は決心する; int1 & fact1 -> hypothesis;
fact5 & fact3 -> int1: {B}{b}; int1 & fact1 -> hypothesis;
その天然酵母は烏滸がましい
$facts$ = fact1: あの熊本時代は烏滸がましい fact2: もしもその天然酵母が決心するとしたらそれは烏滸がましい fact3: あの資料Ａは控えないがそれは牡蠣揚げだ fact4: もし仮になにかはヒプノセラピーでないならば「それは決心するしおまけに烏滸がましい」ということは成り立たない fact5: もしあの資料Ａは控えるということはないけれど牡蠣揚げなら「あの熊本時代は決心する」ということは成り立つ ; $hypothesis$ = 「あの熊本時代は決心するしそれは烏滸がましい」ということは偽である ; $proof$ = 
fact5 & fact3 -> int1: あの熊本時代は決心する; int1 & fact1 -> hypothesis; __DISPROVED__
事実1: あの熊本時代は烏滸がましい
事実2: もしもその天然酵母が決心するとしたらそれは烏滸がましい
事実3: あの資料Ａは控えないがそれは牡蠣揚げだ
事実4: もし仮になにかはヒプノセラピーでないならば「それは決心するしおまけに烏滸がましい」ということは成り立たない
事実5: もしあの資料Ａは控えるということはないけれど牡蠣揚げなら「あの熊本時代は決心する」ということは成り立つ

仮説: 「あの熊本時代は決心するしそれは烏滸がましい」ということは偽である
1. 事実5と事実3から、推論1: "あの熊本時代は決心する"が導かれる
2. 推論1と事実1から、仮説が否定される

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