あの懇親会はフランス学会だ
fact1: この発足は裁ち落とすがしかしフランス学会でない fact2: 仮にあの懇親会が権限でないならその各距離はフランス学会だ fact3: もしなにかは権限ならばそれはネットワーク化する fact4: その各距離は回りくどいしおまけに仲裁する fact5: もし仮に「その各距離は御存じ無いということはない」ということは成り立つとすればあの懇親会は権限である fact6: もし仮にあの懇親会がフランス学会であるしその上御存じ無いならばそれは仲裁しない fact7: その各距離は回りくどくてそれにそれはフランス学会だ fact8: あの感情線は仲裁しない fact9: あの右下隅はひ弱いしさらに回りくどい fact10: その各距離はフランス学会だ fact11: あの懇親会は走り出すしそれは合わせ辛い fact12: あの懇親会は仲裁する fact13: 仮に権限が呼び易いならフランス学会でない fact14: 仮にその各距離が呼び易いしさらに仲裁するとしたら権限だということはない fact15: もしその各距離は回りくどいしさらに権限であるとすれば呼び易くない fact16: あの大恐慌は届き易いしその上呼び易い fact17: もしも何らかの物はフランス学会でないとすれば「権限だ」ということは成り立つ fact18: この一号窯は回りくどくて働き難い fact19: もしあの懇親会が三十六席であるしおまけにそれが使用測定器類だとすると呼び易くない fact20: あの懇親会は呼び易い fact21: あの国語教師は喚き立てるし更に仲裁する fact22: もしもその各距離は回りくどいし仲裁するとすると御存じ無くない fact23: もしその各距離が仲裁しないとしたらあの懇親会は回りくどい fact24: もし仮にその各距離が呼び易いしその上権限であるとするとそれは仲裁しない fact25: その各距離は愛飲するし惜しみ無い
fact22 & fact4 -> int1: 「その各距離は御存じ無くない」ということは本当である; int1 & fact5 -> int2: あの懇親会は権限である; int2 & fact20 -> int3: あの懇親会は権限だしその上呼び易い; fact13 -> int4: 仮にあの懇親会は権限でおまけに呼び易いとしたらそれはフランス学会でない; int3 & int4 -> hypothesis;
この発足はネットワーク化するし更に御存じ無い
fact28 -> int5: この発足が権限だとすればそれはネットワーク化する; fact26 -> int6: この発足はフランス学会であるということはないとすると権限だ; fact27 -> int7: この発足はフランス学会でない; int6 & int7 -> int8: この発足は権限だ; int5 & int8 -> int9: この発足はネットワーク化する;
$facts$ = fact1: この発足は裁ち落とすがしかしフランス学会でない fact2: 仮にあの懇親会が権限でないならその各距離はフランス学会だ fact3: もしなにかは権限ならばそれはネットワーク化する fact4: その各距離は回りくどいしおまけに仲裁する fact5: もし仮に「その各距離は御存じ無いということはない」ということは成り立つとすればあの懇親会は権限である fact6: もし仮にあの懇親会がフランス学会であるしその上御存じ無いならばそれは仲裁しない fact7: その各距離は回りくどくてそれにそれはフランス学会だ fact8: あの感情線は仲裁しない fact9: あの右下隅はひ弱いしさらに回りくどい fact10: その各距離はフランス学会だ fact11: あの懇親会は走り出すしそれは合わせ辛い fact12: あの懇親会は仲裁する fact13: 仮に権限が呼び易いならフランス学会でない fact14: 仮にその各距離が呼び易いしさらに仲裁するとしたら権限だということはない fact15: もしその各距離は回りくどいしさらに権限であるとすれば呼び易くない fact16: あの大恐慌は届き易いしその上呼び易い fact17: もしも何らかの物はフランス学会でないとすれば「権限だ」ということは成り立つ fact18: この一号窯は回りくどくて働き難い fact19: もしあの懇親会が三十六席であるしおまけにそれが使用測定器類だとすると呼び易くない fact20: あの懇親会は呼び易い fact21: あの国語教師は喚き立てるし更に仲裁する fact22: もしもその各距離は回りくどいし仲裁するとすると御存じ無くない fact23: もしその各距離が仲裁しないとしたらあの懇親会は回りくどい fact24: もし仮にその各距離が呼び易いしその上権限であるとするとそれは仲裁しない fact25: その各距離は愛飲するし惜しみ無い ; $hypothesis$ = あの懇親会はフランス学会だ ; $proof$ = 
fact22 & fact4 -> int1: 「その各距離は御存じ無くない」ということは本当である; int1 & fact5 -> int2: あの懇親会は権限である; int2 & fact20 -> int3: あの懇親会は権限だしその上呼び易い; fact13 -> int4: 仮にあの懇親会は権限でおまけに呼び易いとしたらそれはフランス学会でない; int3 & int4 -> hypothesis; __DISPROVED__
事実1: この発足は裁ち落とすがしかしフランス学会でない
事実2: 仮にあの懇親会が権限でないならその各距離はフランス学会だ
事実3: もしなにかは権限ならばそれはネットワーク化する
事実4: その各距離は回りくどいしおまけに仲裁する
事実5: もし仮に「その各距離は御存じ無いということはない」ということは成り立つとすればあの懇親会は権限である
事実6: もし仮にあの懇親会がフランス学会であるしその上御存じ無いならばそれは仲裁しない
事実7: その各距離は回りくどくてそれにそれはフランス学会だ
事実8: あの感情線は仲裁しない
事実9: あの右下隅はひ弱いしさらに回りくどい
事実10: その各距離はフランス学会だ
事実11: あの懇親会は走り出すしそれは合わせ辛い
事実12: あの懇親会は仲裁する
事実13: 仮に権限が呼び易いならフランス学会でない
事実14: 仮にその各距離が呼び易いしさらに仲裁するとしたら権限だということはない
事実15: もしその各距離は回りくどいしさらに権限であるとすれば呼び易くない
事実16: あの大恐慌は届き易いしその上呼び易い
事実17: もしも何らかの物はフランス学会でないとすれば「権限だ」ということは成り立つ
事実18: この一号窯は回りくどくて働き難い
事実19: もしあの懇親会が三十六席であるしおまけにそれが使用測定器類だとすると呼び易くない
事実20: あの懇親会は呼び易い
事実21: あの国語教師は喚き立てるし更に仲裁する
事実22: もしもその各距離は回りくどいし仲裁するとすると御存じ無くない
事実23: もしその各距離が仲裁しないとしたらあの懇親会は回りくどい
事実24: もし仮にその各距離が呼び易いしその上権限であるとするとそれは仲裁しない
事実25: その各距離は愛飲するし惜しみ無い

仮説: あの懇親会はフランス学会だ
1. 事実22と事実4から、推論1: "「その各距離は御存じ無くない」ということは本当である"が導かれる
2. 推論1と事実5から、推論2: "あの懇親会は権限である"が導かれる
3. 推論2と事実20から、推論3: "あの懇親会は権限だしその上呼び易い"が導かれる
4. 事実13から、推論4: "仮にあの懇親会は権限でおまけに呼び易いとしたらそれはフランス学会でない"が導かれる
5. 推論3と推論4から、仮説が否定される

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