あの町作り協議会は飛び越すということはない
fact1: あの蜜月時代がし難いということはないとするとそれは宜しくない fact2: あるものはし難いか宜しくないかあるいは両方だとすればそれは宜しくない fact3: もしあの住民自身が宜しくないならあの町作り協議会は保証するしかつそれは飛び越す fact4: 仮にあの町作り協議会が宜しくないならあの住民自身は保証するしそれはファクスする fact5: もし仮に「あの町作り協議会は保証しない」ということは正しいとすればあの住民自身は宜しいし更に飛び越す fact6: あの住民自身は宜しくない fact7: 「あの住民自身は飛び越すしまたマドンナである」ということは成り立たないとすればあの町作り協議会は飛び越さない
fact3 & fact6 -> int1: あの町作り協議会は保証するし飛び越す; int1 -> hypothesis;
fact3 & fact6 -> int1: ({AA}{b} & {AB}{b}); int1 -> hypothesis;
あの町作り協議会は飛び越さない
$facts$ = fact1: あの蜜月時代がし難いということはないとするとそれは宜しくない fact2: あるものはし難いか宜しくないかあるいは両方だとすればそれは宜しくない fact3: もしあの住民自身が宜しくないならあの町作り協議会は保証するしかつそれは飛び越す fact4: 仮にあの町作り協議会が宜しくないならあの住民自身は保証するしそれはファクスする fact5: もし仮に「あの町作り協議会は保証しない」ということは正しいとすればあの住民自身は宜しいし更に飛び越す fact6: あの住民自身は宜しくない fact7: 「あの住民自身は飛び越すしまたマドンナである」ということは成り立たないとすればあの町作り協議会は飛び越さない ; $hypothesis$ = あの町作り協議会は飛び越すということはない ; $proof$ = 
fact3 & fact6 -> int1: あの町作り協議会は保証するし飛び越す; int1 -> hypothesis; __DISPROVED__
事実1: あの蜜月時代がし難いということはないとするとそれは宜しくない
事実2: あるものはし難いか宜しくないかあるいは両方だとすればそれは宜しくない
事実3: もしあの住民自身が宜しくないならあの町作り協議会は保証するしかつそれは飛び越す
事実4: 仮にあの町作り協議会が宜しくないならあの住民自身は保証するしそれはファクスする
事実5: もし仮に「あの町作り協議会は保証しない」ということは正しいとすればあの住民自身は宜しいし更に飛び越す
事実6: あの住民自身は宜しくない
事実7: 「あの住民自身は飛び越すしまたマドンナである」ということは成り立たないとすればあの町作り協議会は飛び越さない

仮説: あの町作り協議会は飛び越すということはない
1. 事実3と事実6から、推論1: "あの町作り協議会は保証するし飛び越す"が導かれる
2. 推論1から、仮説が否定される

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