このＤＶＤ‐ＲＯＭドライブは因り質でない
fact1: とあるものが減り続けるしそれが姉らしいなら不足し易くない fact2: そのテイクダウンは若者らしいか口添えするということはないか両方ともだ fact3: 「そのテイクダウンは姉らしいしまた開き易い」ということは成り立つ fact4: 何かは開き易くないならそれは因り質であるか姉らしくないかあるいは両方ともである fact5: そのテイクダウンは若者らしいかまたは口添えしないかまたは両方だとしたらそれは利用され易くない fact6: 仮に「そのテイクダウンは口添えしない」ということは本当であるとするとそれは利用され易くない fact7: そのテイクダウンは寝苦しい fact8: 仮にそのテイクダウンが減り続けるということはないがしかし寝苦しいとしたらこのＤＶＤ‐ＲＯＭドライブは因り質でない fact9: そのテイクダウンは開き易い fact10: そのテイクダウンは若者らしいか口添えするかもしくはどちらもだ fact11: もしもそのテイクダウンが利用され易くないならば不足し易い fact12: 仮にあの鉄道会社が不足し易いとするとそのテイクダウンは開き易くなくてそれにそれは減り続けない
fact3 -> int1: そのテイクダウンは姉らしい; void -> assump1: 以下のように仮定する。そのテイクダウンは減り続ける; int1 & assump1 -> int2: そのテイクダウンは減り続けるしおまけにそれは姉らしい; fact1 -> int3: もし仮に「そのテイクダウンは減り続けるし姉らしい」ということは本当であるならば不足し易くない; int2 & int3 -> int4: 「そのテイクダウンは不足し易くない」ということは確かである; fact5 & fact2 -> int5: そのテイクダウンは利用され易くない; int5 & fact11 -> int6: 「そのテイクダウンは不足し易い」ということは確かだ; int4 & int6 -> int7: これは矛盾である; [assump1] & int7 -> int8: そのテイクダウンは減り続けない; int8 & fact7 -> int9: そのテイクダウンは減り続けないけどそれは寝苦しい; int9 & fact8 -> hypothesis;
このＤＶＤ‐ＲＯＭドライブは因り質である
fact14 -> int10: もしそのテイクダウンが開き易くないとしたら因り質であるか姉らしくない;
$facts$ = fact1: とあるものが減り続けるしそれが姉らしいなら不足し易くない fact2: そのテイクダウンは若者らしいか口添えするということはないか両方ともだ fact3: 「そのテイクダウンは姉らしいしまた開き易い」ということは成り立つ fact4: 何かは開き易くないならそれは因り質であるか姉らしくないかあるいは両方ともである fact5: そのテイクダウンは若者らしいかまたは口添えしないかまたは両方だとしたらそれは利用され易くない fact6: 仮に「そのテイクダウンは口添えしない」ということは本当であるとするとそれは利用され易くない fact7: そのテイクダウンは寝苦しい fact8: 仮にそのテイクダウンが減り続けるということはないがしかし寝苦しいとしたらこのＤＶＤ‐ＲＯＭドライブは因り質でない fact9: そのテイクダウンは開き易い fact10: そのテイクダウンは若者らしいか口添えするかもしくはどちらもだ fact11: もしもそのテイクダウンが利用され易くないならば不足し易い fact12: 仮にあの鉄道会社が不足し易いとするとそのテイクダウンは開き易くなくてそれにそれは減り続けない ; $hypothesis$ = このＤＶＤ‐ＲＯＭドライブは因り質でない ; $proof$ = 
fact3 -> int1: そのテイクダウンは姉らしい; void -> assump1: 以下のように仮定する。そのテイクダウンは減り続ける; int1 & assump1 -> int2: そのテイクダウンは減り続けるしおまけにそれは姉らしい; fact1 -> int3: もし仮に「そのテイクダウンは減り続けるし姉らしい」ということは本当であるならば不足し易くない; int2 & int3 -> int4: 「そのテイクダウンは不足し易くない」ということは確かである; fact5 & fact2 -> int5: そのテイクダウンは利用され易くない; int5 & fact11 -> int6: 「そのテイクダウンは不足し易い」ということは確かだ; int4 & int6 -> int7: これは矛盾である; [assump1] & int7 -> int8: そのテイクダウンは減り続けない; int8 & fact7 -> int9: そのテイクダウンは減り続けないけどそれは寝苦しい; int9 & fact8 -> hypothesis; __PROVED__
事実1: とあるものが減り続けるしそれが姉らしいなら不足し易くない
事実2: そのテイクダウンは若者らしいか口添えするということはないか両方ともだ
事実3: 「そのテイクダウンは姉らしいしまた開き易い」ということは成り立つ
事実4: 何かは開き易くないならそれは因り質であるか姉らしくないかあるいは両方ともである
事実5: そのテイクダウンは若者らしいかまたは口添えしないかまたは両方だとしたらそれは利用され易くない
事実6: 仮に「そのテイクダウンは口添えしない」ということは本当であるとするとそれは利用され易くない
事実7: そのテイクダウンは寝苦しい
事実8: 仮にそのテイクダウンが減り続けるということはないがしかし寝苦しいとしたらこのＤＶＤ‐ＲＯＭドライブは因り質でない
事実9: そのテイクダウンは開き易い
事実10: そのテイクダウンは若者らしいか口添えするかもしくはどちらもだ
事実11: もしもそのテイクダウンが利用され易くないならば不足し易い
事実12: 仮にあの鉄道会社が不足し易いとするとそのテイクダウンは開き易くなくてそれにそれは減り続けない

仮説: このＤＶＤ‐ＲＯＭドライブは因り質でない
1. 事実3から、推論1: "そのテイクダウンは姉らしい"が導かれる
2. 仮定1: 以下のように仮定する。そのテイクダウンは減り続ける
3. 推論1と仮定1から、推論2: "そのテイクダウンは減り続けるしおまけにそれは姉らしい"が導かれる
4. 事実1から、推論3: "もし仮に「そのテイクダウンは減り続けるし姉らしい」ということは本当であるならば不足し易くない"が導かれる
5. 推論2と推論3から、推論4: "「そのテイクダウンは不足し易くない」ということは確かである"が導かれる
6. 事実5と事実2から、推論5: "そのテイクダウンは利用され易くない"が導かれる
7. 推論5と事実11から、推論6: "「そのテイクダウンは不足し易い」ということは確かだ"が導かれる
8. 推論4と推論6から、推論7: "これは矛盾である"が導かれる
9. [仮定1]と推論7から、推論8: "そのテイクダウンは減り続けない"が導かれる
10. 推論8と事実7から、推論9: "そのテイクダウンは減り続けないけどそれは寝苦しい"が導かれる
11. 推論9と事実8から、仮説が導かれる

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