そのチェック内容は逃散である
fact1: もしも「そのチェック内容は逃散である」ということは成り立つとすると匂い立つし幼しない fact2: もしもあの横方向が御強請りするけどそれが通覧しないとすればそのチェック内容は通覧する fact3: あの横方向は間違い無くない fact4: もし「とあるものは逃散だということはないがしかし間違い無い」ということは間違っているとすると逃散である fact5: もしもあの横方向が間違い無いということはないならそれは御強請りするけど通覧しない fact6: 何らかのものが匂い立つ一方でそれが幼しということはないならば通覧しない
void -> assump1: 以下のように仮定する。そのチェック内容は逃散である; fact1 & assump1 -> int1: そのチェック内容は匂い立つがしかしそれは幼しない; fact6 -> int2: もしそのチェック内容は匂い立つ一方で幼しないとすれば通覧しない; int1 & int2 -> int3: そのチェック内容は通覧しない; fact5 & fact3 -> int4: あの横方向は御強請りするが通覧しない; fact2 & int4 -> int5: そのチェック内容は通覧する; int3 & int5 -> int6: これは矛盾である; [assump1] & int6 -> hypothesis;
そのチェック内容は逃散である
fact7 -> int7: もしも「そのチェック内容は逃散でない一方で間違い無い」ということは成り立つということはないならば逃散だ;
$facts$ = fact1: もしも「そのチェック内容は逃散である」ということは成り立つとすると匂い立つし幼しない fact2: もしもあの横方向が御強請りするけどそれが通覧しないとすればそのチェック内容は通覧する fact3: あの横方向は間違い無くない fact4: もし「とあるものは逃散だということはないがしかし間違い無い」ということは間違っているとすると逃散である fact5: もしもあの横方向が間違い無いということはないならそれは御強請りするけど通覧しない fact6: 何らかのものが匂い立つ一方でそれが幼しということはないならば通覧しない ; $hypothesis$ = そのチェック内容は逃散である ; $proof$ = 
void -> assump1: 以下のように仮定する。そのチェック内容は逃散である; fact1 & assump1 -> int1: そのチェック内容は匂い立つがしかしそれは幼しない; fact6 -> int2: もしそのチェック内容は匂い立つ一方で幼しないとすれば通覧しない; int1 & int2 -> int3: そのチェック内容は通覧しない; fact5 & fact3 -> int4: あの横方向は御強請りするが通覧しない; fact2 & int4 -> int5: そのチェック内容は通覧する; int3 & int5 -> int6: これは矛盾である; [assump1] & int6 -> hypothesis; __DISPROVED__
事実1: もしも「そのチェック内容は逃散である」ということは成り立つとすると匂い立つし幼しない
事実2: もしもあの横方向が御強請りするけどそれが通覧しないとすればそのチェック内容は通覧する
事実3: あの横方向は間違い無くない
事実4: もし「とあるものは逃散だということはないがしかし間違い無い」ということは間違っているとすると逃散である
事実5: もしもあの横方向が間違い無いということはないならそれは御強請りするけど通覧しない
事実6: 何らかのものが匂い立つ一方でそれが幼しということはないならば通覧しない

仮説: そのチェック内容は逃散である
1. 仮定1: 以下のように仮定する。そのチェック内容は逃散である
2. 事実1と仮定1から、推論1: "そのチェック内容は匂い立つがしかしそれは幼しない"が導かれる
3. 事実6から、推論2: "もしそのチェック内容は匂い立つ一方で幼しないとすれば通覧しない"が導かれる
4. 推論1と推論2から、推論3: "そのチェック内容は通覧しない"が導かれる
5. 事実5と事実3から、推論4: "あの横方向は御強請りするが通覧しない"が導かれる
6. 事実2と推論4から、推論5: "そのチェック内容は通覧する"が導かれる
7. 推論3と推論5から、推論6: "これは矛盾である"が導かれる
8. [仮定1]と推論6から、仮説が否定される

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