「もし仮にこのダブル受賞は素晴らしいならばあのＩＦＮはまあるくないかあるいはそれは混ざり合うということはないかもしくはどちらもだ」ということは成り立つ
fact1: そのＩＦＮは混ざり合うし主にする fact2: もし仮にこのダブル受賞は素晴らしいとするとそのＩＦＮはまあるくないかあるいは混ざり合うかもしくは両方だ fact3: もし仮にこのダブル受賞は主にしないししかも弱しないならば「零―百キロメートル毎時加速である」ということは確かである fact4: このダブル受賞は主にしなくてそれにそれは弱しということはない fact5: 得難しないものはまあるかないかまたは混ざり合わないかもしくはどちらもだ fact6: そのＩＦＮが得難しないとしたらまあるいか混ざり合わない fact7: もし仮にこのダブル受賞が零―百キロメートル毎時加速だし加えて素晴らしいとすればそのＩＦＮは得難しない
fact3 & fact4 -> int1: このダブル受賞は零―百キロメートル毎時加速である; void -> assump1: 以下のように仮定する。このダブル受賞は素晴らしい; int1 & assump1 -> int2: このダブル受賞は零―百キロメートル毎時加速だししかも素晴らしい; int2 & fact7 -> int3: 「そのＩＦＮは得難しということはない」ということは真実だ; fact5 -> int4: もし仮に「そのＩＦＮは得難しない」ということは成り立つとしたらまあるかないかあるいはそれは混ざり合わないかあるいは両方ともだ; int3 & int4 -> int5: そのＩＦＮはまあるくないかあるいはそれは混ざり合わないか両方ともだ; [assump1] & int5 -> hypothesis;
$facts$ = fact1: そのＩＦＮは混ざり合うし主にする fact2: もし仮にこのダブル受賞は素晴らしいとするとそのＩＦＮはまあるくないかあるいは混ざり合うかもしくは両方だ fact3: もし仮にこのダブル受賞は主にしないししかも弱しないならば「零―百キロメートル毎時加速である」ということは確かである fact4: このダブル受賞は主にしなくてそれにそれは弱しということはない fact5: 得難しないものはまあるかないかまたは混ざり合わないかもしくはどちらもだ fact6: そのＩＦＮが得難しないとしたらまあるいか混ざり合わない fact7: もし仮にこのダブル受賞が零―百キロメートル毎時加速だし加えて素晴らしいとすればそのＩＦＮは得難しない ; $hypothesis$ = 「もし仮にこのダブル受賞は素晴らしいならばあのＩＦＮはまあるくないかあるいはそれは混ざり合うということはないかもしくはどちらもだ」ということは成り立つ ; $proof$ = 
fact3 & fact4 -> int1: このダブル受賞は零―百キロメートル毎時加速である; void -> assump1: 以下のように仮定する。このダブル受賞は素晴らしい; int1 & assump1 -> int2: このダブル受賞は零―百キロメートル毎時加速だししかも素晴らしい; int2 & fact7 -> int3: 「そのＩＦＮは得難しということはない」ということは真実だ; fact5 -> int4: もし仮に「そのＩＦＮは得難しない」ということは成り立つとしたらまあるかないかあるいはそれは混ざり合わないかあるいは両方ともだ; int3 & int4 -> int5: そのＩＦＮはまあるくないかあるいはそれは混ざり合わないか両方ともだ; [assump1] & int5 -> hypothesis; __PROVED__
事実1: そのＩＦＮは混ざり合うし主にする
事実2: もし仮にこのダブル受賞は素晴らしいとするとそのＩＦＮはまあるくないかあるいは混ざり合うかもしくは両方だ
事実3: もし仮にこのダブル受賞は主にしないししかも弱しないならば「零―百キロメートル毎時加速である」ということは確かである
事実4: このダブル受賞は主にしなくてそれにそれは弱しということはない
事実5: 得難しないものはまあるかないかまたは混ざり合わないかもしくはどちらもだ
事実6: そのＩＦＮが得難しないとしたらまあるいか混ざり合わない
事実7: もし仮にこのダブル受賞が零―百キロメートル毎時加速だし加えて素晴らしいとすればそのＩＦＮは得難しない

仮説: 「もし仮にこのダブル受賞は素晴らしいならばあのＩＦＮはまあるくないかあるいはそれは混ざり合うということはないかもしくはどちらもだ」ということは成り立つ
1. 事実3と事実4から、推論1: "このダブル受賞は零―百キロメートル毎時加速である"が導かれる
2. 仮定1: 以下のように仮定する。このダブル受賞は素晴らしい
3. 推論1と仮定1から、推論2: "このダブル受賞は零―百キロメートル毎時加速だししかも素晴らしい"が導かれる
4. 推論2と事実7から、推論3: "「そのＩＦＮは得難しということはない」ということは真実だ"が導かれる
5. 事実5から、推論4: "もし仮に「そのＩＦＮは得難しない」ということは成り立つとしたらまあるかないかあるいはそれは混ざり合わないかあるいは両方ともだ"が導かれる
6. 推論3と推論4から、推論5: "そのＩＦＮはまあるくないかあるいはそれは混ざり合わないか両方ともだ"が導かれる
7. [仮定1]と推論5から、仮説が導かれる

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