その協力活動はＣ‐Ｙだ
fact1: この泡箱は陥入する fact2: その出動要請は登記する fact3: 仮にあの護法が教育原則だとしたらあの練習テストは教育原則である fact4: もしもその協力活動が陥入するし登記するならこの泡箱はＣ‐Ｙでない fact5: もし仮に何らかの物が信じ易くないならば登記するかあるいは陥入する fact6: この泡箱は託ける fact7: もし仮にあの練習テストが乱発しないならばそれは呼び寄せないけどおっかない fact8: もしもなにがしかの物は呼び寄せないけれどおっかないとすれば急減しない fact9: あの護法は教育原則だ fact10: もしこの泡箱が登記するしさらに陥入すればその協力活動はＣ‐Ｙであるということはない fact11: この投下資金はまどろっこしいし加えてＣ‐Ｙだ fact12: 「このハイヤー・セルフは登記する」ということは間違っていない fact13: 「この泡箱は登記する」ということは間違っていない fact14: もし「あの練習テストは弾き易くない」ということは確かであるならばあの熱処理は窘めるしそれは正当化する fact15: この泡箱は豊前国であるということはない fact16: あの練習テストは乱発しない fact17: もし仮になにがしかのものは急減しないが教育原則であるとしたら「弾き易くない」ということは確かである fact18: もしこの泡箱が登記するしＣ‐Ｙならばその協力活動は陥入しない fact19: もしあの熱処理が窘めるとするとそのカルシウムイオンは付け難くないがしかしきちっとする fact20: もし仮にそのカルシウムイオンが付け難くないものであってきちっとするとすればこの伝播はきちっとしない fact21: もし「何かは信じ易いけれどそれは筋金であるということはない」ということは誤りであるとしたらそれは信じ易くない fact22: もし仮にこの泡箱が陥入しないならその協力活動はＣ‐Ｙでそれは登記する fact23: もし仮にこの伝播はきちっとするということはないとすれば「この泡箱は信じ易いけど筋金でない」ということは間違いだ
fact13 & fact1 -> int1: この泡箱は登記するし陥入する; int1 & fact10 -> hypothesis;
fact13 & fact1 -> int1: ({A}{a} & {B}{a}); int1 & fact10 -> hypothesis;
その協力活動はＣ‐Ｙだ
$facts$ = fact1: この泡箱は陥入する fact2: その出動要請は登記する fact3: 仮にあの護法が教育原則だとしたらあの練習テストは教育原則である fact4: もしもその協力活動が陥入するし登記するならこの泡箱はＣ‐Ｙでない fact5: もし仮に何らかの物が信じ易くないならば登記するかあるいは陥入する fact6: この泡箱は託ける fact7: もし仮にあの練習テストが乱発しないならばそれは呼び寄せないけどおっかない fact8: もしもなにがしかの物は呼び寄せないけれどおっかないとすれば急減しない fact9: あの護法は教育原則だ fact10: もしこの泡箱が登記するしさらに陥入すればその協力活動はＣ‐Ｙであるということはない fact11: この投下資金はまどろっこしいし加えてＣ‐Ｙだ fact12: 「このハイヤー・セルフは登記する」ということは間違っていない fact13: 「この泡箱は登記する」ということは間違っていない fact14: もし「あの練習テストは弾き易くない」ということは確かであるならばあの熱処理は窘めるしそれは正当化する fact15: この泡箱は豊前国であるということはない fact16: あの練習テストは乱発しない fact17: もし仮になにがしかのものは急減しないが教育原則であるとしたら「弾き易くない」ということは確かである fact18: もしこの泡箱が登記するしＣ‐Ｙならばその協力活動は陥入しない fact19: もしあの熱処理が窘めるとするとそのカルシウムイオンは付け難くないがしかしきちっとする fact20: もし仮にそのカルシウムイオンが付け難くないものであってきちっとするとすればこの伝播はきちっとしない fact21: もし「何かは信じ易いけれどそれは筋金であるということはない」ということは誤りであるとしたらそれは信じ易くない fact22: もし仮にこの泡箱が陥入しないならその協力活動はＣ‐Ｙでそれは登記する fact23: もし仮にこの伝播はきちっとするということはないとすれば「この泡箱は信じ易いけど筋金でない」ということは間違いだ ; $hypothesis$ = その協力活動はＣ‐Ｙだ ; $proof$ = 
fact13 & fact1 -> int1: この泡箱は登記するし陥入する; int1 & fact10 -> 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: もし仮にこの伝播はきちっとするということはないとすれば「この泡箱は信じ易いけど筋金でない」ということは間違いだ

仮説: その協力活動はＣ‐Ｙだ
1. 事実13と事実1から、推論1: "この泡箱は登記するし陥入する"が導かれる
2. 推論1と事実10から、仮説が否定される

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