このパパイヤは脂っこくない
fact1: この確かめ様は頭領でないしかつ繰り入れ金でない fact2: このパパイヤは脂漏性角化症でない fact3: このパパイヤは鋳造しない fact4: 「「この医療サービスは脂っこいしそれにそれは近付き易い」ということは事実と異なる」ということは真実だ fact5: この確かめ様は繰り入れ金でない fact6: 「あの防音装置は頭領でないとしたら「あの防音装置は痒いしそれは温度罅割れ指数だ」ということは成り立たない」ということは真実である fact7: この確かめ様はエンドソームでないしまたドル・ユーロでない fact8: もし仮に「この確かめ様は粘り腰であるしその上脂っこい」ということは偽だとしたらこのパパイヤは頭領でない fact9: 仮に「「この確かめ様は脂漏性角化症でそれにそれは脂っこい」ということは確かである」ということは間違いならばあのパパイヤは頭領でない fact10: もしも「この確かめ様は脂漏性角化症であるししかもそれは粘り腰である」ということは間違っているならこのパパイヤは脂っこくない fact11: もしも「この確かめ様は頭領でそれは脂っこい」ということは成り立たないならばこのパパイヤは脂漏性角化症でない fact12: 「このパパイヤは頭領であるししかも脂っこい」ということは間違っているとしたらこの確かめ様は脂漏性角化症でない fact13: このパパイヤは粘り腰でない fact14: 仮に「この確かめ様は粘り腰でない」ということは嘘でないとするとこのパパイヤは脂っこくない fact15: もしも「ある物は頭領でない」ということは事実だとすれば「脂漏性角化症であるしかつ粘り腰である」ということは事実と異なる
fact15 -> int1: もしもこの確かめ様は頭領でないとすれば「それは脂漏性角化症だしさらに粘り腰である」ということは事実でない; fact1 -> int2: 「この確かめ様は頭領でない」ということは正しい; int1 & int2 -> int3: 「この確かめ様は脂漏性角化症であるししかも粘り腰である」ということは間違いだ; int3 & fact10 -> hypothesis;
$facts$ = fact1: この確かめ様は頭領でないしかつ繰り入れ金でない fact2: このパパイヤは脂漏性角化症でない fact3: このパパイヤは鋳造しない fact4: 「「この医療サービスは脂っこいしそれにそれは近付き易い」ということは事実と異なる」ということは真実だ fact5: この確かめ様は繰り入れ金でない fact6: 「あの防音装置は頭領でないとしたら「あの防音装置は痒いしそれは温度罅割れ指数だ」ということは成り立たない」ということは真実である fact7: この確かめ様はエンドソームでないしまたドル・ユーロでない fact8: もし仮に「この確かめ様は粘り腰であるしその上脂っこい」ということは偽だとしたらこのパパイヤは頭領でない fact9: 仮に「「この確かめ様は脂漏性角化症でそれにそれは脂っこい」ということは確かである」ということは間違いならばあのパパイヤは頭領でない fact10: もしも「この確かめ様は脂漏性角化症であるししかもそれは粘り腰である」ということは間違っているならこのパパイヤは脂っこくない fact11: もしも「この確かめ様は頭領でそれは脂っこい」ということは成り立たないならばこのパパイヤは脂漏性角化症でない fact12: 「このパパイヤは頭領であるししかも脂っこい」ということは間違っているとしたらこの確かめ様は脂漏性角化症でない fact13: このパパイヤは粘り腰でない fact14: 仮に「この確かめ様は粘り腰でない」ということは嘘でないとするとこのパパイヤは脂っこくない fact15: もしも「ある物は頭領でない」ということは事実だとすれば「脂漏性角化症であるしかつ粘り腰である」ということは事実と異なる ; $hypothesis$ = このパパイヤは脂っこくない ; $proof$ = 
fact15 -> int1: もしもこの確かめ様は頭領でないとすれば「それは脂漏性角化症だしさらに粘り腰である」ということは事実でない; fact1 -> int2: 「この確かめ様は頭領でない」ということは正しい; int1 & int2 -> int3: 「この確かめ様は脂漏性角化症であるししかも粘り腰である」ということは間違いだ; int3 & fact10 -> hypothesis; __PROVED__
事実1: この確かめ様は頭領でないしかつ繰り入れ金でない
事実2: このパパイヤは脂漏性角化症でない
事実3: このパパイヤは鋳造しない
事実4: 「「この医療サービスは脂っこいしそれにそれは近付き易い」ということは事実と異なる」ということは真実だ
事実5: この確かめ様は繰り入れ金でない
事実6: 「あの防音装置は頭領でないとしたら「あの防音装置は痒いしそれは温度罅割れ指数だ」ということは成り立たない」ということは真実である
事実7: この確かめ様はエンドソームでないしまたドル・ユーロでない
事実8: もし仮に「この確かめ様は粘り腰であるしその上脂っこい」ということは偽だとしたらこのパパイヤは頭領でない
事実9: 仮に「「この確かめ様は脂漏性角化症でそれにそれは脂っこい」ということは確かである」ということは間違いならばあのパパイヤは頭領でない
事実10: もしも「この確かめ様は脂漏性角化症であるししかもそれは粘り腰である」ということは間違っているならこのパパイヤは脂っこくない
事実11: もしも「この確かめ様は頭領でそれは脂っこい」ということは成り立たないならばこのパパイヤは脂漏性角化症でない
事実12: 「このパパイヤは頭領であるししかも脂っこい」ということは間違っているとしたらこの確かめ様は脂漏性角化症でない
事実13: このパパイヤは粘り腰でない
事実14: 仮に「この確かめ様は粘り腰でない」ということは嘘でないとするとこのパパイヤは脂っこくない
事実15: もしも「ある物は頭領でない」ということは事実だとすれば「脂漏性角化症であるしかつ粘り腰である」ということは事実と異なる

仮説: このパパイヤは脂っこくない
1. 事実15から、推論1: "もしもこの確かめ様は頭領でないとすれば「それは脂漏性角化症だしさらに粘り腰である」ということは事実でない"が導かれる
2. 事実1から、推論2: "「この確かめ様は頭領でない」ということは正しい"が導かれる
3. 推論1と推論2から、推論3: "「この確かめ様は脂漏性角化症であるししかも粘り腰である」ということは間違いだ"が導かれる
4. 推論3と事実10から、仮説が導かれる

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