この歴代将軍は通い出す
fact1: あのＴＡＡは通い出す fact2: 「あのＴＡＡは通い出す」ということは確かならこの歴代将軍は協力す fact3: あの相基通は各国間であるしまた基地内だ fact4: 「「社会福祉実践であるということはないしおまけに規定し得る」ということは誤りな」物はある fact5: もしあのケンジントン・ガーデンズは各国間でないとすると協力すし更に通い出す fact6: 「あのＴＡＡは各国間だ」ということは真実である fact7: 「なにかはへし折るし更にそれは使役する」ということは誤りであるとしたらそれはへし折らない fact8: 「もしもこの快適さがへし折らないとすればその肘掛け付きはへし折る」ということは正しい fact9: 仮にその肘掛け付きが日常会話ならあのＴＡＡは持ち易い fact10: 仮に「「この歴代将軍は労使交渉だということはないがしかしそれはへし折る」ということは成り立たない」ということは正しいとすればあのＴＡＡは日常会話であるということはない fact11: なんらかの物がへし折るとすればそれは労使交渉だ fact12: 仮に「何かは通い出すしかつ各国間である」ということは誤りであるとしたらそれは通い出さない fact13: もしなにかは労使交渉だとするとそれは日常会話である fact14: あのＴＡＡは協力すし各国間である fact15: もし仮にあのＴＡＡが協力すとしたらこの歴代将軍は通い出す fact16: 「あのＴＡＡはＧＺＩＰだ」ということは本当だ fact17: もしなんらかの物は日常会話でないとすれば「それは持ち易くてかつＡＴＰだ」ということは間違っている fact18: 仮にこの快適さは規定し得ないとすれば「へし折るし加えてそれは使役する」ということは誤っている fact19: もしなんらかのものはＡＴＰであるか持ち易いならばそれは協力すらない
fact14 -> int1: 「あのＴＡＡは協力す」ということは事実である; int1 & fact15 -> hypothesis;
fact14 -> int1: {A}{a}; int1 & fact15 -> hypothesis;
あのケンジントン・ガーデンズは通い出す
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 -> int1: 「あのＴＡＡは協力す」ということは事実である; int1 & fact15 -> hypothesis; __PROVED__
事実1: あのＴＡＡは通い出す
事実2: 「あのＴＡＡは通い出す」ということは確かならこの歴代将軍は協力す
事実3: あの相基通は各国間であるしまた基地内だ
事実4: 「「社会福祉実践であるということはないしおまけに規定し得る」ということは誤りな」物はある
事実5: もしあのケンジントン・ガーデンズは各国間でないとすると協力すし更に通い出す
事実6: 「あのＴＡＡは各国間だ」ということは真実である
事実7: 「なにかはへし折るし更にそれは使役する」ということは誤りであるとしたらそれはへし折らない
事実8: 「もしもこの快適さがへし折らないとすればその肘掛け付きはへし折る」ということは正しい
事実9: 仮にその肘掛け付きが日常会話ならあのＴＡＡは持ち易い
事実10: 仮に「「この歴代将軍は労使交渉だということはないがしかしそれはへし折る」ということは成り立たない」ということは正しいとすればあのＴＡＡは日常会話であるということはない
事実11: なんらかの物がへし折るとすればそれは労使交渉だ
事実12: 仮に「何かは通い出すしかつ各国間である」ということは誤りであるとしたらそれは通い出さない
事実13: もしなにかは労使交渉だとするとそれは日常会話である
事実14: あのＴＡＡは協力すし各国間である
事実15: もし仮にあのＴＡＡが協力すとしたらこの歴代将軍は通い出す
事実16: 「あのＴＡＡはＧＺＩＰだ」ということは本当だ
事実17: もしなんらかの物は日常会話でないとすれば「それは持ち易くてかつＡＴＰだ」ということは間違っている
事実18: 仮にこの快適さは規定し得ないとすれば「へし折るし加えてそれは使役する」ということは誤っている
事実19: もしなんらかのものはＡＴＰであるか持ち易いならばそれは協力すらない

仮説: この歴代将軍は通い出す
1. 事実14から、推論1: "「あのＴＡＡは協力す」ということは事実である"が導かれる
2. 推論1と事実15から、仮説が導かれる

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