この友釣り名人は潰瘍性大腸炎だ
fact1: 「「怖いかもしくはえげつないかあるいは両方である」ということは誤りである」ものはある fact2: 「「懐こいかまたは給付主体だ」ということは成り立たない」ものはある fact3: とある物は通い詰めないかあるいは御読み頂くかあるいは両方ともだ fact4: 「「「疎いかまたは懐っこい」ということは本当である」ということは嘘である」物はあるなら「この友釣り名人は潰瘍性大腸炎でない」ということは間違っている fact5: なにがしかのものは潰瘍性大腸炎でない fact6: 「「疎くないか懐っこいかあるいは両方ともだ」ということは事実と異なる」ものがあるとするとこの友釣り名人は潰瘍性大腸炎だ fact7: 「「連座するかあるいは甘いかあるいはどちらもだ」ということは成り立たない」ものはある fact8: 「「疎い」ということは成り立つ」ものはある fact9: 「「疎くないかあるいは懐っこいかまたは両方だ」ということは間違っている」物はある fact10: 仮に「「「対陣しないかもしくは疎いかもしくは両方だ」ということは成り立たない」物はある」ということは確かならこの軸受けはすばしこい fact11: この友釣り名人は得難い fact12: もし「ある物は同期化するしその上国同士である」ということは事実と異なるとすればそれは潰瘍性大腸炎でない fact13: 「潰瘍性大腸炎な」物はある fact14: 「その労資は収集すしそれに救護義務である」ということは成り立たないならばそれは収集すらない fact15: この友釣り名人は懐っこい fact16: 「「成体内であるか境界であるかあるいは両方ともである」ということは間違いである」ものはある fact17: なんらかのものは潰瘍性大腸炎でないとすると「それは十二軒でないかまたは譜面である」ということは嘘だ fact18: 「この友釣り名人は調和し難い」ということは真実である fact19: もし仮にある物が収集すらないしかつ予測し難いということはないとすると国同士でない fact20: もしこの標章が潰瘍性大腸炎でないけど同期化するとしたらこの友釣り名人は潰瘍性大腸炎であるということはない fact21: もし「「来日しないか想像付く」ということは成り立たない」ものがあるとしたらこの友釣り名人は懐こい
fact9 & fact6 -> hypothesis;
fact9 & fact6 -> hypothesis;
この友釣り名人は潰瘍性大腸炎だということはない
fact22 -> int1: その労資は収集すということはなくて予測し難くないならば国同士でない;
$facts$ = fact1: 「「怖いかもしくはえげつないかあるいは両方である」ということは誤りである」ものはある fact2: 「「懐こいかまたは給付主体だ」ということは成り立たない」ものはある fact3: とある物は通い詰めないかあるいは御読み頂くかあるいは両方ともだ fact4: 「「「疎いかまたは懐っこい」ということは本当である」ということは嘘である」物はあるなら「この友釣り名人は潰瘍性大腸炎でない」ということは間違っている fact5: なにがしかのものは潰瘍性大腸炎でない fact6: 「「疎くないか懐っこいかあるいは両方ともだ」ということは事実と異なる」ものがあるとするとこの友釣り名人は潰瘍性大腸炎だ fact7: 「「連座するかあるいは甘いかあるいはどちらもだ」ということは成り立たない」ものはある fact8: 「「疎い」ということは成り立つ」ものはある fact9: 「「疎くないかあるいは懐っこいかまたは両方だ」ということは間違っている」物はある fact10: 仮に「「「対陣しないかもしくは疎いかもしくは両方だ」ということは成り立たない」物はある」ということは確かならこの軸受けはすばしこい fact11: この友釣り名人は得難い fact12: もし「ある物は同期化するしその上国同士である」ということは事実と異なるとすればそれは潰瘍性大腸炎でない fact13: 「潰瘍性大腸炎な」物はある fact14: 「その労資は収集すしそれに救護義務である」ということは成り立たないならばそれは収集すらない fact15: この友釣り名人は懐っこい fact16: 「「成体内であるか境界であるかあるいは両方ともである」ということは間違いである」ものはある fact17: なんらかのものは潰瘍性大腸炎でないとすると「それは十二軒でないかまたは譜面である」ということは嘘だ fact18: 「この友釣り名人は調和し難い」ということは真実である fact19: もし仮にある物が収集すらないしかつ予測し難いということはないとすると国同士でない fact20: もしこの標章が潰瘍性大腸炎でないけど同期化するとしたらこの友釣り名人は潰瘍性大腸炎であるということはない fact21: もし「「来日しないか想像付く」ということは成り立たない」ものがあるとしたらこの友釣り名人は懐こい ; $hypothesis$ = この友釣り名人は潰瘍性大腸炎だ ; $proof$ = 
fact9 & fact6 -> hypothesis; __PROVED__
事実1: 「「怖いかもしくはえげつないかあるいは両方である」ということは誤りである」ものはある
事実2: 「「懐こいかまたは給付主体だ」ということは成り立たない」ものはある
事実3: とある物は通い詰めないかあるいは御読み頂くかあるいは両方ともだ
事実4: 「「「疎いかまたは懐っこい」ということは本当である」ということは嘘である」物はあるなら「この友釣り名人は潰瘍性大腸炎でない」ということは間違っている
事実5: なにがしかのものは潰瘍性大腸炎でない
事実6: 「「疎くないか懐っこいかあるいは両方ともだ」ということは事実と異なる」ものがあるとするとこの友釣り名人は潰瘍性大腸炎だ
事実7: 「「連座するかあるいは甘いかあるいはどちらもだ」ということは成り立たない」ものはある
事実8: 「「疎い」ということは成り立つ」ものはある
事実9: 「「疎くないかあるいは懐っこいかまたは両方だ」ということは間違っている」物はある
事実10: 仮に「「「対陣しないかもしくは疎いかもしくは両方だ」ということは成り立たない」物はある」ということは確かならこの軸受けはすばしこい
事実11: この友釣り名人は得難い
事実12: もし「ある物は同期化するしその上国同士である」ということは事実と異なるとすればそれは潰瘍性大腸炎でない
事実13: 「潰瘍性大腸炎な」物はある
事実14: 「その労資は収集すしそれに救護義務である」ということは成り立たないならばそれは収集すらない
事実15: この友釣り名人は懐っこい
事実16: 「「成体内であるか境界であるかあるいは両方ともである」ということは間違いである」ものはある
事実17: なんらかのものは潰瘍性大腸炎でないとすると「それは十二軒でないかまたは譜面である」ということは嘘だ
事実18: 「この友釣り名人は調和し難い」ということは真実である
事実19: もし仮にある物が収集すらないしかつ予測し難いということはないとすると国同士でない
事実20: もしこの標章が潰瘍性大腸炎でないけど同期化するとしたらこの友釣り名人は潰瘍性大腸炎であるということはない
事実21: もし「「来日しないか想像付く」ということは成り立たない」ものがあるとしたらこの友釣り名人は懐こい

仮説: この友釣り名人は潰瘍性大腸炎だ
1. 事実9と事実6から、仮説が導かれる

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