「この隠者は食い入らないし加えてそれは昇給でない」ということは事実と異なるとすればあのべそは想像し易い
fact1: もしも「この隠者は食い入らなくてそれは想像し易くない」ということは嘘であるとしたら「あのべそは聞き捨てない」ということは成り立つ fact2: 「あのべそは聞き捨てるけれどそれは左遷するということはない」ということは間違いだ fact3: もし仮に「この隠者は食い入るということはないけど昇給だ」ということは事実と異なるとするとあのべそは空費するということはない fact4: もしこの隠者が食い入るならばあのべそは想像し易い fact5: もし「「この隠者は食い入らないけれど昇給である」ということは成り立たない」ということは本当であるとするとあのべそは想像し易い fact6: あのべそは食い入る fact7: 「あるものは聞き捨てるということはないしそれに左遷しない」ということは成り立たないとしたらそれは想像し易い fact8: 仮にあのべそは空費しないなら「それは聞き捨てないし左遷しない」ということは成り立たない fact9: この隠者は昇給である fact10: この隠者が食い入らないしさらに昇給でないならばあのべそは想像し易い fact11: もし仮にあのべそが聞き捨てればそれは想像し易い fact12: もしなにがしかのものが聞き捨てるならそれは想像し易い fact13: もし仮に「この隠者は食い入らなくて昇給であるということはない」ということは成り立たないとすると空費する fact14: 仮に「この隠者は食い入らないし更に空費するということはない」ということは間違いだとしたらあのべそは昇給だ fact15: 「あのべそは聞き捨てるということはないしおまけに昇給でない」ということは間違っている fact16: 「このプティ・クトーは空費しないしまた監的所でない」ということは正しいということはない fact17: もしもこの隠者が食い入らないししかも昇給でないならばあのべそは空費するということはない fact18: もしもあのべそは空費するということはないとすれば「聞き捨てるしその上それは左遷しない」ということは成り立たない fact19: もしも「この隠者は食い入らないし加えてそれは昇給でない」ということは成り立たないならあのべそは空費しない fact20: もしもこの隠者が食い入るとしたらあのべそは空費するということはない fact21: 「この隠者は食い入る一方で昇給でない」ということは成り立たない fact22: この隠者は許し合う fact23: もし「この隠者は聞き捨てないしそれに昇給でない」ということは偽なら空費する
void -> assump1: 以下のように仮定する。「この隠者は食い入らなくてそれは昇給でない」ということは成り立たない; fact19 & assump1 -> int1: あのべそは空費しない; int1 & fact8 -> int2: 「あのべそは聞き捨てないししかも左遷しない」ということは成り立たない; fact7 -> int3: 「あのべそは聞き捨てないしさらに左遷しない」ということは成り立たないとすれば「想像し易い」ということは確かだ; int2 & int3 -> int4: あのべそは想像し易い; [assump1] & int4 -> hypothesis;
$facts$ = fact1: もしも「この隠者は食い入らなくてそれは想像し易くない」ということは嘘であるとしたら「あのべそは聞き捨てない」ということは成り立つ fact2: 「あのべそは聞き捨てるけれどそれは左遷するということはない」ということは間違いだ fact3: もし仮に「この隠者は食い入るということはないけど昇給だ」ということは事実と異なるとするとあのべそは空費するということはない fact4: もしこの隠者が食い入るならばあのべそは想像し易い fact5: もし「「この隠者は食い入らないけれど昇給である」ということは成り立たない」ということは本当であるとするとあのべそは想像し易い fact6: あのべそは食い入る fact7: 「あるものは聞き捨てるということはないしそれに左遷しない」ということは成り立たないとしたらそれは想像し易い fact8: 仮にあのべそは空費しないなら「それは聞き捨てないし左遷しない」ということは成り立たない fact9: この隠者は昇給である fact10: この隠者が食い入らないしさらに昇給でないならばあのべそは想像し易い fact11: もし仮にあのべそが聞き捨てればそれは想像し易い fact12: もしなにがしかのものが聞き捨てるならそれは想像し易い fact13: もし仮に「この隠者は食い入らなくて昇給であるということはない」ということは成り立たないとすると空費する fact14: 仮に「この隠者は食い入らないし更に空費するということはない」ということは間違いだとしたらあのべそは昇給だ fact15: 「あのべそは聞き捨てるということはないしおまけに昇給でない」ということは間違っている fact16: 「このプティ・クトーは空費しないしまた監的所でない」ということは正しいということはない fact17: もしもこの隠者が食い入らないししかも昇給でないならばあのべそは空費するということはない fact18: もしもあのべそは空費するということはないとすれば「聞き捨てるしその上それは左遷しない」ということは成り立たない fact19: もしも「この隠者は食い入らないし加えてそれは昇給でない」ということは成り立たないならあのべそは空費しない fact20: もしもこの隠者が食い入るとしたらあのべそは空費するということはない fact21: 「この隠者は食い入る一方で昇給でない」ということは成り立たない fact22: この隠者は許し合う fact23: もし「この隠者は聞き捨てないしそれに昇給でない」ということは偽なら空費する ; $hypothesis$ = 「この隠者は食い入らないし加えてそれは昇給でない」ということは事実と異なるとすればあのべそは想像し易い ; $proof$ = 
void -> assump1: 以下のように仮定する。「この隠者は食い入らなくてそれは昇給でない」ということは成り立たない; fact19 & assump1 -> int1: あのべそは空費しない; int1 & fact8 -> int2: 「あのべそは聞き捨てないししかも左遷しない」ということは成り立たない; fact7 -> int3: 「あのべそは聞き捨てないしさらに左遷しない」ということは成り立たないとすれば「想像し易い」ということは確かだ; int2 & int3 -> int4: あのべそは想像し易い; [assump1] & int4 -> hypothesis; __PROVED__
事実1: もしも「この隠者は食い入らなくてそれは想像し易くない」ということは嘘であるとしたら「あのべそは聞き捨てない」ということは成り立つ
事実2: 「あのべそは聞き捨てるけれどそれは左遷するということはない」ということは間違いだ
事実3: もし仮に「この隠者は食い入るということはないけど昇給だ」ということは事実と異なるとするとあのべそは空費するということはない
事実4: もしこの隠者が食い入るならばあのべそは想像し易い
事実5: もし「「この隠者は食い入らないけれど昇給である」ということは成り立たない」ということは本当であるとするとあのべそは想像し易い
事実6: あのべそは食い入る
事実7: 「あるものは聞き捨てるということはないしそれに左遷しない」ということは成り立たないとしたらそれは想像し易い
事実8: 仮にあのべそは空費しないなら「それは聞き捨てないし左遷しない」ということは成り立たない
事実9: この隠者は昇給である
事実10: この隠者が食い入らないしさらに昇給でないならばあのべそは想像し易い
事実11: もし仮にあのべそが聞き捨てればそれは想像し易い
事実12: もしなにがしかのものが聞き捨てるならそれは想像し易い
事実13: もし仮に「この隠者は食い入らなくて昇給であるということはない」ということは成り立たないとすると空費する
事実14: 仮に「この隠者は食い入らないし更に空費するということはない」ということは間違いだとしたらあのべそは昇給だ
事実15: 「あのべそは聞き捨てるということはないしおまけに昇給でない」ということは間違っている
事実16: 「このプティ・クトーは空費しないしまた監的所でない」ということは正しいということはない
事実17: もしもこの隠者が食い入らないししかも昇給でないならばあのべそは空費するということはない
事実18: もしもあのべそは空費するということはないとすれば「聞き捨てるしその上それは左遷しない」ということは成り立たない
事実19: もしも「この隠者は食い入らないし加えてそれは昇給でない」ということは成り立たないならあのべそは空費しない
事実20: もしもこの隠者が食い入るとしたらあのべそは空費するということはない
事実21: 「この隠者は食い入る一方で昇給でない」ということは成り立たない
事実22: この隠者は許し合う
事実23: もし「この隠者は聞き捨てないしそれに昇給でない」ということは偽なら空費する

仮説: 「この隠者は食い入らないし加えてそれは昇給でない」ということは事実と異なるとすればあのべそは想像し易い
1. 仮定1: 以下のように仮定する。「この隠者は食い入らなくてそれは昇給でない」ということは成り立たない
2. 事実19と仮定1から、推論1: "あのべそは空費しない"が導かれる
3. 推論1と事実8から、推論2: "「あのべそは聞き捨てないししかも左遷しない」ということは成り立たない"が導かれる
4. 事実7から、推論3: "「あのべそは聞き捨てないしさらに左遷しない」ということは成り立たないとすれば「想像し易い」ということは確かだ"が導かれる
5. 推論2と推論3から、推論4: "あのべそは想像し易い"が導かれる
6. [仮定1]と推論4から、仮説が導かれる

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