その上乗せは崩れ易くない
fact1: この線属性ダイアログは使用中であるしまた幻視する fact2: もし仮にその上乗せは御問い合わせ下さらない一方で曲解するとすると「崩れ易くない」ということは成り立つ fact3: その上乗せは曲解するし御問い合わせ下さる fact4: 「その上乗せは曲解する」ということは成り立つ fact5: もし仮にその上乗せが御問い合わせ下さるとしたら崩れ易い
fact3 -> int1: その上乗せは御問い合わせ下さる; int1 & fact5 -> hypothesis;
fact3 -> int1: {B}{a}; int1 & fact5 -> hypothesis;
その上乗せは崩れ易くない
$facts$ = fact1: この線属性ダイアログは使用中であるしまた幻視する fact2: もし仮にその上乗せは御問い合わせ下さらない一方で曲解するとすると「崩れ易くない」ということは成り立つ fact3: その上乗せは曲解するし御問い合わせ下さる fact4: 「その上乗せは曲解する」ということは成り立つ fact5: もし仮にその上乗せが御問い合わせ下さるとしたら崩れ易い ; $hypothesis$ = その上乗せは崩れ易くない ; $proof$ = 
fact3 -> int1: その上乗せは御問い合わせ下さる; int1 & fact5 -> hypothesis; __DISPROVED__
事実1: この線属性ダイアログは使用中であるしまた幻視する
事実2: もし仮にその上乗せは御問い合わせ下さらない一方で曲解するとすると「崩れ易くない」ということは成り立つ
事実3: その上乗せは曲解するし御問い合わせ下さる
事実4: 「その上乗せは曲解する」ということは成り立つ
事実5: もし仮にその上乗せが御問い合わせ下さるとしたら崩れ易い

仮説: その上乗せは崩れ易くない
1. 事実3から、推論1: "その上乗せは御問い合わせ下さる"が導かれる
2. 推論1と事実5から、仮説が否定される

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