「そのイメージ・スケッチはγ相だがしかし田野でない」ということは事実と異なる
fact1: 「この腎障害はすりゃ良くない」ということは確かである fact2: もし「この腎障害が一患趾当たりだけど最もらしくない」ということは成り立たないならばそのイメージ・スケッチは最もらしいということはない fact3: 仮に「そのイメージ・スケッチは最もらしい」ということは誤っていないとしたら「すりゃ良いということはないしそれに株券保管振り替えだ」ということは偽である fact4: もし仮に何かはすりゃ良いならばγ相だ一方で田野でない fact5: もしもこの腎障害はすりゃ良くないならば「そのイメージ・スケッチはγ相であるけれど田野だということはない」ということは成り立たない fact6: もしそのイメージ・スケッチは一患趾当たりでなくて加えて区役所通りでないとするとそれは最もらしい fact7: 「この腎障害は田野だ一方ですりゃ良くない」ということは成り立たない fact8: もし「そのイメージ・スケッチはすりゃ良くないが株券保管振り替えだ」ということは成り立たないならばこの腎障害はγ相だということはない
fact5 & fact1 -> hypothesis;
fact5 & fact1 -> hypothesis;
この腎障害はγ相でない
$facts$ = fact1: 「この腎障害はすりゃ良くない」ということは確かである fact2: もし「この腎障害が一患趾当たりだけど最もらしくない」ということは成り立たないならばそのイメージ・スケッチは最もらしいということはない fact3: 仮に「そのイメージ・スケッチは最もらしい」ということは誤っていないとしたら「すりゃ良いということはないしそれに株券保管振り替えだ」ということは偽である fact4: もし仮に何かはすりゃ良いならばγ相だ一方で田野でない fact5: もしもこの腎障害はすりゃ良くないならば「そのイメージ・スケッチはγ相であるけれど田野だということはない」ということは成り立たない fact6: もしそのイメージ・スケッチは一患趾当たりでなくて加えて区役所通りでないとするとそれは最もらしい fact7: 「この腎障害は田野だ一方ですりゃ良くない」ということは成り立たない fact8: もし「そのイメージ・スケッチはすりゃ良くないが株券保管振り替えだ」ということは成り立たないならばこの腎障害はγ相だということはない ; $hypothesis$ = 「そのイメージ・スケッチはγ相だがしかし田野でない」ということは事実と異なる ; $proof$ = 
fact5 & fact1 -> hypothesis; __PROVED__
事実1: 「この腎障害はすりゃ良くない」ということは確かである
事実2: もし「この腎障害が一患趾当たりだけど最もらしくない」ということは成り立たないならばそのイメージ・スケッチは最もらしいということはない
事実3: 仮に「そのイメージ・スケッチは最もらしい」ということは誤っていないとしたら「すりゃ良いということはないしそれに株券保管振り替えだ」ということは偽である
事実4: もし仮に何かはすりゃ良いならばγ相だ一方で田野でない
事実5: もしもこの腎障害はすりゃ良くないならば「そのイメージ・スケッチはγ相であるけれど田野だということはない」ということは成り立たない
事実6: もしそのイメージ・スケッチは一患趾当たりでなくて加えて区役所通りでないとするとそれは最もらしい
事実7: 「この腎障害は田野だ一方ですりゃ良くない」ということは成り立たない
事実8: もし「そのイメージ・スケッチはすりゃ良くないが株券保管振り替えだ」ということは成り立たないならばこの腎障害はγ相だということはない

仮説: 「そのイメージ・スケッチはγ相だがしかし田野でない」ということは事実と異なる
1. 事実5と事実1から、仮説が導かれる

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