「もしも「違いか日割り計算しない」ということは事実だとしたらロックフェラー財団でない」ものはある
fact1: もしこの生活設計が違いとしたらロックフェラー財団でない fact2: か弱いかあるいは壊れ難くないものは小さ過ぎない fact3: 「日割り計算しないならロックフェラー財団だということはない」ものはある fact4: 「もし仮に件名であるか防暑服でないかあるいは両方だとすれば「存続し得るということはない」ということは真実である」ものはある fact5: 「もしも払い腰であるかあるいは縮小表示するということはないならひん曲がらない」物はある fact6: この生活設計は違いかあるいは日割り計算しないとするとロックフェラー財団である fact7: 「もしも違いか日割り計算しないかもしくは両方ともならばロックフェラー財団な」ものはある fact8: 「もし仮に中央レーンであるかあるいは催眠薬でないなら出過ぎるということはない」ものはある fact9: もしもこのクロスケーブルが頭越しであるかまたはそれは防暑服でないかどちらもだとしたらそれはロックフェラー財団であるということはない fact10: 「もし駆け付けるかもしくはショーウインドーでないかもしくはどちらもであるなら「東枕であるということはない」ということは本当である」ものはある fact11: もしこの生活設計は違いかあるいは日割り計算するということはないかあるいは両方であるならそれはロックフェラー財団でない fact12: 「もし仮に違いかまたは日割り計算するかあるいは両方ともであるとするとロックフェラー財団だということはない」物はある fact13: 「引き易いかちっこくないかあるいは両方ともであるならば掛け易くない」ものはある fact14: 仮にこの生活設計が違いかまたはそれが日割り計算するとするとロックフェラー財団でない
fact11 -> hypothesis;
「か弱いかあるいは壊れ難くないか両方だとすると「小さ過ぎるということはない」ということは事実である」ものはある
fact15 -> int1: もし仮にこの共済事業はか弱いかあるいは壊れ難くないならば小さ過ぎない; int1 -> hypothesis;
$facts$ = fact1: もしこの生活設計が違いとしたらロックフェラー財団でない fact2: か弱いかあるいは壊れ難くないものは小さ過ぎない fact3: 「日割り計算しないならロックフェラー財団だということはない」ものはある fact4: 「もし仮に件名であるか防暑服でないかあるいは両方だとすれば「存続し得るということはない」ということは真実である」ものはある fact5: 「もしも払い腰であるかあるいは縮小表示するということはないならひん曲がらない」物はある fact6: この生活設計は違いかあるいは日割り計算しないとするとロックフェラー財団である fact7: 「もしも違いか日割り計算しないかもしくは両方ともならばロックフェラー財団な」ものはある fact8: 「もし仮に中央レーンであるかあるいは催眠薬でないなら出過ぎるということはない」ものはある fact9: もしもこのクロスケーブルが頭越しであるかまたはそれは防暑服でないかどちらもだとしたらそれはロックフェラー財団であるということはない fact10: 「もし駆け付けるかもしくはショーウインドーでないかもしくはどちらもであるなら「東枕であるということはない」ということは本当である」ものはある fact11: もしこの生活設計は違いかあるいは日割り計算するということはないかあるいは両方であるならそれはロックフェラー財団でない fact12: 「もし仮に違いかまたは日割り計算するかあるいは両方ともであるとするとロックフェラー財団だということはない」物はある fact13: 「引き易いかちっこくないかあるいは両方ともであるならば掛け易くない」ものはある fact14: 仮にこの生活設計が違いかまたはそれが日割り計算するとするとロックフェラー財団でない ; $hypothesis$ = 「もしも「違いか日割り計算しない」ということは事実だとしたらロックフェラー財団でない」ものはある ; $proof$ = 
fact11 -> hypothesis; __PROVED__
事実1: もしこの生活設計が違いとしたらロックフェラー財団でない
事実2: か弱いかあるいは壊れ難くないものは小さ過ぎない
事実3: 「日割り計算しないならロックフェラー財団だということはない」ものはある
事実4: 「もし仮に件名であるか防暑服でないかあるいは両方だとすれば「存続し得るということはない」ということは真実である」ものはある
事実5: 「もしも払い腰であるかあるいは縮小表示するということはないならひん曲がらない」物はある
事実6: この生活設計は違いかあるいは日割り計算しないとするとロックフェラー財団である
事実7: 「もしも違いか日割り計算しないかもしくは両方ともならばロックフェラー財団な」ものはある
事実8: 「もし仮に中央レーンであるかあるいは催眠薬でないなら出過ぎるということはない」ものはある
事実9: もしもこのクロスケーブルが頭越しであるかまたはそれは防暑服でないかどちらもだとしたらそれはロックフェラー財団であるということはない
事実10: 「もし駆け付けるかもしくはショーウインドーでないかもしくはどちらもであるなら「東枕であるということはない」ということは本当である」ものはある
事実11: もしこの生活設計は違いかあるいは日割り計算するということはないかあるいは両方であるならそれはロックフェラー財団でない
事実12: 「もし仮に違いかまたは日割り計算するかあるいは両方ともであるとするとロックフェラー財団だということはない」物はある
事実13: 「引き易いかちっこくないかあるいは両方ともであるならば掛け易くない」ものはある
事実14: 仮にこの生活設計が違いかまたはそれが日割り計算するとするとロックフェラー財団でない

仮説: 「もしも「違いか日割り計算しない」ということは事実だとしたらロックフェラー財団でない」ものはある
1. 事実11から、仮説が導かれる

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