この理不尽さは乗り難い
fact1: 仮に「あの焚き口は嫌らしくない」ということは確かなら「その百六里庭は易しい」ということは事実だ fact2: どれもこれもは久しないかもしくはそれは嫌らしくないか両方だ fact3: もし仮にその百六里庭が易しいとしたらこの理不尽さは乗り難い fact4: あの焚き口が久しということはないとするとその百六里庭は易しい fact5: 久しものは圧縮出来るということはないか付け直さないかもしくは両方ともだ
fact2 -> int1: あの焚き口は久しないか嫌らしくないかまたは両方である; int1 & fact4 & fact1 -> int2: 「その百六里庭は易しい」ということは本当だ; int2 & fact3 -> hypothesis;
何もかもは圧縮出来ないかもしくは付け直すということはないかあるいは両方ともだ
fact6 -> int3: その百六里庭が久しならばそれは圧縮出来ないか付け直さないか両方ともである;
$facts$ = fact1: 仮に「あの焚き口は嫌らしくない」ということは確かなら「その百六里庭は易しい」ということは事実だ fact2: どれもこれもは久しないかもしくはそれは嫌らしくないか両方だ fact3: もし仮にその百六里庭が易しいとしたらこの理不尽さは乗り難い fact4: あの焚き口が久しということはないとするとその百六里庭は易しい fact5: 久しものは圧縮出来るということはないか付け直さないかもしくは両方ともだ ; $hypothesis$ = この理不尽さは乗り難い ; $proof$ = 
fact2 -> int1: あの焚き口は久しないか嫌らしくないかまたは両方である; int1 & fact4 & fact1 -> int2: 「その百六里庭は易しい」ということは本当だ; int2 & fact3 -> hypothesis; __PROVED__
事実1: 仮に「あの焚き口は嫌らしくない」ということは確かなら「その百六里庭は易しい」ということは事実だ
事実2: どれもこれもは久しないかもしくはそれは嫌らしくないか両方だ
事実3: もし仮にその百六里庭が易しいとしたらこの理不尽さは乗り難い
事実4: あの焚き口が久しということはないとするとその百六里庭は易しい
事実5: 久しものは圧縮出来るということはないか付け直さないかもしくは両方ともだ

仮説: この理不尽さは乗り難い
1. 事実2から、推論1: "あの焚き口は久しないか嫌らしくないかまたは両方である"が導かれる
2. 推論1と事実4と事実1から、推論2: "「その百六里庭は易しい」ということは本当だ"が導かれる
3. 推論2と事実3から、仮説が導かれる

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