この最高裁判所裁判官は橅林である
fact1: もしも「その収支予測は擦り下ろす」ということは確かであるとするとそれは失行である fact2: 仮に「あの末期癌患者は御早いかまたは入会しないかまたはどちらもである」ということは成り立たないとすればあの最高裁判所裁判官は橅林である fact3: その収支予測は擦り下ろす fact4: 仮にあの末期癌患者がクライオスタットでないならばその歴史家達はクライオスタットだが清々しない fact5: もしなにがしかの物は御早いかもしくは入会しないとすればそれはクライオスタットでない fact6: もしもその歴史家達がクライオスタットだがしかし清々するということはないとしたらその収支予測は入力電圧でない fact7: もし仮に「その歴史家達は清々しないしクライオスタットでない」ということは正しくないならこの最高裁判所裁判官は橅林であるということはない fact8: もし仮にその収支予測が失行だとすると入力電圧だ
fact5 -> int1: もしあの末期癌患者が御早いかまたはそれは入会しないかあるいは両方だとするとそれはクライオスタットでない; void -> assump1: 以下のように仮定する。あの末期癌患者は御早いか入会しないかあるいは両方である; int1 & assump1 -> int2: あの末期癌患者はクライオスタットでない; int2 & fact4 -> int3: その歴史家達はクライオスタットであるけれどそれは清々しない; int3 & fact6 -> int4: その収支予測は入力電圧でない; fact3 & fact1 -> int5: 「その収支予測は失行だ」ということは成り立つ; int5 & fact8 -> int6: その収支予測は入力電圧だ; int4 & int6 -> int7: これは矛盾である; [assump1] & int7 -> int8: 「あの末期癌患者は御早いかあるいはそれは入会しない」ということは嘘である; int8 & fact2 -> hypothesis;
この最高裁判所裁判官は橅林でない
$facts$ = fact1: もしも「その収支予測は擦り下ろす」ということは確かであるとするとそれは失行である fact2: 仮に「あの末期癌患者は御早いかまたは入会しないかまたはどちらもである」ということは成り立たないとすればあの最高裁判所裁判官は橅林である fact3: その収支予測は擦り下ろす fact4: 仮にあの末期癌患者がクライオスタットでないならばその歴史家達はクライオスタットだが清々しない fact5: もしなにがしかの物は御早いかもしくは入会しないとすればそれはクライオスタットでない fact6: もしもその歴史家達がクライオスタットだがしかし清々するということはないとしたらその収支予測は入力電圧でない fact7: もし仮に「その歴史家達は清々しないしクライオスタットでない」ということは正しくないならこの最高裁判所裁判官は橅林であるということはない fact8: もし仮にその収支予測が失行だとすると入力電圧だ ; $hypothesis$ = この最高裁判所裁判官は橅林である ; $proof$ = 
fact5 -> int1: もしあの末期癌患者が御早いかまたはそれは入会しないかあるいは両方だとするとそれはクライオスタットでない; void -> assump1: 以下のように仮定する。あの末期癌患者は御早いか入会しないかあるいは両方である; int1 & assump1 -> int2: あの末期癌患者はクライオスタットでない; int2 & fact4 -> int3: その歴史家達はクライオスタットであるけれどそれは清々しない; int3 & fact6 -> int4: その収支予測は入力電圧でない; fact3 & fact1 -> int5: 「その収支予測は失行だ」ということは成り立つ; int5 & fact8 -> int6: その収支予測は入力電圧だ; int4 & int6 -> int7: これは矛盾である; [assump1] & int7 -> int8: 「あの末期癌患者は御早いかあるいはそれは入会しない」ということは嘘である; int8 & fact2 -> hypothesis; __PROVED__
事実1: もしも「その収支予測は擦り下ろす」ということは確かであるとするとそれは失行である
事実2: 仮に「あの末期癌患者は御早いかまたは入会しないかまたはどちらもである」ということは成り立たないとすればあの最高裁判所裁判官は橅林である
事実3: その収支予測は擦り下ろす
事実4: 仮にあの末期癌患者がクライオスタットでないならばその歴史家達はクライオスタットだが清々しない
事実5: もしなにがしかの物は御早いかもしくは入会しないとすればそれはクライオスタットでない
事実6: もしもその歴史家達がクライオスタットだがしかし清々するということはないとしたらその収支予測は入力電圧でない
事実7: もし仮に「その歴史家達は清々しないしクライオスタットでない」ということは正しくないならこの最高裁判所裁判官は橅林であるということはない
事実8: もし仮にその収支予測が失行だとすると入力電圧だ

仮説: この最高裁判所裁判官は橅林である
1. 事実5から、推論1: "もしあの末期癌患者が御早いかまたはそれは入会しないかあるいは両方だとするとそれはクライオスタットでない"が導かれる
2. 仮定1: 以下のように仮定する。あの末期癌患者は御早いか入会しないかあるいは両方である
3. 推論1と仮定1から、推論2: "あの末期癌患者はクライオスタットでない"が導かれる
4. 推論2と事実4から、推論3: "その歴史家達はクライオスタットであるけれどそれは清々しない"が導かれる
5. 推論3と事実6から、推論4: "その収支予測は入力電圧でない"が導かれる
6. 事実3と事実1から、推論5: "「その収支予測は失行だ」ということは成り立つ"が導かれる
7. 推論5と事実8から、推論6: "その収支予測は入力電圧だ"が導かれる
8. 推論4と推論6から、推論7: "これは矛盾である"が導かれる
9. [仮定1]と推論7から、推論8: "「あの末期癌患者は御早いかあるいはそれは入会しない」ということは嘘である"が導かれる
10. 推論8と事実2から、仮説が導かれる

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