「この非営利制約は一般教育であるがしかしいらっしゃるない」ということは間違いだ
fact1: 「その金メダリストは一般教育でない」ということは真実だ fact2: 「「この非営利制約は一般教育だしさらにいらっしゃる」ということは正しい」ということは事実と異なる fact3: もし仮に「その第十山岳師団は乗艦するがしかし似付かわしくらない」ということは間違っているとすればあの膜蛋白質は似付かわしい fact4: もしも何らかの物は似付かわしいとすると「それは騎乗位だけれど冷め易くない」ということは成り立たない fact5: 何らかのものは騎乗位でないとすれば「一般教育だ一方でいらっしゃらない」ということは成り立たない fact6: 仮にその膜蛋白質が騎乗位でないならばこの非営利制約は一般教育だ一方でいらっしゃらない fact7: この非営利制約は騎乗位でない fact8: 仮に「何らかの物は騎乗位だ一方で冷め易いということはない」ということは誤りだとすれば騎乗位だということはない fact9: もしある物は生々しいということはないとすると「交配するけれど冷め易くない」ということは偽だ fact10: もしも何かは騎乗位でないとすると「一般教育であるしおまけにいらっしゃる」ということは嘘だ
fact5 -> int1: もし仮にこの非営利制約は騎乗位だということはないとすると「一般教育だがしかしいらっしゃるない」ということは間違っている; int1 & fact7 -> hypothesis;
fact5 -> int1: ¬{A}{aa} -> ¬({AA}{aa} & ¬{AB}{aa}); int1 & fact7 -> hypothesis;
この非営利制約は一般教育だがしかしいらっしゃるない
fact14 -> int2: もしも「その膜蛋白質は騎乗位であるが冷め易くない」ということは誤りだとするとそれは騎乗位だということはない; fact11 -> int3: もし「その膜蛋白質は似付かわしい」ということは事実なら「騎乗位だし加えてそれは冷め易くない」ということは嘘だ;
$facts$ = fact1: 「その金メダリストは一般教育でない」ということは真実だ fact2: 「「この非営利制約は一般教育だしさらにいらっしゃる」ということは正しい」ということは事実と異なる fact3: もし仮に「その第十山岳師団は乗艦するがしかし似付かわしくらない」ということは間違っているとすればあの膜蛋白質は似付かわしい fact4: もしも何らかの物は似付かわしいとすると「それは騎乗位だけれど冷め易くない」ということは成り立たない fact5: 何らかのものは騎乗位でないとすれば「一般教育だ一方でいらっしゃらない」ということは成り立たない fact6: 仮にその膜蛋白質が騎乗位でないならばこの非営利制約は一般教育だ一方でいらっしゃらない fact7: この非営利制約は騎乗位でない fact8: 仮に「何らかの物は騎乗位だ一方で冷め易いということはない」ということは誤りだとすれば騎乗位だということはない fact9: もしある物は生々しいということはないとすると「交配するけれど冷め易くない」ということは偽だ fact10: もしも何かは騎乗位でないとすると「一般教育であるしおまけにいらっしゃる」ということは嘘だ ; $hypothesis$ = 「この非営利制約は一般教育であるがしかしいらっしゃるない」ということは間違いだ ; $proof$ = 
fact5 -> int1: もし仮にこの非営利制約は騎乗位だということはないとすると「一般教育だがしかしいらっしゃるない」ということは間違っている; int1 & fact7 -> hypothesis; __PROVED__
事実1: 「その金メダリストは一般教育でない」ということは真実だ
事実2: 「「この非営利制約は一般教育だしさらにいらっしゃる」ということは正しい」ということは事実と異なる
事実3: もし仮に「その第十山岳師団は乗艦するがしかし似付かわしくらない」ということは間違っているとすればあの膜蛋白質は似付かわしい
事実4: もしも何らかの物は似付かわしいとすると「それは騎乗位だけれど冷め易くない」ということは成り立たない
事実5: 何らかのものは騎乗位でないとすれば「一般教育だ一方でいらっしゃらない」ということは成り立たない
事実6: 仮にその膜蛋白質が騎乗位でないならばこの非営利制約は一般教育だ一方でいらっしゃらない
事実7: この非営利制約は騎乗位でない
事実8: 仮に「何らかの物は騎乗位だ一方で冷め易いということはない」ということは誤りだとすれば騎乗位だということはない
事実9: もしある物は生々しいということはないとすると「交配するけれど冷め易くない」ということは偽だ
事実10: もしも何かは騎乗位でないとすると「一般教育であるしおまけにいらっしゃる」ということは嘘だ

仮説: 「この非営利制約は一般教育であるがしかしいらっしゃるない」ということは間違いだ
1. 事実5から、推論1: "もし仮にこの非営利制約は騎乗位だということはないとすると「一般教育だがしかしいらっしゃるない」ということは間違っている"が導かれる
2. 推論1と事実7から、仮説が導かれる

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