「あの世子は才能運であるし真ん丸い」ということは誤りである
fact1: あの世子は温い fact2: あの世子が温いとしたら段取り力だ fact3: 段取り力は才能運である fact4: あの世子は真ん丸い
fact2 & fact1 -> int1: あの世子は段取り力である; fact3 -> int2: もし仮にあの世子が段取り力ならそれは才能運だ; int1 & int2 -> int3: あの世子は才能運だ; int3 & fact4 -> hypothesis;
$facts$ = fact1: あの世子は温い fact2: あの世子が温いとしたら段取り力だ fact3: 段取り力は才能運である fact4: あの世子は真ん丸い ; $hypothesis$ = 「あの世子は才能運であるし真ん丸い」ということは誤りである ; $proof$ = 
fact2 & fact1 -> int1: あの世子は段取り力である; fact3 -> int2: もし仮にあの世子が段取り力ならそれは才能運だ; int1 & int2 -> int3: あの世子は才能運だ; int3 & fact4 -> hypothesis; __DISPROVED__
事実1: あの世子は温い
事実2: あの世子が温いとしたら段取り力だ
事実3: 段取り力は才能運である
事実4: あの世子は真ん丸い

仮説: 「あの世子は才能運であるし真ん丸い」ということは誤りである
1. 事実2と事実1から、推論1: "あの世子は段取り力である"が導かれる
2. 事実3から、推論2: "もし仮にあの世子が段取り力ならそれは才能運だ"が導かれる
3. 推論1と推論2から、推論3: "あの世子は才能運だ"が導かれる
4. 推論3と事実4から、仮説が否定される

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