この固目は逝去しない
fact1: この固目は配賦だ fact2: このアップオンが配賦であるならばそのアスキーは擦れ違う fact3: このアップオンは配賦である fact4: もしもそのアスキーは擦れ違うなら「この固目は逝去する」ということは確かだ
fact2 & fact3 -> int1: そのアスキーは擦れ違う; int1 & fact4 -> hypothesis;
fact2 & fact3 -> int1: {B}{b}; int1 & fact4 -> hypothesis;
$facts$ = fact1: この固目は配賦だ fact2: このアップオンが配賦であるならばそのアスキーは擦れ違う fact3: このアップオンは配賦である fact4: もしもそのアスキーは擦れ違うなら「この固目は逝去する」ということは確かだ ; $hypothesis$ = この固目は逝去しない ; $proof$ = 
fact2 & fact3 -> int1: そのアスキーは擦れ違う; int1 & fact4 -> hypothesis; __DISPROVED__
事実1: この固目は配賦だ
事実2: このアップオンが配賦であるならばそのアスキーは擦れ違う
事実3: このアップオンは配賦である
事実4: もしもそのアスキーは擦れ違うなら「この固目は逝去する」ということは確かだ

仮説: この固目は逝去しない
1. 事実2と事実3から、推論1: "そのアスキーは擦れ違う"が導かれる
2. 推論1と事実4から、仮説が否定される

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