このホテル暮らしは借り易い
fact1: もしも「なにかは再発し易い一方で考え辛くない」ということは偽であるならばそれは再発し易くない fact2: もしも「「流れ続けなくておまけに終わり掛ける」ということは偽である」ものがあるならその音楽は再発し易い fact3: 仮にその音楽が再発し易いとするとこのホテル暮らしは再発し易いが借り易くない fact4: 「「再発し易くないし借り易い」ということは偽である」物はある fact5: 「「流れ続けなくてその上終わり掛ける」ということは偽である」ものはある fact6: もし仮に「終わり掛けない」ものがあればその音楽は再発し易い fact7: 「「借り易くないが再発し易い」ということは間違いな」ものはある
fact5 & fact2 -> int1: その音楽は再発し易い; int1 & fact3 -> int2: このホテル暮らしは再発し易いが借り易くない; int2 -> hypothesis;
fact5 & fact2 -> int1: {A}{a}; int1 & fact3 -> int2: ({A}{b} & ¬{B}{b}); int2 -> hypothesis;
そのジャスミン茶は再発し易いということはない
fact8 -> int3: もし「そのジャスミン茶は再発し易いがそれは考え辛くない」ということは成り立たないなら再発し易くない;
$facts$ = fact1: もしも「なにかは再発し易い一方で考え辛くない」ということは偽であるならばそれは再発し易くない fact2: もしも「「流れ続けなくておまけに終わり掛ける」ということは偽である」ものがあるならその音楽は再発し易い fact3: 仮にその音楽が再発し易いとするとこのホテル暮らしは再発し易いが借り易くない fact4: 「「再発し易くないし借り易い」ということは偽である」物はある fact5: 「「流れ続けなくてその上終わり掛ける」ということは偽である」ものはある fact6: もし仮に「終わり掛けない」ものがあればその音楽は再発し易い fact7: 「「借り易くないが再発し易い」ということは間違いな」ものはある ; $hypothesis$ = このホテル暮らしは借り易い ; $proof$ = 
fact5 & fact2 -> int1: その音楽は再発し易い; int1 & fact3 -> int2: このホテル暮らしは再発し易いが借り易くない; int2 -> hypothesis; __DISPROVED__
事実1: もしも「なにかは再発し易い一方で考え辛くない」ということは偽であるならばそれは再発し易くない
事実2: もしも「「流れ続けなくておまけに終わり掛ける」ということは偽である」ものがあるならその音楽は再発し易い
事実3: 仮にその音楽が再発し易いとするとこのホテル暮らしは再発し易いが借り易くない
事実4: 「「再発し易くないし借り易い」ということは偽である」物はある
事実5: 「「流れ続けなくてその上終わり掛ける」ということは偽である」ものはある
事実6: もし仮に「終わり掛けない」ものがあればその音楽は再発し易い
事実7: 「「借り易くないが再発し易い」ということは間違いな」ものはある

仮説: このホテル暮らしは借り易い
1. 事実5と事実2から、推論1: "その音楽は再発し易い"が導かれる
2. 推論1と事実3から、推論2: "このホテル暮らしは再発し易いが借り易くない"が導かれる
3. 推論2から、仮説が否定される

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