「このクリスマスツリーはハーフ‐タイムでなくておまけに一覧出来るということはない」ということは成り立たない
fact1: 「この牌は治験責任医師である」ということは確かだとすれば「それは売買価格でなくてまたそれは甘ったれる」ということは成り立たない fact2: その諸階層はロングセラーならば「この牌は治験責任医師である」ということは確かだ fact3: もしも「この牌は売買価格でないけど甘ったれる」ということは誤っているとしたらあのシルクは一覧出来る fact4: もしも「このクリスマスツリーはロングセラーでない一方でそれは力付きである」ということは嘘であるならその諸階層はハーフ‐タイムである fact5: とあるものが力付きでないとすればそれはハーフ‐タイムでなくて一覧出来ない fact6: もし仮にあのシルクは一覧出来るなら「このクリスマスツリーはハーフ‐タイムでなくて更に一覧出来ない」ということは誤りである fact7: もしもあのシルクは一覧出来るとすれば「このクリスマスツリーはハーフ‐タイムでない一方で一覧出来る」ということは誤りだ fact8: その諸階層は力付きであるかロングセラーであるかまたは両方である fact9: 仮にこのクリスマスツリーが一覧出来るとするとあのシルクはハーフ‐タイムだ fact10: その諸階層が力付きだとすればこの牌は治験責任医師である
fact8 & fact10 & fact2 -> int1: 「この牌は治験責任医師である」ということは本当だ; int1 & fact1 -> int2: 「この牌は売買価格であるということはないがしかしそれは甘ったれる」ということは事実と異なる; int2 & fact3 -> int3: あのシルクは一覧出来る; int3 & fact6 -> hypothesis;
このクリスマスツリーはハーフ‐タイムだということはなくてまた一覧出来るということはない
fact11 -> int4: もしも「このクリスマスツリーは力付きでない」ということは事実であるならそれはハーフ‐タイムでないしそれは一覧出来ない;
$facts$ = fact1: 「この牌は治験責任医師である」ということは確かだとすれば「それは売買価格でなくてまたそれは甘ったれる」ということは成り立たない fact2: その諸階層はロングセラーならば「この牌は治験責任医師である」ということは確かだ fact3: もしも「この牌は売買価格でないけど甘ったれる」ということは誤っているとしたらあのシルクは一覧出来る fact4: もしも「このクリスマスツリーはロングセラーでない一方でそれは力付きである」ということは嘘であるならその諸階層はハーフ‐タイムである fact5: とあるものが力付きでないとすればそれはハーフ‐タイムでなくて一覧出来ない fact6: もし仮にあのシルクは一覧出来るなら「このクリスマスツリーはハーフ‐タイムでなくて更に一覧出来ない」ということは誤りである fact7: もしもあのシルクは一覧出来るとすれば「このクリスマスツリーはハーフ‐タイムでない一方で一覧出来る」ということは誤りだ fact8: その諸階層は力付きであるかロングセラーであるかまたは両方である fact9: 仮にこのクリスマスツリーが一覧出来るとするとあのシルクはハーフ‐タイムだ fact10: その諸階層が力付きだとすればこの牌は治験責任医師である ; $hypothesis$ = 「このクリスマスツリーはハーフ‐タイムでなくておまけに一覧出来るということはない」ということは成り立たない ; $proof$ = 
fact8 & fact10 & fact2 -> int1: 「この牌は治験責任医師である」ということは本当だ; int1 & fact1 -> int2: 「この牌は売買価格であるということはないがしかしそれは甘ったれる」ということは事実と異なる; int2 & fact3 -> int3: あのシルクは一覧出来る; int3 & fact6 -> hypothesis; __PROVED__
事実1: 「この牌は治験責任医師である」ということは確かだとすれば「それは売買価格でなくてまたそれは甘ったれる」ということは成り立たない
事実2: その諸階層はロングセラーならば「この牌は治験責任医師である」ということは確かだ
事実3: もしも「この牌は売買価格でないけど甘ったれる」ということは誤っているとしたらあのシルクは一覧出来る
事実4: もしも「このクリスマスツリーはロングセラーでない一方でそれは力付きである」ということは嘘であるならその諸階層はハーフ‐タイムである
事実5: とあるものが力付きでないとすればそれはハーフ‐タイムでなくて一覧出来ない
事実6: もし仮にあのシルクは一覧出来るなら「このクリスマスツリーはハーフ‐タイムでなくて更に一覧出来ない」ということは誤りである
事実7: もしもあのシルクは一覧出来るとすれば「このクリスマスツリーはハーフ‐タイムでない一方で一覧出来る」ということは誤りだ
事実8: その諸階層は力付きであるかロングセラーであるかまたは両方である
事実9: 仮にこのクリスマスツリーが一覧出来るとするとあのシルクはハーフ‐タイムだ
事実10: その諸階層が力付きだとすればこの牌は治験責任医師である

仮説: 「このクリスマスツリーはハーフ‐タイムでなくておまけに一覧出来るということはない」ということは成り立たない
1. 事実8と事実10と事実2から、推論1: "「この牌は治験責任医師である」ということは本当だ"が導かれる
2. 推論1と事実1から、推論2: "「この牌は売買価格であるということはないがしかしそれは甘ったれる」ということは事実と異なる"が導かれる
3. 推論2と事実3から、推論3: "あのシルクは一覧出来る"が導かれる
4. 推論3と事実6から、仮説が導かれる

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