「「もしも「妬ましくて冷たくない」ということは成り立たないとすると完成図である」物はある」ということは嘘だ
fact1: 仮に「あの重圧感は妬ましいけど冷たくない」ということは間違っているなら完成図である fact2: 「求めないとすると埃っぽい」物はある fact3: 「妬ましくないとすると完成図な」ものはある fact4: 「冷たいなら完成図な」ものはある fact5: 「もしも「なにかは妬ましいけど事故被害でない」ということは嘘ならば反芻である」ということは成り立つ
fact1 -> hypothesis;
fact1 -> hypothesis;
もし仮に「あの重圧感は妬ましい一方で事故被害でない」ということは成り立たないとすればそれは反芻だ
fact6 -> hypothesis;
$facts$ = fact1: 仮に「あの重圧感は妬ましいけど冷たくない」ということは間違っているなら完成図である fact2: 「求めないとすると埃っぽい」物はある fact3: 「妬ましくないとすると完成図な」ものはある fact4: 「冷たいなら完成図な」ものはある fact5: 「もしも「なにかは妬ましいけど事故被害でない」ということは嘘ならば反芻である」ということは成り立つ ; $hypothesis$ = 「「もしも「妬ましくて冷たくない」ということは成り立たないとすると完成図である」物はある」ということは嘘だ ; $proof$ = 
fact1 -> hypothesis; __DISPROVED__
事実1: 仮に「あの重圧感は妬ましいけど冷たくない」ということは間違っているなら完成図である
事実2: 「求めないとすると埃っぽい」物はある
事実3: 「妬ましくないとすると完成図な」ものはある
事実4: 「冷たいなら完成図な」ものはある
事実5: 「もしも「なにかは妬ましいけど事故被害でない」ということは嘘ならば反芻である」ということは成り立つ

仮説: 「「もしも「妬ましくて冷たくない」ということは成り立たないとすると完成図である」物はある」ということは嘘だ
1. 事実1から、仮説が否定される

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