このＳＣＳＩ機器は持ち出すということはない
fact1: もしなんらかの物がアレルギー用マーガリンでないとすればそれは企図するかそれは大和国でないかあるいは両方だ fact2: 「榛な」ものがあればこのＳＣＳＩ機器は企図しないけれど熟知する fact3: 仮に「とあるものはアレルギー用マーガリンであるがしかしそれはヒートアップするということはない」ということは成り立たないならそれはアレルギー用マーガリンでない fact4: このＳＣＳＩ機器は熟知する fact5: 「その確信はアレルギー用マーガリンであるけどヒートアップしない」ということは偽だ fact6: この間欠は榛だ fact7: 仮にとある物はワンポイントアドバイスでないけれど皮肉めくなら「臨時代理でない」ということは成り立つ fact8: もし仮にとあるものは企図しないがしかし熟知するとすれば持ち出さない
fact6 -> int1: ある物は榛だ; int1 & fact2 -> int2: このＳＣＳＩ機器は企図しないがしかし熟知する; fact8 -> int3: もし仮にこのＳＣＳＩ機器が企図するということはないけどそれが熟知するとするとそれは持ち出さない; int2 & int3 -> hypothesis;
fact6 -> int1: (Ex): {A}x; int1 & fact2 -> int2: (¬{C}{a} & {B}{a}); fact8 -> int3: (¬{C}{a} & {B}{a}) -> ¬{D}{a}; int2 & int3 -> hypothesis;
このＳＣＳＩ機器は持ち出す
fact11 -> int4: もしその確信がアレルギー用マーガリンでないならばそれは企図するかあるいはそれは大和国でないかあるいはどちらもである; fact9 -> int5: もし仮に「その確信はアレルギー用マーガリンだけれどそれはヒートアップするということはない」ということは成り立たないならばそれはアレルギー用マーガリンでない; int5 & fact10 -> int6: その確信はアレルギー用マーガリンでない; int4 & int6 -> int7: その確信は企図するか大和国でないかどちらもだ;
$facts$ = fact1: もしなんらかの物がアレルギー用マーガリンでないとすればそれは企図するかそれは大和国でないかあるいは両方だ fact2: 「榛な」ものがあればこのＳＣＳＩ機器は企図しないけれど熟知する fact3: 仮に「とあるものはアレルギー用マーガリンであるがしかしそれはヒートアップするということはない」ということは成り立たないならそれはアレルギー用マーガリンでない fact4: このＳＣＳＩ機器は熟知する fact5: 「その確信はアレルギー用マーガリンであるけどヒートアップしない」ということは偽だ fact6: この間欠は榛だ fact7: 仮にとある物はワンポイントアドバイスでないけれど皮肉めくなら「臨時代理でない」ということは成り立つ fact8: もし仮にとあるものは企図しないがしかし熟知するとすれば持ち出さない ; $hypothesis$ = このＳＣＳＩ機器は持ち出すということはない ; $proof$ = 
fact6 -> int1: ある物は榛だ; int1 & fact2 -> int2: このＳＣＳＩ機器は企図しないがしかし熟知する; fact8 -> int3: もし仮にこのＳＣＳＩ機器が企図するということはないけどそれが熟知するとするとそれは持ち出さない; int2 & int3 -> hypothesis; __PROVED__
事実1: もしなんらかの物がアレルギー用マーガリンでないとすればそれは企図するかそれは大和国でないかあるいは両方だ
事実2: 「榛な」ものがあればこのＳＣＳＩ機器は企図しないけれど熟知する
事実3: 仮に「とあるものはアレルギー用マーガリンであるがしかしそれはヒートアップするということはない」ということは成り立たないならそれはアレルギー用マーガリンでない
事実4: このＳＣＳＩ機器は熟知する
事実5: 「その確信はアレルギー用マーガリンであるけどヒートアップしない」ということは偽だ
事実6: この間欠は榛だ
事実7: 仮にとある物はワンポイントアドバイスでないけれど皮肉めくなら「臨時代理でない」ということは成り立つ
事実8: もし仮にとあるものは企図しないがしかし熟知するとすれば持ち出さない

仮説: このＳＣＳＩ機器は持ち出すということはない
1. 事実6から、推論1: "ある物は榛だ"が導かれる
2. 推論1と事実2から、推論2: "このＳＣＳＩ機器は企図しないがしかし熟知する"が導かれる
3. 事実8から、推論3: "もし仮にこのＳＣＳＩ機器が企図するということはないけどそれが熟知するとするとそれは持ち出さない"が導かれる
4. 推論2と推論3から、仮説が導かれる

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