「仮にこの意図作りが気迷いならこのトタンは注文致すかもしくは尽だということはないか両方だ」ということは成り立つ
fact1: もしもその七十四銀行が尽であるならこのトタンは尽であるかあるいはそれは注文致さない fact2: 仮に「なにかは気迷いである」ということは確かであるなら「その七十四銀行は図Ａであるけれど御箸でない」ということは成り立たない fact3: 仮に「なにかは図Ａである一方で御箸であるということはない」ということは嘘であるとしたら注文致す fact4: もしもその七十四銀行が注文致すとするとこのトタンは注文致すかまたは尽でない
void -> assump1: 以下のように仮定する。「この意図作りは気迷いだ」ということは成り立つ; assump1 -> int1: 気迷いはある; int1 & fact2 -> int2: 「その七十四銀行は図Ａである一方で御箸でない」ということは成り立つということはない; fact3 -> int3: もし「その七十四銀行は図Ａだけど御箸でない」ということは嘘なら「注文致す」ということは間違っているということはない; int2 & int3 -> int4: 「その七十四銀行は注文致す」ということは正しい; int4 & fact4 -> int5: このトタンは注文致すかもしくはそれは尽でない; [assump1] & int5 -> hypothesis;
$facts$ = fact1: もしもその七十四銀行が尽であるならこのトタンは尽であるかあるいはそれは注文致さない fact2: 仮に「なにかは気迷いである」ということは確かであるなら「その七十四銀行は図Ａであるけれど御箸でない」ということは成り立たない fact3: 仮に「なにかは図Ａである一方で御箸であるということはない」ということは嘘であるとしたら注文致す fact4: もしもその七十四銀行が注文致すとするとこのトタンは注文致すかまたは尽でない ; $hypothesis$ = 「仮にこの意図作りが気迷いならこのトタンは注文致すかもしくは尽だということはないか両方だ」ということは成り立つ ; $proof$ = 
void -> assump1: 以下のように仮定する。「この意図作りは気迷いだ」ということは成り立つ; assump1 -> int1: 気迷いはある; int1 & fact2 -> int2: 「その七十四銀行は図Ａである一方で御箸でない」ということは成り立つということはない; fact3 -> int3: もし「その七十四銀行は図Ａだけど御箸でない」ということは嘘なら「注文致す」ということは間違っているということはない; int2 & int3 -> int4: 「その七十四銀行は注文致す」ということは正しい; int4 & fact4 -> int5: このトタンは注文致すかもしくはそれは尽でない; [assump1] & int5 -> hypothesis; __PROVED__
事実1: もしもその七十四銀行が尽であるならこのトタンは尽であるかあるいはそれは注文致さない
事実2: 仮に「なにかは気迷いである」ということは確かであるなら「その七十四銀行は図Ａであるけれど御箸でない」ということは成り立たない
事実3: 仮に「なにかは図Ａである一方で御箸であるということはない」ということは嘘であるとしたら注文致す
事実4: もしもその七十四銀行が注文致すとするとこのトタンは注文致すかまたは尽でない

仮説: 「仮にこの意図作りが気迷いならこのトタンは注文致すかもしくは尽だということはないか両方だ」ということは成り立つ
1. 仮定1: 以下のように仮定する。「この意図作りは気迷いだ」ということは成り立つ
2. 仮定1から、推論1: "気迷いはある"が導かれる
3. 推論1と事実2から、推論2: "「その七十四銀行は図Ａである一方で御箸でない」ということは成り立つということはない"が導かれる
4. 事実3から、推論3: "もし「その七十四銀行は図Ａだけど御箸でない」ということは嘘なら「注文致す」ということは間違っているということはない"が導かれる
5. 推論2と推論3から、推論4: "「その七十四銀行は注文致す」ということは正しい"が導かれる
6. 推論4と事実4から、推論5: "このトタンは注文致すかもしくはそれは尽でない"が導かれる
7. [仮定1]と推論5から、仮説が導かれる

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