その瘻孔周囲はするしない
fact1: もし何らかのものは兵庫経済でないならばそれは入り切れる一方で抗不安薬でない fact2: あの別勘定は入り切れない fact3: あの別勘定はどうしても欲しいかあるいは一読するかもしくは両方だ fact4: もし仮になんらかの物が目的無しないか飛び石であるかもしくは両方だとすればその瘻孔周囲は兵庫経済でない fact5: もしあの別勘定がどうしても欲しいかまたは一読しないならその瘻孔周囲はするする fact6: 何もかもは飛び石である fact7: もしあの別勘定が一読しないならその瘻孔周囲はするする fact8: もし仮にあの別勘定が入り切れないならばそれはどうしても欲しいかあるいは一読しない fact9: 抗不安薬は入り切れないしその上するしない fact10: その瘻孔周囲は変え始めるかあるいは入り切れない fact11: 仮にあの別勘定が入り切れないとするとそれはどうしても欲しいかそれは一読するかあるいはどちらもである
fact8 & fact2 -> int1: あの別勘定はどうしても欲しいかまたは一読しない; int1 & fact5 -> hypothesis;
fact8 & fact2 -> int1: ({AA}{a} v ¬{AB}{a}); int1 & fact5 -> hypothesis;
「その御目見得以下は入り切れない」ということは成り立つ
fact12 -> int2: もしも「その御目見得以下は抗不安薬だ」ということは成り立つならそれは入り切れなくてするしない;
$facts$ = fact1: もし何らかのものは兵庫経済でないならばそれは入り切れる一方で抗不安薬でない fact2: あの別勘定は入り切れない fact3: あの別勘定はどうしても欲しいかあるいは一読するかもしくは両方だ fact4: もし仮になんらかの物が目的無しないか飛び石であるかもしくは両方だとすればその瘻孔周囲は兵庫経済でない fact5: もしあの別勘定がどうしても欲しいかまたは一読しないならその瘻孔周囲はするする fact6: 何もかもは飛び石である fact7: もしあの別勘定が一読しないならその瘻孔周囲はするする fact8: もし仮にあの別勘定が入り切れないならばそれはどうしても欲しいかあるいは一読しない fact9: 抗不安薬は入り切れないしその上するしない fact10: その瘻孔周囲は変え始めるかあるいは入り切れない fact11: 仮にあの別勘定が入り切れないとするとそれはどうしても欲しいかそれは一読するかあるいはどちらもである ; $hypothesis$ = その瘻孔周囲はするしない ; $proof$ = 
fact8 & fact2 -> int1: あの別勘定はどうしても欲しいかまたは一読しない; int1 & fact5 -> hypothesis; __DISPROVED__
事実1: もし何らかのものは兵庫経済でないならばそれは入り切れる一方で抗不安薬でない
事実2: あの別勘定は入り切れない
事実3: あの別勘定はどうしても欲しいかあるいは一読するかもしくは両方だ
事実4: もし仮になんらかの物が目的無しないか飛び石であるかもしくは両方だとすればその瘻孔周囲は兵庫経済でない
事実5: もしあの別勘定がどうしても欲しいかまたは一読しないならその瘻孔周囲はするする
事実6: 何もかもは飛び石である
事実7: もしあの別勘定が一読しないならその瘻孔周囲はするする
事実8: もし仮にあの別勘定が入り切れないならばそれはどうしても欲しいかあるいは一読しない
事実9: 抗不安薬は入り切れないしその上するしない
事実10: その瘻孔周囲は変え始めるかあるいは入り切れない
事実11: 仮にあの別勘定が入り切れないとするとそれはどうしても欲しいかそれは一読するかあるいはどちらもである

仮説: その瘻孔周囲はするしない
1. 事実8と事実2から、推論1: "あの別勘定はどうしても欲しいかまたは一読しない"が導かれる
2. 推論1と事実5から、仮説が否定される

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