「もしも「「愛しかあるいは伝え合わないかあるいは両方ともだ」ということは成り立つ」ということは嘘なら九月末でない」物はある
fact1: 何かは愛しかもしくはそれが伝え合わないとしたらそれは九月末でない fact2: もしも「あの抵抗はきらめくかあるいは取り置かないかもしくは両方だ」ということは成り立たないならば伝え合わない fact3: 「何らかのものは愛しか伝え合わないかもしくはどちらもである」ということは間違っているとすれば九月末だ fact4: もしも「何らかの物は愛しかもしくは伝え合わないかあるいは両方ともである」ということは成り立たないとしたら九月末であるということはない fact5: もしあの人権アプローチが九月末であるかまたは国際比較調査でないかもしくは両方であるとするとそれは元手でない fact6: 仮にあの人権アプローチが愛しかあるいは見抜けないかどちらもなら痛ーいということはない fact7: もし仮にあの人権アプローチが予測し易いかまたはそれは危うしないかあるいはどちらもであるとしたら強しない fact8: もし「その課題場面は付けするかあるいは九月末でない」ということは間違っていればされ易くない fact9: もし仮に「あの人権アプローチは愛しかまたは伝え合わない」ということは確かでないとすれば九月末だ fact10: 「もし仮に愛しか伝え合うということはないかあるいは両方であるなら九月末でない」ものはある fact11: もし仮に「何かは愛しかもしくは伝え合う」ということは誤りならば九月末であるということはない fact12: 「「絶え間無いかもしくは救命出来るかまたは両方ともだ」ということは間違いであるとすると生還しない」物はある fact13: 仮に「「あの人権アプローチは愛しか伝え合うかまたは両方ともである」ということは事実である」ということは誤っているとすれば「九月末でない」ということは確かだ fact14: 「もし仮に「ぶつけるかあるいは全面協力する」ということは事実と異なるとすると細まるない」ものはある fact15: 「もし「か細いかまたは経路発見補助であるか両方である」ということは誤りだとすれば遣り辛くない」ものはある fact16: もし仮に「とある物は癖するかあるいは糾弾しない」ということは本当でないなら零四年度でない fact17: 「「仮に「愛しかあるいは伝え合わないかあるいは両方ともである」ということは成り立たないとすれば九月末な」物はある」ということは誤っていない
fact4 -> int1: 仮に「あの人権アプローチは愛しかまたは伝え合わないかあるいはどちらもだ」ということは成り立たないならそれは九月末でない; int1 -> hypothesis;
$facts$ = fact1: 何かは愛しかもしくはそれが伝え合わないとしたらそれは九月末でない fact2: もしも「あの抵抗はきらめくかあるいは取り置かないかもしくは両方だ」ということは成り立たないならば伝え合わない fact3: 「何らかのものは愛しか伝え合わないかもしくはどちらもである」ということは間違っているとすれば九月末だ fact4: もしも「何らかの物は愛しかもしくは伝え合わないかあるいは両方ともである」ということは成り立たないとしたら九月末であるということはない fact5: もしあの人権アプローチが九月末であるかまたは国際比較調査でないかもしくは両方であるとするとそれは元手でない fact6: 仮にあの人権アプローチが愛しかあるいは見抜けないかどちらもなら痛ーいということはない fact7: もし仮にあの人権アプローチが予測し易いかまたはそれは危うしないかあるいはどちらもであるとしたら強しない fact8: もし「その課題場面は付けするかあるいは九月末でない」ということは間違っていればされ易くない fact9: もし仮に「あの人権アプローチは愛しかまたは伝え合わない」ということは確かでないとすれば九月末だ fact10: 「もし仮に愛しか伝え合うということはないかあるいは両方であるなら九月末でない」ものはある fact11: もし仮に「何かは愛しかもしくは伝え合う」ということは誤りならば九月末であるということはない fact12: 「「絶え間無いかもしくは救命出来るかまたは両方ともだ」ということは間違いであるとすると生還しない」物はある fact13: 仮に「「あの人権アプローチは愛しか伝え合うかまたは両方ともである」ということは事実である」ということは誤っているとすれば「九月末でない」ということは確かだ fact14: 「もし仮に「ぶつけるかあるいは全面協力する」ということは事実と異なるとすると細まるない」ものはある fact15: 「もし「か細いかまたは経路発見補助であるか両方である」ということは誤りだとすれば遣り辛くない」ものはある fact16: もし仮に「とある物は癖するかあるいは糾弾しない」ということは本当でないなら零四年度でない fact17: 「「仮に「愛しかあるいは伝え合わないかあるいは両方ともである」ということは成り立たないとすれば九月末な」物はある」ということは誤っていない ; $hypothesis$ = 「もしも「「愛しかあるいは伝え合わないかあるいは両方ともだ」ということは成り立つ」ということは嘘なら九月末でない」物はある ; $proof$ = 
fact4 -> int1: 仮に「あの人権アプローチは愛しかまたは伝え合わないかあるいはどちらもだ」ということは成り立たないならそれは九月末でない; int1 -> hypothesis; __PROVED__
事実1: 何かは愛しかもしくはそれが伝え合わないとしたらそれは九月末でない
事実2: もしも「あの抵抗はきらめくかあるいは取り置かないかもしくは両方だ」ということは成り立たないならば伝え合わない
事実3: 「何らかのものは愛しか伝え合わないかもしくはどちらもである」ということは間違っているとすれば九月末だ
事実4: もしも「何らかの物は愛しかもしくは伝え合わないかあるいは両方ともである」ということは成り立たないとしたら九月末であるということはない
事実5: もしあの人権アプローチが九月末であるかまたは国際比較調査でないかもしくは両方であるとするとそれは元手でない
事実6: 仮にあの人権アプローチが愛しかあるいは見抜けないかどちらもなら痛ーいということはない
事実7: もし仮にあの人権アプローチが予測し易いかまたはそれは危うしないかあるいはどちらもであるとしたら強しない
事実8: もし「その課題場面は付けするかあるいは九月末でない」ということは間違っていればされ易くない
事実9: もし仮に「あの人権アプローチは愛しかまたは伝え合わない」ということは確かでないとすれば九月末だ
事実10: 「もし仮に愛しか伝え合うということはないかあるいは両方であるなら九月末でない」ものはある
事実11: もし仮に「何かは愛しかもしくは伝え合う」ということは誤りならば九月末であるということはない
事実12: 「「絶え間無いかもしくは救命出来るかまたは両方ともだ」ということは間違いであるとすると生還しない」物はある
事実13: 仮に「「あの人権アプローチは愛しか伝え合うかまたは両方ともである」ということは事実である」ということは誤っているとすれば「九月末でない」ということは確かだ
事実14: 「もし仮に「ぶつけるかあるいは全面協力する」ということは事実と異なるとすると細まるない」ものはある
事実15: 「もし「か細いかまたは経路発見補助であるか両方である」ということは誤りだとすれば遣り辛くない」ものはある
事実16: もし仮に「とある物は癖するかあるいは糾弾しない」ということは本当でないなら零四年度でない
事実17: 「「仮に「愛しかあるいは伝え合わないかあるいは両方ともである」ということは成り立たないとすれば九月末な」物はある」ということは誤っていない

仮説: 「もしも「「愛しかあるいは伝え合わないかあるいは両方ともだ」ということは成り立つ」ということは嘘なら九月末でない」物はある
1. 事実4から、推論1: "仮に「あの人権アプローチは愛しかまたは伝え合わないかあるいはどちらもだ」ということは成り立たないならそれは九月末でない"が導かれる
2. 推論1から、仮説が導かれる

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