もし仮にその国内旅行はくよくよするなら「この狐君は安住しないが忠勇だ」ということは偽である
fact1: このＬＯが手厳しくないとしたらその国内旅行はくよくよする fact2: もしこの狐君が安住しないが忠勇だとしたらこのＬＯは強請れる fact3: とあるものが強請れるとするとそれは手厳しくない fact4: もしもこのＬＯが手厳しくないならその国内旅行はくよくよしない
void -> assump2: 以下のように仮定する。この狐君は安住するということはないが忠勇である; fact2 & assump2 -> int1: このＬＯは強請れる; fact3 -> int2: 仮にこのＬＯは強請れれば「手厳しいということはない」ということは真実である; int1 & int2 -> int3: このＬＯは手厳しくない; int3 & fact4 -> int4: その国内旅行はくよくよするということはない; void -> assump1: 以下のように仮定する。「その国内旅行はくよくよする」ということは本当である; int4 & assump1 -> int5: これは矛盾である; [assump2] & int5 -> int6: 「この狐君は安住しないけど忠勇だ」ということは成り立たない; [assump1] & int6 -> hypothesis;
$facts$ = fact1: このＬＯが手厳しくないとしたらその国内旅行はくよくよする fact2: もしこの狐君が安住しないが忠勇だとしたらこのＬＯは強請れる fact3: とあるものが強請れるとするとそれは手厳しくない fact4: もしもこのＬＯが手厳しくないならその国内旅行はくよくよしない ; $hypothesis$ = もし仮にその国内旅行はくよくよするなら「この狐君は安住しないが忠勇だ」ということは偽である ; $proof$ = 
void -> assump2: 以下のように仮定する。この狐君は安住するということはないが忠勇である; fact2 & assump2 -> int1: このＬＯは強請れる; fact3 -> int2: 仮にこのＬＯは強請れれば「手厳しいということはない」ということは真実である; int1 & int2 -> int3: このＬＯは手厳しくない; int3 & fact4 -> int4: その国内旅行はくよくよするということはない; void -> assump1: 以下のように仮定する。「その国内旅行はくよくよする」ということは本当である; int4 & assump1 -> int5: これは矛盾である; [assump2] & int5 -> int6: 「この狐君は安住しないけど忠勇だ」ということは成り立たない; [assump1] & int6 -> hypothesis; __PROVED__
事実1: このＬＯが手厳しくないとしたらその国内旅行はくよくよする
事実2: もしこの狐君が安住しないが忠勇だとしたらこのＬＯは強請れる
事実3: とあるものが強請れるとするとそれは手厳しくない
事実4: もしもこのＬＯが手厳しくないならその国内旅行はくよくよしない

仮説: もし仮にその国内旅行はくよくよするなら「この狐君は安住しないが忠勇だ」ということは偽である
1. 仮定2: 以下のように仮定する。この狐君は安住するということはないが忠勇である
2. 事実2と仮定2から、推論1: "このＬＯは強請れる"が導かれる
3. 事実3から、推論2: "仮にこのＬＯは強請れれば「手厳しいということはない」ということは真実である"が導かれる
4. 推論1と推論2から、推論3: "このＬＯは手厳しくない"が導かれる
5. 推論3と事実4から、推論4: "その国内旅行はくよくよするということはない"が導かれる
6. 仮定1: 以下のように仮定する。「その国内旅行はくよくよする」ということは本当である
7. 推論4と仮定1から、推論5: "これは矛盾である"が導かれる
8. [仮定2]と推論5から、推論6: "「この狐君は安住しないけど忠勇だ」ということは成り立たない"が導かれる
9. [仮定1]と推論6から、仮説が導かれる

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