「あの松茸は繁殖し易い」ということは真実である
fact1: このユニットバスは描き掛ける fact2: もしも「あの源平は拡張選択モードだ」ということは確かだとするとこの抜け毛は偲ぶ fact3: 「あのシェリー風味型抜き参照は描き掛ける」ということは成り立つ fact4: あの松茸は鏡面修整だ fact5: もしも「この旅籠は賦しないがしかしおっそろし」ということは成り立たないならばおっそろしということはない fact6: もしも「おっそろしない」物があるとすればこの林・田はコントロールし易くないが引き易い fact7: 何かは偲ぶとすると救世観音像でないけど描き掛ける fact8: このテレビは描き掛ける fact9: もし仮にこの抜け毛が救世観音像でないけどそれは描き掛けるとすると「この一箇月分は描き掛けない」ということは成り立つ fact10: 「あの松茸は描き掛ける」ということは正しい fact11: 「もし「描き掛けない」物があるとすればその一手は繁殖し易いかまたは三層交流機であるかあるいはどちらもだ」ということは成り立つ fact12: あの源平が偲ぶならこの抜け毛は偲ぶ fact13: あの松茸は掃除し易い fact14: もしその空き店舗はコントロールし易くないなら「あの源平は拡張選択モードであるかもしくは偲ぶ」ということは成り立つ fact15: 「この旅籠は賦するということはないがおっそろし」ということは嘘である fact16: もし仮に男の子らしくないかもしくはコントロールし易くないかまたは両方なものがあるとするとその空き店舗はコントロールし易くない fact17: もしその一手が描き掛けるとすればあの松茸は繁殖し易い fact18: その一手は描き掛ける fact19: あの松茸は駆使する
fact17 & fact18 -> hypothesis;
fact17 & fact18 -> hypothesis;
あの松茸は繁殖し易くない
fact21 -> int1: もしもこの抜け毛が偲べばそれは救世観音像でなくて加えてそれは描き掛ける; fact23 & fact25 -> int2: この旅籠はおっそろしない; int2 -> int3: 「おっそろしない」物はある; int3 & fact20 -> int4: この林・田はコントロールし易くないが引き易い; int4 -> int5: この林・田はコントロールし易くない; int5 -> int6: この林・田は男の子らしくないかそれはコントロールし易くないかどちらもだ; int6 -> int7: ある物は男の子らしくないかコントロールし易くないかまたは両方だ; int7 & fact22 -> int8: その空き店舗はコントロールし易くない; fact26 & int8 -> int9: あの源平は拡張選択モードであるかもしくは偲ぶかまたはどちらもだ; int9 & fact27 & fact29 -> int10: この抜け毛は偲ぶ; int1 & int10 -> int11: この抜け毛は救世観音像でないけど描き掛ける; fact28 & int11 -> int12: この一箇月分は描き掛けない; int12 -> int13: 「描き掛けない」ものはある; int13 & fact24 -> int14: その一手は繁殖し易いかあるいはそれは三層交流機であるかあるいは両方だ;
$facts$ = fact1: このユニットバスは描き掛ける fact2: もしも「あの源平は拡張選択モードだ」ということは確かだとするとこの抜け毛は偲ぶ fact3: 「あのシェリー風味型抜き参照は描き掛ける」ということは成り立つ fact4: あの松茸は鏡面修整だ fact5: もしも「この旅籠は賦しないがしかしおっそろし」ということは成り立たないならばおっそろしということはない fact6: もしも「おっそろしない」物があるとすればこの林・田はコントロールし易くないが引き易い fact7: 何かは偲ぶとすると救世観音像でないけど描き掛ける fact8: このテレビは描き掛ける fact9: もし仮にこの抜け毛が救世観音像でないけどそれは描き掛けるとすると「この一箇月分は描き掛けない」ということは成り立つ fact10: 「あの松茸は描き掛ける」ということは正しい fact11: 「もし「描き掛けない」物があるとすればその一手は繁殖し易いかまたは三層交流機であるかあるいはどちらもだ」ということは成り立つ fact12: あの源平が偲ぶならこの抜け毛は偲ぶ fact13: あの松茸は掃除し易い fact14: もしその空き店舗はコントロールし易くないなら「あの源平は拡張選択モードであるかもしくは偲ぶ」ということは成り立つ fact15: 「この旅籠は賦するということはないがおっそろし」ということは嘘である fact16: もし仮に男の子らしくないかもしくはコントロールし易くないかまたは両方なものがあるとするとその空き店舗はコントロールし易くない fact17: もしその一手が描き掛けるとすればあの松茸は繁殖し易い fact18: その一手は描き掛ける fact19: あの松茸は駆使する ; $hypothesis$ = 「あの松茸は繁殖し易い」ということは真実である ; $proof$ = 
fact17 & fact18 -> hypothesis; __PROVED__
事実1: このユニットバスは描き掛ける
事実2: もしも「あの源平は拡張選択モードだ」ということは確かだとするとこの抜け毛は偲ぶ
事実3: 「あのシェリー風味型抜き参照は描き掛ける」ということは成り立つ
事実4: あの松茸は鏡面修整だ
事実5: もしも「この旅籠は賦しないがしかしおっそろし」ということは成り立たないならばおっそろしということはない
事実6: もしも「おっそろしない」物があるとすればこの林・田はコントロールし易くないが引き易い
事実7: 何かは偲ぶとすると救世観音像でないけど描き掛ける
事実8: このテレビは描き掛ける
事実9: もし仮にこの抜け毛が救世観音像でないけどそれは描き掛けるとすると「この一箇月分は描き掛けない」ということは成り立つ
事実10: 「あの松茸は描き掛ける」ということは正しい
事実11: 「もし「描き掛けない」物があるとすればその一手は繁殖し易いかまたは三層交流機であるかあるいはどちらもだ」ということは成り立つ
事実12: あの源平が偲ぶならこの抜け毛は偲ぶ
事実13: あの松茸は掃除し易い
事実14: もしその空き店舗はコントロールし易くないなら「あの源平は拡張選択モードであるかもしくは偲ぶ」ということは成り立つ
事実15: 「この旅籠は賦するということはないがおっそろし」ということは嘘である
事実16: もし仮に男の子らしくないかもしくはコントロールし易くないかまたは両方なものがあるとするとその空き店舗はコントロールし易くない
事実17: もしその一手が描き掛けるとすればあの松茸は繁殖し易い
事実18: その一手は描き掛ける
事実19: あの松茸は駆使する

仮説: 「あの松茸は繁殖し易い」ということは真実である
1. 事実17と事実18から、仮説が導かれる

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