その薄型テレビは受け戻しでない
fact1: その薄型テレビは現代音楽だ fact2: この官名は凛々しい fact3: この官名は立ち掛けるしそれは凛々しい fact4: もしもこの官名が立ち掛けるし凛々しいならばそれは最小化しない fact5: もしもこの官名が最小化しないならばその薄型テレビは現代音楽であるしまた受け戻しである fact6: もしこの官名が最小化するということはないとすればその薄型テレビは現代音楽である fact7: 仮にこの官名が立ち掛けるしそれが凛々しいとしたらそれは現代音楽でない
fact4 & fact3 -> int1: この官名は最小化しない; int1 & fact5 -> int2: その薄型テレビは現代音楽でおまけに受け戻しである; int2 -> hypothesis;
$facts$ = fact1: その薄型テレビは現代音楽だ fact2: この官名は凛々しい fact3: この官名は立ち掛けるしそれは凛々しい fact4: もしもこの官名が立ち掛けるし凛々しいならばそれは最小化しない fact5: もしもこの官名が最小化しないならばその薄型テレビは現代音楽であるしまた受け戻しである fact6: もしこの官名が最小化するということはないとすればその薄型テレビは現代音楽である fact7: 仮にこの官名が立ち掛けるしそれが凛々しいとしたらそれは現代音楽でない ; $hypothesis$ = その薄型テレビは受け戻しでない ; $proof$ = 
fact4 & fact3 -> int1: この官名は最小化しない; int1 & fact5 -> int2: その薄型テレビは現代音楽でおまけに受け戻しである; int2 -> hypothesis; __DISPROVED__
事実1: その薄型テレビは現代音楽だ
事実2: この官名は凛々しい
事実3: この官名は立ち掛けるしそれは凛々しい
事実4: もしもこの官名が立ち掛けるし凛々しいならばそれは最小化しない
事実5: もしもこの官名が最小化しないならばその薄型テレビは現代音楽であるしまた受け戻しである
事実6: もしこの官名が最小化するということはないとすればその薄型テレビは現代音楽である
事実7: 仮にこの官名が立ち掛けるしそれが凛々しいとしたらそれは現代音楽でない

仮説: その薄型テレビは受け戻しでない
1. 事実4と事実3から、推論1: "この官名は最小化しない"が導かれる
2. 推論1と事実5から、推論2: "その薄型テレビは現代音楽でおまけに受け戻しである"が導かれる
3. 推論2から、仮説が否定される

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