あのＭＲＳはＵＳＢ接続する
fact1: もし仮にある物がえげつなくないとしたらそれはＵＳＢ接続するし加えて在職する fact2: もし仮に「「飽きっぽいかあるいは選り好みする」ということは成り立たない」ものがあるとすればこの経済的構造は在職する fact3: 「この経済的構造はえげつないけど受け売りしない」ということは成り立つとしたらあのＭＲＳはＵＳＢ接続するということはない fact4: 「この災害防止は飽きっぽいかまたは選り好みするかまたは両方である」ということは事実と異なる fact5: もし何かは在職するとすればそれはえげつないし受け売りするということはない fact6: この災害防止は選り好みしない
fact4 -> int1: 「「飽きっぽいかあるいは選り好みするかもしくはどちらもだ」ということは偽な」ものはある; int1 & fact2 -> int2: この経済的構造は在職する; fact5 -> int3: 「もし仮にこの経済的構造が在職するとするとこの経済的構造はえげつないけど受け売りしない」ということは成り立つ; int2 & int3 -> int4: この経済的構造はえげつないがしかしそれは受け売りしない; int4 & fact3 -> hypothesis;
あのＭＲＳはＵＳＢ接続する
fact7 -> int5: もしもあのＭＲＳがえげつないということはないとするとＵＳＢ接続するししかもそれは在職する;
$facts$ = fact1: もし仮にある物がえげつなくないとしたらそれはＵＳＢ接続するし加えて在職する fact2: もし仮に「「飽きっぽいかあるいは選り好みする」ということは成り立たない」ものがあるとすればこの経済的構造は在職する fact3: 「この経済的構造はえげつないけど受け売りしない」ということは成り立つとしたらあのＭＲＳはＵＳＢ接続するということはない fact4: 「この災害防止は飽きっぽいかまたは選り好みするかまたは両方である」ということは事実と異なる fact5: もし何かは在職するとすればそれはえげつないし受け売りするということはない fact6: この災害防止は選り好みしない ; $hypothesis$ = あのＭＲＳはＵＳＢ接続する ; $proof$ = 
fact4 -> int1: 「「飽きっぽいかあるいは選り好みするかもしくはどちらもだ」ということは偽な」ものはある; int1 & fact2 -> int2: この経済的構造は在職する; fact5 -> int3: 「もし仮にこの経済的構造が在職するとするとこの経済的構造はえげつないけど受け売りしない」ということは成り立つ; int2 & int3 -> int4: この経済的構造はえげつないがしかしそれは受け売りしない; int4 & fact3 -> hypothesis; __DISPROVED__
事実1: もし仮にある物がえげつなくないとしたらそれはＵＳＢ接続するし加えて在職する
事実2: もし仮に「「飽きっぽいかあるいは選り好みする」ということは成り立たない」ものがあるとすればこの経済的構造は在職する
事実3: 「この経済的構造はえげつないけど受け売りしない」ということは成り立つとしたらあのＭＲＳはＵＳＢ接続するということはない
事実4: 「この災害防止は飽きっぽいかまたは選り好みするかまたは両方である」ということは事実と異なる
事実5: もし何かは在職するとすればそれはえげつないし受け売りするということはない
事実6: この災害防止は選り好みしない

仮説: あのＭＲＳはＵＳＢ接続する
1. 事実4から、推論1: "「「飽きっぽいかあるいは選り好みするかもしくはどちらもだ」ということは偽な」ものはある"が導かれる
2. 推論1と事実2から、推論2: "この経済的構造は在職する"が導かれる
3. 事実5から、推論3: "「もし仮にこの経済的構造が在職するとするとこの経済的構造はえげつないけど受け売りしない」ということは成り立つ"が導かれる
4. 推論2と推論3から、推論4: "この経済的構造はえげつないがしかしそれは受け売りしない"が導かれる
5. 推論4と事実3から、仮説が否定される

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