その加工メーカーはギブアップだということはない
fact1: もしも「その公調が当て付けはましくらないがしかしそれは甚だしい」ということは間違っているならばあの加工メーカーはギブアップでない fact2: その弁別訓練はべそであるし更にビザンツ帝国である fact3: もしその弁別訓練はビザンツ帝国であるなら「その公調が当て付けはましくらないけれどそれは甚だしい」ということは成り立たない fact4: その弁別訓練がべそだとするとこのαβγは当て付けがましい
fact2 -> int1: その弁別訓練はビザンツ帝国だ; int1 & fact3 -> int2: 「「その公調が当て付けはましくらないがしかしそれは甚だしい」ということは事実であるということはない」ということは嘘でない; int2 & fact1 -> hypothesis;
fact2 -> int1: {B}{a}; int1 & fact3 -> int2: ¬(¬{D}{b} & {C}{b}); int2 & fact1 -> hypothesis;
このαβγは当て付けがましい
$facts$ = fact1: もしも「その公調が当て付けはましくらないがしかしそれは甚だしい」ということは間違っているならばあの加工メーカーはギブアップでない fact2: その弁別訓練はべそであるし更にビザンツ帝国である fact3: もしその弁別訓練はビザンツ帝国であるなら「その公調が当て付けはましくらないけれどそれは甚だしい」ということは成り立たない fact4: その弁別訓練がべそだとするとこのαβγは当て付けがましい ; $hypothesis$ = その加工メーカーはギブアップだということはない ; $proof$ = 
fact2 -> int1: その弁別訓練はビザンツ帝国だ; int1 & fact3 -> int2: 「「その公調が当て付けはましくらないがしかしそれは甚だしい」ということは事実であるということはない」ということは嘘でない; int2 & fact1 -> hypothesis; __PROVED__
事実1: もしも「その公調が当て付けはましくらないがしかしそれは甚だしい」ということは間違っているならばあの加工メーカーはギブアップでない
事実2: その弁別訓練はべそであるし更にビザンツ帝国である
事実3: もしその弁別訓練はビザンツ帝国であるなら「その公調が当て付けはましくらないけれどそれは甚だしい」ということは成り立たない
事実4: その弁別訓練がべそだとするとこのαβγは当て付けがましい

仮説: その加工メーカーはギブアップだということはない
1. 事実2から、推論1: "その弁別訓練はビザンツ帝国だ"が導かれる
2. 推論1と事実3から、推論2: "「「その公調が当て付けはましくらないがしかしそれは甚だしい」ということは事実であるということはない」ということは嘘でない"が導かれる
3. 推論2と事実1から、仮説が導かれる

よって、仮説が証明されました。