「「もし「駐屯するしさらに編み込む」ということは事実と異なるとしたら気難しくない」物はある」ということは誤っている
fact1: もしもその氏名等は編み込まないなら「それは気難しいということはない」ということは正しい fact2: 「もし仮に「駐屯するしそれに編み込む」ということは偽であるとしたら気難しい」物はある fact3: 「なんらかのものは駐屯するし加えて編み込む」ということは偽であるならば「それは気難しくない」ということは成り立つ fact4: もし何らかの物は駐屯するしさらに編み込むならそれは気難しくない fact5: ある物が編み込まないとするとそれは気難しくない
fact3 -> int1: 仮に「その氏名等は駐屯するしかつ編み込む」ということは間違っているとすればそれは気難しいということはない; int1 -> hypothesis;
fact3 -> int1: ¬({AA}{aa} & {AB}{aa}) -> ¬{B}{aa}; int1 -> hypothesis;
$facts$ = fact1: もしもその氏名等は編み込まないなら「それは気難しいということはない」ということは正しい fact2: 「もし仮に「駐屯するしそれに編み込む」ということは偽であるとしたら気難しい」物はある fact3: 「なんらかのものは駐屯するし加えて編み込む」ということは偽であるならば「それは気難しくない」ということは成り立つ fact4: もし何らかの物は駐屯するしさらに編み込むならそれは気難しくない fact5: ある物が編み込まないとするとそれは気難しくない ; $hypothesis$ = 「「もし「駐屯するしさらに編み込む」ということは事実と異なるとしたら気難しくない」物はある」ということは誤っている ; $proof$ = 
fact3 -> int1: 仮に「その氏名等は駐屯するしかつ編み込む」ということは間違っているとすればそれは気難しいということはない; int1 -> hypothesis; __DISPROVED__
事実1: もしもその氏名等は編み込まないなら「それは気難しいということはない」ということは正しい
事実2: 「もし仮に「駐屯するしそれに編み込む」ということは偽であるとしたら気難しい」物はある
事実3: 「なんらかのものは駐屯するし加えて編み込む」ということは偽であるならば「それは気難しくない」ということは成り立つ
事実4: もし何らかの物は駐屯するしさらに編み込むならそれは気難しくない
事実5: ある物が編み込まないとするとそれは気難しくない

仮説: 「「もし「駐屯するしさらに編み込む」ということは事実と異なるとしたら気難しくない」物はある」ということは誤っている
1. 事実3から、推論1: "仮に「その氏名等は駐屯するしかつ編み込む」ということは間違っているとすればそれは気難しいということはない"が導かれる
2. 推論1から、仮説が否定される

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