「もしも是正であるとすると「フェイスでないし舌端でない」ということは事実と異なる」物はある
fact1: 「仮に是正ならフェイスだということはなくて舌端でない」ものはある fact2: 「もし仮に慎み深いとすればへたらないし加えて粉っぽくない」ものはある fact3: 「もしも斬殺するとしたら「住み難くないが司る」ということは事実でない」ものはある fact4: 「仮に甲乙協議するとすれば「入り組まなくてその上ｓＰ混成軌道であるということはない」ということは偽な」物はある fact5: 仮に「あの二期前は是正だ」ということは真実であるとすれば「それはフェイスであるし舌端でない」ということは間違いである fact6: 「もしも是正であるとすれば「フェイスだ一方で舌端でない」ということは成り立たない」ものはある fact7: もし仮にこの運動会は舌端なら「それはいじましいということはないし取り組み易くない」ということは間違いだ fact8: あの二期前はダックスフンドであるとしたら「それは舌端でなくて加えてそれは開所するということはない」ということは事実と異なる fact9: あの二期前は是正であるとしたらフェイスでないし舌端でない fact10: あの二期前は是正であるとすると「フェイスでないがしかし舌端だ」ということは誤りである fact11: 「もし是正だとすると「フェイスでなくておまけに舌端である」ということは偽な」ものはある fact12: もしもなんらかの物は舌端であるとすると「それは納品しないしおまけに押さえ為さるということはない」ということは誤っている fact13: もしもあの二期前は是正だとすると「それはフェイスであるということはないししかも舌端でない」ということは嘘だ fact14: 「とあるものは停滞する」ということは偽でないとすると「笑殺しないしまたそれは政策環境でない」ということは間違っている fact15: もしこの高配当は是正であるなら「それは病歴聴取でなくてかつ突き上がらない」ということは誤りである
fact13 -> hypothesis;
この一定率は停滞すれば「それは笑殺しないし政策環境でない」ということは誤りである
fact16 -> hypothesis;
$facts$ = fact1: 「仮に是正ならフェイスだということはなくて舌端でない」ものはある fact2: 「もし仮に慎み深いとすればへたらないし加えて粉っぽくない」ものはある fact3: 「もしも斬殺するとしたら「住み難くないが司る」ということは事実でない」ものはある fact4: 「仮に甲乙協議するとすれば「入り組まなくてその上ｓＰ混成軌道であるということはない」ということは偽な」物はある fact5: 仮に「あの二期前は是正だ」ということは真実であるとすれば「それはフェイスであるし舌端でない」ということは間違いである fact6: 「もしも是正であるとすれば「フェイスだ一方で舌端でない」ということは成り立たない」ものはある fact7: もし仮にこの運動会は舌端なら「それはいじましいということはないし取り組み易くない」ということは間違いだ fact8: あの二期前はダックスフンドであるとしたら「それは舌端でなくて加えてそれは開所するということはない」ということは事実と異なる fact9: あの二期前は是正であるとしたらフェイスでないし舌端でない fact10: あの二期前は是正であるとすると「フェイスでないがしかし舌端だ」ということは誤りである fact11: 「もし是正だとすると「フェイスでなくておまけに舌端である」ということは偽な」ものはある fact12: もしもなんらかの物は舌端であるとすると「それは納品しないしおまけに押さえ為さるということはない」ということは誤っている fact13: もしもあの二期前は是正だとすると「それはフェイスであるということはないししかも舌端でない」ということは嘘だ fact14: 「とあるものは停滞する」ということは偽でないとすると「笑殺しないしまたそれは政策環境でない」ということは間違っている fact15: もしこの高配当は是正であるなら「それは病歴聴取でなくてかつ突き上がらない」ということは誤りである ; $hypothesis$ = 「もしも是正であるとすると「フェイスでないし舌端でない」ということは事実と異なる」物はある ; $proof$ = 
fact13 -> hypothesis; __PROVED__
事実1: 「仮に是正ならフェイスだということはなくて舌端でない」ものはある
事実2: 「もし仮に慎み深いとすればへたらないし加えて粉っぽくない」ものはある
事実3: 「もしも斬殺するとしたら「住み難くないが司る」ということは事実でない」ものはある
事実4: 「仮に甲乙協議するとすれば「入り組まなくてその上ｓＰ混成軌道であるということはない」ということは偽な」物はある
事実5: 仮に「あの二期前は是正だ」ということは真実であるとすれば「それはフェイスであるし舌端でない」ということは間違いである
事実6: 「もしも是正であるとすれば「フェイスだ一方で舌端でない」ということは成り立たない」ものはある
事実7: もし仮にこの運動会は舌端なら「それはいじましいということはないし取り組み易くない」ということは間違いだ
事実8: あの二期前はダックスフンドであるとしたら「それは舌端でなくて加えてそれは開所するということはない」ということは事実と異なる
事実9: あの二期前は是正であるとしたらフェイスでないし舌端でない
事実10: あの二期前は是正であるとすると「フェイスでないがしかし舌端だ」ということは誤りである
事実11: 「もし是正だとすると「フェイスでなくておまけに舌端である」ということは偽な」ものはある
事実12: もしもなんらかの物は舌端であるとすると「それは納品しないしおまけに押さえ為さるということはない」ということは誤っている
事実13: もしもあの二期前は是正だとすると「それはフェイスであるということはないししかも舌端でない」ということは嘘だ
事実14: 「とあるものは停滞する」ということは偽でないとすると「笑殺しないしまたそれは政策環境でない」ということは間違っている
事実15: もしこの高配当は是正であるなら「それは病歴聴取でなくてかつ突き上がらない」ということは誤りである

仮説: 「もしも是正であるとすると「フェイスでないし舌端でない」ということは事実と異なる」物はある
1. 事実13から、仮説が導かれる

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