「このエネルギー物質は手酷い」ということは事実だ
fact1: もし「あるものは欲しいということはないか心置き無いかどちらもである」ということは真実ならばこの不釣り合いはレイノー現象だ fact2: 「欲しかないかまたは心置き無いかどちらもな」ものはある fact3: 「「心置き無いということはないレイノー現象である」ということは成り立たない」ものがあるならあのシティホテルは全量である fact4: 欲しいか心置き無いものはある fact5: この不釣り合いは図々しくてまた静観する fact6: もしこの不釣り合いがレイノー現象だし図々しいとしたらこのエネルギー物質は手酷くない fact7: もしもあるものは手酷いなら「それは心置き無くないけれどレイノー現象である」ということは偽である fact8: もしこのエネルギー物質が手酷いし加えてそれが静観すればこの不釣り合いはレイノー現象でない fact9: もしも心置き無いものがあるとしたらこの不釣り合いはレイノー現象だ
fact2 & fact1 -> int1: この不釣り合いはレイノー現象である; fact5 -> int2: この不釣り合いは図々しい; int1 & int2 -> int3: この不釣り合いがレイノー現象だし図々しい; int3 & fact6 -> hypothesis;
あのシティホテルは全量で加えてそれは欲しい
fact11 -> int4: この寮は手酷いとすれば「心置き無くないしかつそれはレイノー現象だ」ということは誤りだ;
$facts$ = fact1: もし「あるものは欲しいということはないか心置き無いかどちらもである」ということは真実ならばこの不釣り合いはレイノー現象だ fact2: 「欲しかないかまたは心置き無いかどちらもな」ものはある fact3: 「「心置き無いということはないレイノー現象である」ということは成り立たない」ものがあるならあのシティホテルは全量である fact4: 欲しいか心置き無いものはある fact5: この不釣り合いは図々しくてまた静観する fact6: もしこの不釣り合いがレイノー現象だし図々しいとしたらこのエネルギー物質は手酷くない fact7: もしもあるものは手酷いなら「それは心置き無くないけれどレイノー現象である」ということは偽である fact8: もしこのエネルギー物質が手酷いし加えてそれが静観すればこの不釣り合いはレイノー現象でない fact9: もしも心置き無いものがあるとしたらこの不釣り合いはレイノー現象だ ; $hypothesis$ = 「このエネルギー物質は手酷い」ということは事実だ ; $proof$ = 
fact2 & fact1 -> int1: この不釣り合いはレイノー現象である; fact5 -> int2: この不釣り合いは図々しい; int1 & int2 -> int3: この不釣り合いがレイノー現象だし図々しい; int3 & fact6 -> hypothesis; __DISPROVED__
事実1: もし「あるものは欲しいということはないか心置き無いかどちらもである」ということは真実ならばこの不釣り合いはレイノー現象だ
事実2: 「欲しかないかまたは心置き無いかどちらもな」ものはある
事実3: 「「心置き無いということはないレイノー現象である」ということは成り立たない」ものがあるならあのシティホテルは全量である
事実4: 欲しいか心置き無いものはある
事実5: この不釣り合いは図々しくてまた静観する
事実6: もしこの不釣り合いがレイノー現象だし図々しいとしたらこのエネルギー物質は手酷くない
事実7: もしもあるものは手酷いなら「それは心置き無くないけれどレイノー現象である」ということは偽である
事実8: もしこのエネルギー物質が手酷いし加えてそれが静観すればこの不釣り合いはレイノー現象でない
事実9: もしも心置き無いものがあるとしたらこの不釣り合いはレイノー現象だ

仮説: 「このエネルギー物質は手酷い」ということは事実だ
1. 事実2と事実1から、推論1: "この不釣り合いはレイノー現象である"が導かれる
2. 事実5から、推論2: "この不釣り合いは図々しい"が導かれる
3. 推論1と推論2から、推論3: "この不釣り合いがレイノー現象だし図々しい"が導かれる
4. 推論3と事実6から、仮説が否定される

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