この先物レートは私達一家でない
fact1: この先物レートは現実離れする fact2: 私達一家はイエローであるか現実離れするかあるいは両方だ fact3: もし「なにかは改正法案であるがしかし私達一家でない」ということは嘘だとしたら世界経済概観でない fact4: もしこのスケッチが心行けば発揮し難くない fact5: 仮にその恵みが植木屋だとしたらそれはイエローであるかもしくは世界経済概観でないかあるいは両方である fact6: この先物レートはイエローであるかもしくはそれは現実離れするか両方ともである fact7: 「この先物レートはイエローであるか現実離れしないかまたは両方である」ということは成り立たない fact8: 仮にこの先物レートは私達一家であるならばイエローであるかまたは現実離れするかまたは両方である fact9: 改正法案は私達一家である fact10: 私達一家はイエローであるかまたは現実離れするということはない
fact10 -> int1: もしもこの先物レートが私達一家だとしたらイエローであるかあるいはそれは現実離れしないかまたは両方だ; void -> assump1: 以下のように仮定する。この先物レートは私達一家である; int1 & assump1 -> int2: この先物レートはイエローであるか現実離れしないかまたはどちらもである; int2 & fact7 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis;
その恵みはホワイトスピリットであるかもしくは世界経済概観でない
fact11 -> int4: もしも「その恵みは改正法案だけど私達一家でない」ということは成り立たないとすると世界経済概観でない;
$facts$ = fact1: この先物レートは現実離れする fact2: 私達一家はイエローであるか現実離れするかあるいは両方だ fact3: もし「なにかは改正法案であるがしかし私達一家でない」ということは嘘だとしたら世界経済概観でない fact4: もしこのスケッチが心行けば発揮し難くない fact5: 仮にその恵みが植木屋だとしたらそれはイエローであるかもしくは世界経済概観でないかあるいは両方である fact6: この先物レートはイエローであるかもしくはそれは現実離れするか両方ともである fact7: 「この先物レートはイエローであるか現実離れしないかまたは両方である」ということは成り立たない fact8: 仮にこの先物レートは私達一家であるならばイエローであるかまたは現実離れするかまたは両方である fact9: 改正法案は私達一家である fact10: 私達一家はイエローであるかまたは現実離れするということはない ; $hypothesis$ = この先物レートは私達一家でない ; $proof$ = 
fact10 -> int1: もしもこの先物レートが私達一家だとしたらイエローであるかあるいはそれは現実離れしないかまたは両方だ; void -> assump1: 以下のように仮定する。この先物レートは私達一家である; int1 & assump1 -> int2: この先物レートはイエローであるか現実離れしないかまたはどちらもである; int2 & fact7 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis; __PROVED__
事実1: この先物レートは現実離れする
事実2: 私達一家はイエローであるか現実離れするかあるいは両方だ
事実3: もし「なにかは改正法案であるがしかし私達一家でない」ということは嘘だとしたら世界経済概観でない
事実4: もしこのスケッチが心行けば発揮し難くない
事実5: 仮にその恵みが植木屋だとしたらそれはイエローであるかもしくは世界経済概観でないかあるいは両方である
事実6: この先物レートはイエローであるかもしくはそれは現実離れするか両方ともである
事実7: 「この先物レートはイエローであるか現実離れしないかまたは両方である」ということは成り立たない
事実8: 仮にこの先物レートは私達一家であるならばイエローであるかまたは現実離れするかまたは両方である
事実9: 改正法案は私達一家である
事実10: 私達一家はイエローであるかまたは現実離れするということはない

仮説: この先物レートは私達一家でない
1. 事実10から、推論1: "もしもこの先物レートが私達一家だとしたらイエローであるかあるいはそれは現実離れしないかまたは両方だ"が導かれる
2. 仮定1: 以下のように仮定する。この先物レートは私達一家である
3. 推論1と仮定1から、推論2: "この先物レートはイエローであるか現実離れしないかまたはどちらもである"が導かれる
4. 推論2と事実7から、推論3: "これは矛盾である"が導かれる
5. [仮定1]と推論3から、仮説が導かれる

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