あの誕生日以降は研ぎ澄ます
fact1: もし仮にこの外気温は易しくないけど研ぎ澄ますとすれば「あの誕生日以降は研ぎ澄まさない」ということは正しい fact2: 「なんらかのものは籠絡だけど育ち合わない」ということは成り立たないならば「易しくない」ということは間違っていない fact3: もしもあの誕生日以降はそつ無くない一方で利用し易いならば研ぎ澄ます fact4: その式部は軽合金であるということはなくて飼育出来ない fact5: あの誕生日以降はそつ無くない一方で利用し易い fact6: もし「籠絡でない」物はあるとすれば「この外気温は籠絡だけど育ち合わない」ということは間違いである fact7: 仮に「軽合金でなくてまた飼育出来ない」ものがあるとしたらその細動は籠絡でない fact8: あの誕生日以降はそつ無くない fact9: もしも利用し易くない物が神々しいならば披瀝である fact10: 仮に「「その上の句は走り出さなくておまけに大学側でない」ということは成り立たない」ということは正しいとしたらこの外気温は神女でない fact11: この焙じ茶は君らしいということはないけれどそつ無い fact12: あの誕生日以降は壮麗でないがそれは保革逆転である fact13: 仮になんらかの物が神女でないとすればそれは淀み無いし研ぎ澄ます fact14: もしあの誕生日以降がそつ無いしそれが利用し易いとすると研ぎ澄ます
fact3 & fact5 -> hypothesis;
fact3 & fact5 -> hypothesis;
あの誕生日以降は研ぎ澄まさない
fact17 -> int1: もし「この外気温は籠絡だがそれは育ち合わない」ということは間違っているとしたらそれは易しくない; fact21 -> int2: なにがしかのものは軽合金だということはないししかもそれは飼育出来ない; int2 & fact18 -> int3: その細動は籠絡でない; int3 -> int4: 「籠絡でない」ものはある; int4 & fact16 -> int5: 「この外気温は籠絡であり育ち合わない」ということは間違っている; int1 & int5 -> int6: この外気温は易しくない; fact15 -> int7: もし仮にこの外気温は神女でないなら淀み無いし研ぎ澄ます;
$facts$ = fact1: もし仮にこの外気温は易しくないけど研ぎ澄ますとすれば「あの誕生日以降は研ぎ澄まさない」ということは正しい fact2: 「なんらかのものは籠絡だけど育ち合わない」ということは成り立たないならば「易しくない」ということは間違っていない fact3: もしもあの誕生日以降はそつ無くない一方で利用し易いならば研ぎ澄ます fact4: その式部は軽合金であるということはなくて飼育出来ない fact5: あの誕生日以降はそつ無くない一方で利用し易い fact6: もし「籠絡でない」物はあるとすれば「この外気温は籠絡だけど育ち合わない」ということは間違いである fact7: 仮に「軽合金でなくてまた飼育出来ない」ものがあるとしたらその細動は籠絡でない fact8: あの誕生日以降はそつ無くない fact9: もしも利用し易くない物が神々しいならば披瀝である fact10: 仮に「「その上の句は走り出さなくておまけに大学側でない」ということは成り立たない」ということは正しいとしたらこの外気温は神女でない fact11: この焙じ茶は君らしいということはないけれどそつ無い fact12: あの誕生日以降は壮麗でないがそれは保革逆転である fact13: 仮になんらかの物が神女でないとすればそれは淀み無いし研ぎ澄ます fact14: もしあの誕生日以降がそつ無いしそれが利用し易いとすると研ぎ澄ます ; $hypothesis$ = あの誕生日以降は研ぎ澄ます ; $proof$ = 
fact3 & fact5 -> hypothesis; __PROVED__
事実1: もし仮にこの外気温は易しくないけど研ぎ澄ますとすれば「あの誕生日以降は研ぎ澄まさない」ということは正しい
事実2: 「なんらかのものは籠絡だけど育ち合わない」ということは成り立たないならば「易しくない」ということは間違っていない
事実3: もしもあの誕生日以降はそつ無くない一方で利用し易いならば研ぎ澄ます
事実4: その式部は軽合金であるということはなくて飼育出来ない
事実5: あの誕生日以降はそつ無くない一方で利用し易い
事実6: もし「籠絡でない」物はあるとすれば「この外気温は籠絡だけど育ち合わない」ということは間違いである
事実7: 仮に「軽合金でなくてまた飼育出来ない」ものがあるとしたらその細動は籠絡でない
事実8: あの誕生日以降はそつ無くない
事実9: もしも利用し易くない物が神々しいならば披瀝である
事実10: 仮に「「その上の句は走り出さなくておまけに大学側でない」ということは成り立たない」ということは正しいとしたらこの外気温は神女でない
事実11: この焙じ茶は君らしいということはないけれどそつ無い
事実12: あの誕生日以降は壮麗でないがそれは保革逆転である
事実13: 仮になんらかの物が神女でないとすればそれは淀み無いし研ぎ澄ます
事実14: もしあの誕生日以降がそつ無いしそれが利用し易いとすると研ぎ澄ます

仮説: あの誕生日以降は研ぎ澄ます
1. 事実3と事実5から、仮説が導かれる

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