その試験成績は公式ホームページであるかまたはそれは学院であるかもしくはどちらもである
fact1: 「あのマッサージ器具は力無くない」ということは成り立つ fact2: もしある物が付着しないとしたらそれはカムフラージュするし加えて失する fact3: もし仮にけたたましいものが乾き易くないとするとそれは欠場しない fact4: もしあの結核治療は変え難いとしたら「このトップモデルは付着しないかもしくはそれは作り難いかもしくは両方ともだ」ということは嘘である fact5: このトップモデルはけたたましいし更に失する fact6: もしもとある物は学院でないとすると「表具師であるしかつそれは内接するということはない」ということは事実と異なる fact7: なんらかのものは学院だ fact8: 乾き易くないものは学院でないしさらに欠場しない fact9: もしも「このトップモデルは付着しないかあるいはそれは作り難い」ということは偽だとすればあの単純認識説は付着するということはない fact10: あのアイスモンブランは失しない fact11: このトップモデルは失する fact12: もしあの単純認識説が乾き易くないとしたらこのトップモデルはけたたましくない fact13: もし仮に「「学院でない」ということは事実である」物はあるとしたら「あの単純認識説は乾き易いがしかし欠場しない」ということは誤りだ fact14: 仮に「あの単純認識説は乾き易いが欠場しない」ということは誤りだとすればこのトップモデルはけたたましくない fact15: 仮にあの単純認識説が失するとすればその試験成績はけたたましいけど乾き易くない
void -> assump1: 以下のように仮定する。その試験成績は学院でない; assump1 -> int1: 「学院でない」物はある; int1 & fact13 -> int2: 「あの単純認識説は乾き易い一方でそれは欠場しない」ということは成り立つということはない; int2 & fact14 -> int3: このトップモデルはけたたましくない; fact5 -> int4: このトップモデルはけたたましい; int3 & int4 -> int5: これは矛盾である; [assump1] & int5 -> int6: その試験成績は学院である; int6 -> hypothesis;
「その試験成績は表具師だがしかし内接しない」ということは誤りである
fact17 -> int7: 仮にあの単純認識説は学院でないとすれば「表具師だしそれは内接しない」ということは成り立たない; fact16 -> int8: 「あの単純認識説は乾き易くない」ということは確かだとするとそれは学院でなくてそれにそれは欠場しない;
$facts$ = fact1: 「あのマッサージ器具は力無くない」ということは成り立つ fact2: もしある物が付着しないとしたらそれはカムフラージュするし加えて失する fact3: もし仮にけたたましいものが乾き易くないとするとそれは欠場しない fact4: もしあの結核治療は変え難いとしたら「このトップモデルは付着しないかもしくはそれは作り難いかもしくは両方ともだ」ということは嘘である fact5: このトップモデルはけたたましいし更に失する fact6: もしもとある物は学院でないとすると「表具師であるしかつそれは内接するということはない」ということは事実と異なる fact7: なんらかのものは学院だ fact8: 乾き易くないものは学院でないしさらに欠場しない fact9: もしも「このトップモデルは付着しないかあるいはそれは作り難い」ということは偽だとすればあの単純認識説は付着するということはない fact10: あのアイスモンブランは失しない fact11: このトップモデルは失する fact12: もしあの単純認識説が乾き易くないとしたらこのトップモデルはけたたましくない fact13: もし仮に「「学院でない」ということは事実である」物はあるとしたら「あの単純認識説は乾き易いがしかし欠場しない」ということは誤りだ fact14: 仮に「あの単純認識説は乾き易いが欠場しない」ということは誤りだとすればこのトップモデルはけたたましくない fact15: 仮にあの単純認識説が失するとすればその試験成績はけたたましいけど乾き易くない ; $hypothesis$ = その試験成績は公式ホームページであるかまたはそれは学院であるかもしくはどちらもである ; $proof$ = 
void -> assump1: 以下のように仮定する。その試験成績は学院でない; assump1 -> int1: 「学院でない」物はある; int1 & fact13 -> int2: 「あの単純認識説は乾き易い一方でそれは欠場しない」ということは成り立つということはない; int2 & fact14 -> int3: このトップモデルはけたたましくない; fact5 -> int4: このトップモデルはけたたましい; int3 & int4 -> int5: これは矛盾である; [assump1] & int5 -> int6: その試験成績は学院である; int6 -> hypothesis; __PROVED__
事実1: 「あのマッサージ器具は力無くない」ということは成り立つ
事実2: もしある物が付着しないとしたらそれはカムフラージュするし加えて失する
事実3: もし仮にけたたましいものが乾き易くないとするとそれは欠場しない
事実4: もしあの結核治療は変え難いとしたら「このトップモデルは付着しないかもしくはそれは作り難いかもしくは両方ともだ」ということは嘘である
事実5: このトップモデルはけたたましいし更に失する
事実6: もしもとある物は学院でないとすると「表具師であるしかつそれは内接するということはない」ということは事実と異なる
事実7: なんらかのものは学院だ
事実8: 乾き易くないものは学院でないしさらに欠場しない
事実9: もしも「このトップモデルは付着しないかあるいはそれは作り難い」ということは偽だとすればあの単純認識説は付着するということはない
事実10: あのアイスモンブランは失しない
事実11: このトップモデルは失する
事実12: もしあの単純認識説が乾き易くないとしたらこのトップモデルはけたたましくない
事実13: もし仮に「「学院でない」ということは事実である」物はあるとしたら「あの単純認識説は乾き易いがしかし欠場しない」ということは誤りだ
事実14: 仮に「あの単純認識説は乾き易いが欠場しない」ということは誤りだとすればこのトップモデルはけたたましくない
事実15: 仮にあの単純認識説が失するとすればその試験成績はけたたましいけど乾き易くない

仮説: その試験成績は公式ホームページであるかまたはそれは学院であるかもしくはどちらもである
1. 仮定1: 以下のように仮定する。その試験成績は学院でない
2. 仮定1から、推論1: "「学院でない」物はある"が導かれる
3. 推論1と事実13から、推論2: "「あの単純認識説は乾き易い一方でそれは欠場しない」ということは成り立つということはない"が導かれる
4. 推論2と事実14から、推論3: "このトップモデルはけたたましくない"が導かれる
5. 事実5から、推論4: "このトップモデルはけたたましい"が導かれる
6. 推論3と推論4から、推論5: "これは矛盾である"が導かれる
7. [仮定1]と推論5から、推論6: "その試験成績は学院である"が導かれる
8. 推論6から、仮説が導かれる

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