あの大審院判例は雄猫でない
fact1: あの絞り滓は近寄り難くない fact2: もし仮にこのクイックがずらすし加えて近寄り難いとするとあの大審院判例は雄猫でない fact3: このクイックは近寄り難い fact4: もし仮になにがしかの物は近寄り難いということはないとすれば「ずらさないしかつ雄猫でない」ということは誤りだ fact5: このクイックは社会科学でないとすれば「歴史時代だけれど回転速度でない」ということは誤りだ fact6: あの大審院判例は苛々し易くて寄る辺無い fact7: もしもある物は封紙であるかあるいは社会科学でないなら社会科学でない fact8: なにがしかの物が雄猫でないとするとずらすし更にそれは近寄り難い fact9: この資材置き場はずらす fact10: この施設整備は近寄り難くない fact11: このクイックはずらす fact12: あの大審院判例は社会科学でないならば「このクイックは社会科学でない」ということは成り立つ fact13: もし「このクイックは歴史時代である一方で回転速度でない」ということは事実と異なるとしたらそれは近寄り難いということはない fact14: もし「このクイックは社会科学でない」ということは成り立つなら「それは回転速度だし歴史時代だ」ということは間違いである
fact11 & fact3 -> int1: このクイックはずらすしかつ近寄り難い; int1 & fact2 -> hypothesis;
fact11 & fact3 -> int1: ({A}{a} & {B}{a}); int1 & fact2 -> hypothesis;
あの大審院判例は雄猫だ
fact15 -> int2: もし仮にこのクイックは近寄り難くないならば「それがずらさないしさらにそれは雄猫でない」ということは成り立たない;
$facts$ = fact1: あの絞り滓は近寄り難くない fact2: もし仮にこのクイックがずらすし加えて近寄り難いとするとあの大審院判例は雄猫でない fact3: このクイックは近寄り難い fact4: もし仮になにがしかの物は近寄り難いということはないとすれば「ずらさないしかつ雄猫でない」ということは誤りだ fact5: このクイックは社会科学でないとすれば「歴史時代だけれど回転速度でない」ということは誤りだ fact6: あの大審院判例は苛々し易くて寄る辺無い fact7: もしもある物は封紙であるかあるいは社会科学でないなら社会科学でない fact8: なにがしかの物が雄猫でないとするとずらすし更にそれは近寄り難い fact9: この資材置き場はずらす fact10: この施設整備は近寄り難くない fact11: このクイックはずらす fact12: あの大審院判例は社会科学でないならば「このクイックは社会科学でない」ということは成り立つ fact13: もし「このクイックは歴史時代である一方で回転速度でない」ということは事実と異なるとしたらそれは近寄り難いということはない fact14: もし「このクイックは社会科学でない」ということは成り立つなら「それは回転速度だし歴史時代だ」ということは間違いである ; $hypothesis$ = あの大審院判例は雄猫でない ; $proof$ = 
fact11 & fact3 -> int1: このクイックはずらすしかつ近寄り難い; int1 & fact2 -> hypothesis; __PROVED__
事実1: あの絞り滓は近寄り難くない
事実2: もし仮にこのクイックがずらすし加えて近寄り難いとするとあの大審院判例は雄猫でない
事実3: このクイックは近寄り難い
事実4: もし仮になにがしかの物は近寄り難いということはないとすれば「ずらさないしかつ雄猫でない」ということは誤りだ
事実5: このクイックは社会科学でないとすれば「歴史時代だけれど回転速度でない」ということは誤りだ
事実6: あの大審院判例は苛々し易くて寄る辺無い
事実7: もしもある物は封紙であるかあるいは社会科学でないなら社会科学でない
事実8: なにがしかの物が雄猫でないとするとずらすし更にそれは近寄り難い
事実9: この資材置き場はずらす
事実10: この施設整備は近寄り難くない
事実11: このクイックはずらす
事実12: あの大審院判例は社会科学でないならば「このクイックは社会科学でない」ということは成り立つ
事実13: もし「このクイックは歴史時代である一方で回転速度でない」ということは事実と異なるとしたらそれは近寄り難いということはない
事実14: もし「このクイックは社会科学でない」ということは成り立つなら「それは回転速度だし歴史時代だ」ということは間違いである

仮説: あの大審院判例は雄猫でない
1. 事実11と事実3から、推論1: "このクイックはずらすしかつ近寄り難い"が導かれる
2. 推論1と事実2から、仮説が導かれる

よって、仮説が証明されました。