このＰＴはすこい
fact1: もし仮にその屈折力が広がり難いならばこのＰＴは広がり難い fact2: もし仮にその屈折力が甘ーくないならば紹介致すが担ぎ出さない fact3: もしもその屈折力は紹介致すけど担ぎ出さないとしたらそれは間取り板でない fact4: その屈折力は甘ーくない fact5: もし仮に「とあるものは言い聞かすし許し難し」ということは成り立たないならそれは許し難くない fact6: なにかは間取り板であるということはないとすればそれは広がり難いかまたは目まぐるしいかあるいは両方だ fact7: もしその平均額はし難いということはないなら「その屈折力は言い聞かすしかつ許し難し」ということは誤りである fact8: 仮に何らかのものは言い聞かすとすれば「それは許し難し」ということは成り立つ fact9: もし仮に「とある物は誇りっぽいかまたはそれはキープするか両方だ」ということは成り立たないとするとすこくない fact10: もし仮にあるものが広がり難いならそれは言い聞かす fact11: もしも「なにかは許し難し」ということは真実であるならし難いかあるいは無理無くないかもしくは両方ともである fact12: このＰＴは最強コンビだ fact13: 「このＰＴはキープしない」ということは成り立たないとすればこの土堤は誇りっぽい fact14: このＰＴはすこい fact15: し難いかあるいは無理無くないものは無理無くない fact16: あのおじやはすこい fact17: もし何らかの物が誇りっぽいとしたらすこい fact18: あのゲルマン神話はすこい fact19: もし仮にある物は無理無くないなら「それは誇りっぽいかまたはキープする」ということは偽だ
fact14 -> hypothesis;
fact14 -> hypothesis;
この土堤はすこい
fact20 -> int1: 仮にこの土堤が誇りっぽいならすこい; fact22 -> int2: 仮に「その屈折力は言い聞かすしそれに許し難し」ということは間違いだとすればそれは許し難くない;
$facts$ = fact1: もし仮にその屈折力が広がり難いならばこのＰＴは広がり難い fact2: もし仮にその屈折力が甘ーくないならば紹介致すが担ぎ出さない fact3: もしもその屈折力は紹介致すけど担ぎ出さないとしたらそれは間取り板でない fact4: その屈折力は甘ーくない fact5: もし仮に「とあるものは言い聞かすし許し難し」ということは成り立たないならそれは許し難くない fact6: なにかは間取り板であるということはないとすればそれは広がり難いかまたは目まぐるしいかあるいは両方だ fact7: もしその平均額はし難いということはないなら「その屈折力は言い聞かすしかつ許し難し」ということは誤りである fact8: 仮に何らかのものは言い聞かすとすれば「それは許し難し」ということは成り立つ fact9: もし仮に「とある物は誇りっぽいかまたはそれはキープするか両方だ」ということは成り立たないとするとすこくない fact10: もし仮にあるものが広がり難いならそれは言い聞かす fact11: もしも「なにかは許し難し」ということは真実であるならし難いかあるいは無理無くないかもしくは両方ともである fact12: このＰＴは最強コンビだ fact13: 「このＰＴはキープしない」ということは成り立たないとすればこの土堤は誇りっぽい fact14: このＰＴはすこい fact15: し難いかあるいは無理無くないものは無理無くない fact16: あのおじやはすこい fact17: もし何らかの物が誇りっぽいとしたらすこい fact18: あのゲルマン神話はすこい fact19: もし仮にある物は無理無くないなら「それは誇りっぽいかまたはキープする」ということは偽だ ; $hypothesis$ = このＰＴはすこい ; $proof$ = 
fact14 -> hypothesis; __PROVED__
事実1: もし仮にその屈折力が広がり難いならばこのＰＴは広がり難い
事実2: もし仮にその屈折力が甘ーくないならば紹介致すが担ぎ出さない
事実3: もしもその屈折力は紹介致すけど担ぎ出さないとしたらそれは間取り板でない
事実4: その屈折力は甘ーくない
事実5: もし仮に「とあるものは言い聞かすし許し難し」ということは成り立たないならそれは許し難くない
事実6: なにかは間取り板であるということはないとすればそれは広がり難いかまたは目まぐるしいかあるいは両方だ
事実7: もしその平均額はし難いということはないなら「その屈折力は言い聞かすしかつ許し難し」ということは誤りである
事実8: 仮に何らかのものは言い聞かすとすれば「それは許し難し」ということは成り立つ
事実9: もし仮に「とある物は誇りっぽいかまたはそれはキープするか両方だ」ということは成り立たないとするとすこくない
事実10: もし仮にあるものが広がり難いならそれは言い聞かす
事実11: もしも「なにかは許し難し」ということは真実であるならし難いかあるいは無理無くないかもしくは両方ともである
事実12: このＰＴは最強コンビだ
事実13: 「このＰＴはキープしない」ということは成り立たないとすればこの土堤は誇りっぽい
事実14: このＰＴはすこい
事実15: し難いかあるいは無理無くないものは無理無くない
事実16: あのおじやはすこい
事実17: もし何らかの物が誇りっぽいとしたらすこい
事実18: あのゲルマン神話はすこい
事実19: もし仮にある物は無理無くないなら「それは誇りっぽいかまたはキープする」ということは偽だ

仮説: このＰＴはすこい
1. 事実14から、仮説が導かれる

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