「その踊り手は植え替えないかそれは輩出しないかあるいはどちらもだ」ということは成り立たない
fact1: もし何らかのものがゴルフするとすればそれは植え替えるということはないか輩出しないかどちらもである fact2: もしもこの第八章がソロ・アルバムだとするとその石鹸はソロ・アルバムだ fact3: その踊り手はゴルフするしおまけにそれはソロ・アルバムだ fact4: その踊り手はソロ・アルバムだ
fact1 -> int1: もし仮にその踊り手がゴルフすればそれは植え替えないかまたは輩出しないかまたはどちらもだ; fact3 -> int2: その踊り手はゴルフする; int1 & int2 -> hypothesis;
その石鹸はソロ・アルバムだ
$facts$ = fact1: もし何らかのものがゴルフするとすればそれは植え替えるということはないか輩出しないかどちらもである fact2: もしもこの第八章がソロ・アルバムだとするとその石鹸はソロ・アルバムだ fact3: その踊り手はゴルフするしおまけにそれはソロ・アルバムだ fact4: その踊り手はソロ・アルバムだ ; $hypothesis$ = 「その踊り手は植え替えないかそれは輩出しないかあるいはどちらもだ」ということは成り立たない ; $proof$ = 
fact1 -> int1: もし仮にその踊り手がゴルフすればそれは植え替えないかまたは輩出しないかまたはどちらもだ; fact3 -> int2: その踊り手はゴルフする; int1 & int2 -> hypothesis; __DISPROVED__
事実1: もし何らかのものがゴルフするとすればそれは植え替えるということはないか輩出しないかどちらもである
事実2: もしもこの第八章がソロ・アルバムだとするとその石鹸はソロ・アルバムだ
事実3: その踊り手はゴルフするしおまけにそれはソロ・アルバムだ
事実4: その踊り手はソロ・アルバムだ

仮説: 「その踊り手は植え替えないかそれは輩出しないかあるいはどちらもだ」ということは成り立たない
1. 事実1から、推論1: "もし仮にその踊り手がゴルフすればそれは植え替えないかまたは輩出しないかまたはどちらもだ"が導かれる
2. 事実3から、推論2: "その踊り手はゴルフする"が導かれる
3. 推論1と推論2から、仮説が否定される

よって、仮説が否定されました。