あの小走りはしょっぱいがしかしそれは政治的側面だということはない
fact1: もしなにがしかのものが入水自殺すればしょっぱくておまけに政治的側面でない fact2: あの小走りは配線工事だがしかし疲れ難くない fact3: もしもあの小走りが如何わしくないならこの横書き表示は如何わしいということはない fact4: もしこの横書き表示が如何わしいけどしょっぱくないとしたらこの先述は配線工事だ fact5: もし仮にこの横書き表示が配線工事でないとしたらこの先述は如何わしいということはない fact6: 「この横書き表示は如何わしくない」ということは正しいとするとこの先述は如何わしい fact7: もしもあの小走りが政治的側面でないとしたらこの先述は政治的側面でない fact8: この先述はしょっぱくない fact9: もしもこの横書き表示が如何わしくないとしたらこの先述は如何わしくない fact10: あの小走りは政治的側面でない fact11: 「あの小走りはしょっぱくてそれに政治的側面だ」ということは誤っている fact12: この横書き表示は配線工事でないかあるいはそれは如何わしくない fact13: 「この危険性・蓋然性は利用し続けるけれどうろちょろしない」ということは偽だ fact14: もしもあの小走りがしょっぱくておまけにそれが政治的側面であるならばこの先述は如何わしい fact15: この横書き表示は如何わしいということはないかもしくはしょっぱくないかまたは両方ともである fact16: もしもあの小走りがしょっぱいけどそれは政治的側面であるということはないならば「この先述は如何わしい」ということは事実である fact17: あの小走りは如何わしいがそれは政治的側面でない
void -> assump1: 以下のように仮定する。あの小走りはしょっぱいが政治的側面でない; fact16 & assump1 -> int1: この先述は如何わしい; fact9 & fact5 & fact12 -> int2: この先述は如何わしくない; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis;
void -> assump1: ({AA}{a} & ¬{AB}{a}); fact16 & assump1 -> int1: {B}{b}; fact9 & fact5 & fact12 -> int2: ¬{B}{b}; int1 & int2 -> int3: #F#; [assump1] & int3 -> hypothesis;
あの小走りはしょっぱいけれど政治的側面でない
fact18 -> int4: あの小走りが入水自殺するとすればしょっぱいけれど政治的側面でない;
$facts$ = fact1: もしなにがしかのものが入水自殺すればしょっぱくておまけに政治的側面でない fact2: あの小走りは配線工事だがしかし疲れ難くない fact3: もしもあの小走りが如何わしくないならこの横書き表示は如何わしいということはない fact4: もしこの横書き表示が如何わしいけどしょっぱくないとしたらこの先述は配線工事だ fact5: もし仮にこの横書き表示が配線工事でないとしたらこの先述は如何わしいということはない fact6: 「この横書き表示は如何わしくない」ということは正しいとするとこの先述は如何わしい fact7: もしもあの小走りが政治的側面でないとしたらこの先述は政治的側面でない fact8: この先述はしょっぱくない fact9: もしもこの横書き表示が如何わしくないとしたらこの先述は如何わしくない fact10: あの小走りは政治的側面でない fact11: 「あの小走りはしょっぱくてそれに政治的側面だ」ということは誤っている fact12: この横書き表示は配線工事でないかあるいはそれは如何わしくない fact13: 「この危険性・蓋然性は利用し続けるけれどうろちょろしない」ということは偽だ fact14: もしもあの小走りがしょっぱくておまけにそれが政治的側面であるならばこの先述は如何わしい fact15: この横書き表示は如何わしいということはないかもしくはしょっぱくないかまたは両方ともである fact16: もしもあの小走りがしょっぱいけどそれは政治的側面であるということはないならば「この先述は如何わしい」ということは事実である fact17: あの小走りは如何わしいがそれは政治的側面でない ; $hypothesis$ = あの小走りはしょっぱいがしかしそれは政治的側面だということはない ; $proof$ = 
void -> assump1: 以下のように仮定する。あの小走りはしょっぱいが政治的側面でない; fact16 & assump1 -> int1: この先述は如何わしい; fact9 & fact5 & fact12 -> int2: この先述は如何わしくない; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis; __DISPROVED__
事実1: もしなにがしかのものが入水自殺すればしょっぱくておまけに政治的側面でない
事実2: あの小走りは配線工事だがしかし疲れ難くない
事実3: もしもあの小走りが如何わしくないならこの横書き表示は如何わしいということはない
事実4: もしこの横書き表示が如何わしいけどしょっぱくないとしたらこの先述は配線工事だ
事実5: もし仮にこの横書き表示が配線工事でないとしたらこの先述は如何わしいということはない
事実6: 「この横書き表示は如何わしくない」ということは正しいとするとこの先述は如何わしい
事実7: もしもあの小走りが政治的側面でないとしたらこの先述は政治的側面でない
事実8: この先述はしょっぱくない
事実9: もしもこの横書き表示が如何わしくないとしたらこの先述は如何わしくない
事実10: あの小走りは政治的側面でない
事実11: 「あの小走りはしょっぱくてそれに政治的側面だ」ということは誤っている
事実12: この横書き表示は配線工事でないかあるいはそれは如何わしくない
事実13: 「この危険性・蓋然性は利用し続けるけれどうろちょろしない」ということは偽だ
事実14: もしもあの小走りがしょっぱくておまけにそれが政治的側面であるならばこの先述は如何わしい
事実15: この横書き表示は如何わしいということはないかもしくはしょっぱくないかまたは両方ともである
事実16: もしもあの小走りがしょっぱいけどそれは政治的側面であるということはないならば「この先述は如何わしい」ということは事実である
事実17: あの小走りは如何わしいがそれは政治的側面でない

仮説: あの小走りはしょっぱいがしかしそれは政治的側面だということはない
1. 仮定1: 以下のように仮定する。あの小走りはしょっぱいが政治的側面でない
2. 事実16と仮定1から、推論1: "この先述は如何わしい"が導かれる
3. 事実9と事実5と事実12から、推論2: "この先述は如何わしくない"が導かれる
4. 推論1と推論2から、推論3: "これは矛盾である"が導かれる
5. [仮定1]と推論3から、仮説が否定される

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