「このテビチは言い易くてフォークソングだ」ということは偽である
fact1: 胸腺は起こり易いけれど堪えない fact2: もしあの新製品情報が立て難くないしおまけに社債発行会社であるということはないとするとこのテビチは立て難くない fact3: 仮に「このテビチはフォークソングでないがしかし言い易い」ということは成り立つということはないならばその現実社会は言い易い fact4: このテビチはフォークソングであるしその上道徳的判断である fact5: なんらかのものは激しないかあるいはそれは呆れ返らない fact6: もしも起こり易いものが堪えないなら道徳的判断だ fact7: このテビチは言い易くて立て難い fact8: もし仮になにかは立て難くないとしたら「それは言い易いしフォークソングである」ということは成り立たない
fact7 -> int1: このテビチは言い易い; fact4 -> int2: このテビチはフォークソングだ; int1 & int2 -> hypothesis;
「このテビチは言い易くておまけにフォークソングである」ということは偽である
fact11 -> int3: このテビチは立て難くないならば「それは言い易いしそれはフォークソングである」ということは成り立たない; fact12 -> int4: もしあの新製品情報は起こり易いがしかし堪えないとすればそれは道徳的判断だ; fact10 -> int5: もしあの新製品情報は胸腺であるならそれは起こり易い一方で堪えない;
$facts$ = fact1: 胸腺は起こり易いけれど堪えない fact2: もしあの新製品情報が立て難くないしおまけに社債発行会社であるということはないとするとこのテビチは立て難くない fact3: 仮に「このテビチはフォークソングでないがしかし言い易い」ということは成り立つということはないならばその現実社会は言い易い fact4: このテビチはフォークソングであるしその上道徳的判断である fact5: なんらかのものは激しないかあるいはそれは呆れ返らない fact6: もしも起こり易いものが堪えないなら道徳的判断だ fact7: このテビチは言い易くて立て難い fact8: もし仮になにかは立て難くないとしたら「それは言い易いしフォークソングである」ということは成り立たない ; $hypothesis$ = 「このテビチは言い易くてフォークソングだ」ということは偽である ; $proof$ = 
fact7 -> int1: このテビチは言い易い; fact4 -> int2: このテビチはフォークソングだ; int1 & int2 -> hypothesis; __DISPROVED__
事実1: 胸腺は起こり易いけれど堪えない
事実2: もしあの新製品情報が立て難くないしおまけに社債発行会社であるということはないとするとこのテビチは立て難くない
事実3: 仮に「このテビチはフォークソングでないがしかし言い易い」ということは成り立つということはないならばその現実社会は言い易い
事実4: このテビチはフォークソングであるしその上道徳的判断である
事実5: なんらかのものは激しないかあるいはそれは呆れ返らない
事実6: もしも起こり易いものが堪えないなら道徳的判断だ
事実7: このテビチは言い易くて立て難い
事実8: もし仮になにかは立て難くないとしたら「それは言い易いしフォークソングである」ということは成り立たない

仮説: 「このテビチは言い易くてフォークソングだ」ということは偽である
1. 事実7から、推論1: "このテビチは言い易い"が導かれる
2. 事実4から、推論2: "このテビチはフォークソングだ"が導かれる
3. 推論1と推論2から、仮説が否定される

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