もし仮にこのプロトン移動反応が香しかないとすればその優待は譲渡しない
fact1: もし仮にこのプロトン移動反応が香しかない一方で御任せるとするとその優待は譲渡しない fact2: もし何らかの物が読誦するなら優しくないしおまけにそれは塞く fact3: 仮にその優待は読誦しないが香しいとしたら「このプロトン移動反応は譲渡する」ということは事実である fact4: このプロトン移動反応は読誦するし御任せる fact5: 仮にその優待は御任せるしそれに譲渡するなら「このプロトン移動反応は香しかない」ということは成り立つ fact6: このプロトン移動反応は譲渡しない一方で化学工場だ
fact4 -> int1: このプロトン移動反応は御任せる; void -> assump1: 以下のように仮定する。このプロトン移動反応は香しかない; int1 & assump1 -> int2: このプロトン移動反応は香しかないけど御任せる; int2 & fact1 -> int3: その優待は譲渡しない; [assump1] & int3 -> hypothesis;
その優待は優しくないけれど塞く
fact7 -> int4: 仮にその優待が読誦するとしたらそれは優しくないけど塞く;
$facts$ = fact1: もし仮にこのプロトン移動反応が香しかない一方で御任せるとするとその優待は譲渡しない fact2: もし何らかの物が読誦するなら優しくないしおまけにそれは塞く fact3: 仮にその優待は読誦しないが香しいとしたら「このプロトン移動反応は譲渡する」ということは事実である fact4: このプロトン移動反応は読誦するし御任せる fact5: 仮にその優待は御任せるしそれに譲渡するなら「このプロトン移動反応は香しかない」ということは成り立つ fact6: このプロトン移動反応は譲渡しない一方で化学工場だ ; $hypothesis$ = もし仮にこのプロトン移動反応が香しかないとすればその優待は譲渡しない ; $proof$ = 
fact4 -> int1: このプロトン移動反応は御任せる; void -> assump1: 以下のように仮定する。このプロトン移動反応は香しかない; int1 & assump1 -> int2: このプロトン移動反応は香しかないけど御任せる; int2 & fact1 -> int3: その優待は譲渡しない; [assump1] & int3 -> hypothesis; __PROVED__
事実1: もし仮にこのプロトン移動反応が香しかない一方で御任せるとするとその優待は譲渡しない
事実2: もし何らかの物が読誦するなら優しくないしおまけにそれは塞く
事実3: 仮にその優待は読誦しないが香しいとしたら「このプロトン移動反応は譲渡する」ということは事実である
事実4: このプロトン移動反応は読誦するし御任せる
事実5: 仮にその優待は御任せるしそれに譲渡するなら「このプロトン移動反応は香しかない」ということは成り立つ
事実6: このプロトン移動反応は譲渡しない一方で化学工場だ

仮説: もし仮にこのプロトン移動反応が香しかないとすればその優待は譲渡しない
1. 事実4から、推論1: "このプロトン移動反応は御任せる"が導かれる
2. 仮定1: 以下のように仮定する。このプロトン移動反応は香しかない
3. 推論1と仮定1から、推論2: "このプロトン移動反応は香しかないけど御任せる"が導かれる
4. 推論2と事実1から、推論3: "その優待は譲渡しない"が導かれる
5. [仮定1]と推論3から、仮説が導かれる

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