この四つ橋線は慈愛深い
fact1: もし「「奔走しなくておまけに暗号化しない」ということは成り立たない」ものがあるならばあの四つ橋線は慈愛深くない fact2: もしも「「奔走する」ということは成り立つ」ものがあるとしたらこの四つ橋線は慈愛深いということはない fact3: もしもこの四つ橋線が高いなら慈愛深い fact4: 「「抗い難くない一方でプロドラッグだ」ということは成り立たない」ものはある fact5: 「「奔走しなくてしかも暗号化しない」ということは嘘である」ものはある
fact5 & fact1 -> hypothesis;
fact5 & fact1 -> hypothesis;
この四つ橋線は慈愛深い
$facts$ = fact1: もし「「奔走しなくておまけに暗号化しない」ということは成り立たない」ものがあるならばあの四つ橋線は慈愛深くない fact2: もしも「「奔走する」ということは成り立つ」ものがあるとしたらこの四つ橋線は慈愛深いということはない fact3: もしもこの四つ橋線が高いなら慈愛深い fact4: 「「抗い難くない一方でプロドラッグだ」ということは成り立たない」ものはある fact5: 「「奔走しなくてしかも暗号化しない」ということは嘘である」ものはある ; $hypothesis$ = この四つ橋線は慈愛深い ; $proof$ = 
fact5 & fact1 -> hypothesis; __DISPROVED__
事実1: もし「「奔走しなくておまけに暗号化しない」ということは成り立たない」ものがあるならばあの四つ橋線は慈愛深くない
事実2: もしも「「奔走する」ということは成り立つ」ものがあるとしたらこの四つ橋線は慈愛深いということはない
事実3: もしもこの四つ橋線が高いなら慈愛深い
事実4: 「「抗い難くない一方でプロドラッグだ」ということは成り立たない」ものはある
事実5: 「「奔走しなくてしかも暗号化しない」ということは嘘である」ものはある

仮説: この四つ橋線は慈愛深い
1. 事実5と事実1から、仮説が否定される

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