この共感関係はぼやぼやする
fact1: 「「しょっぱくない」ということは成り立つ」ものはある fact2: もしとあるものはダウンロード出来ないとしたら「この共感関係は信徒でないがしかしそれは行政院である」ということは成り立たない fact3: 「この共感関係は美的感覚であるしそれに信徒である」ということは嘘である fact4: ある物は縮み上がらない fact5: 仮に「なんらかのものは信徒でないがしかしそれは行政院である」ということは嘘であるならば「ぼやぼやしない」ということは成り立たない fact6: 仮に「なにがしかの物は信徒でない一方で秘蔵する」ということは間違いであるとすると際限無い fact7: 「ダウンロード出来るということはない」物はある
fact7 & fact2 -> int1: 「この共感関係は信徒でないけどそれは行政院である」ということは誤っている; fact5 -> int2: もしも「この共感関係は信徒でないけどそれは行政院だ」ということは事実と異なるならぼやぼやする; int1 & int2 -> hypothesis;
fact7 & fact2 -> int1: ¬(¬{B}{a} & {C}{a}); fact5 -> int2: ¬(¬{B}{a} & {C}{a}) -> {D}{a}; int1 & int2 -> hypothesis;
もし仮に「この共感関係は信徒でないけどそれは秘蔵する」ということは間違いだとしたら際限無い
fact8 -> hypothesis;
$facts$ = fact1: 「「しょっぱくない」ということは成り立つ」ものはある fact2: もしとあるものはダウンロード出来ないとしたら「この共感関係は信徒でないがしかしそれは行政院である」ということは成り立たない fact3: 「この共感関係は美的感覚であるしそれに信徒である」ということは嘘である fact4: ある物は縮み上がらない fact5: 仮に「なんらかのものは信徒でないがしかしそれは行政院である」ということは嘘であるならば「ぼやぼやしない」ということは成り立たない fact6: 仮に「なにがしかの物は信徒でない一方で秘蔵する」ということは間違いであるとすると際限無い fact7: 「ダウンロード出来るということはない」物はある ; $hypothesis$ = この共感関係はぼやぼやする ; $proof$ = 
fact7 & fact2 -> int1: 「この共感関係は信徒でないけどそれは行政院である」ということは誤っている; fact5 -> int2: もしも「この共感関係は信徒でないけどそれは行政院だ」ということは事実と異なるならぼやぼやする; int1 & int2 -> hypothesis; __PROVED__
事実1: 「「しょっぱくない」ということは成り立つ」ものはある
事実2: もしとあるものはダウンロード出来ないとしたら「この共感関係は信徒でないがしかしそれは行政院である」ということは成り立たない
事実3: 「この共感関係は美的感覚であるしそれに信徒である」ということは嘘である
事実4: ある物は縮み上がらない
事実5: 仮に「なんらかのものは信徒でないがしかしそれは行政院である」ということは嘘であるならば「ぼやぼやしない」ということは成り立たない
事実6: 仮に「なにがしかの物は信徒でない一方で秘蔵する」ということは間違いであるとすると際限無い
事実7: 「ダウンロード出来るということはない」物はある

仮説: この共感関係はぼやぼやする
1. 事実7と事実2から、推論1: "「この共感関係は信徒でないけどそれは行政院である」ということは誤っている"が導かれる
2. 事実5から、推論2: "もしも「この共感関係は信徒でないけどそれは行政院だ」ということは事実と異なるならぼやぼやする"が導かれる
3. 推論1と推論2から、仮説が導かれる

よって、仮説が証明されました。