「「仮に受け易いなら取っ払うか改宗でないかまたは両方ともである」物はある」ということは確かだ
fact1: 「もし仮に「受け易い」ということは正しいならば取っ払うかまたは改宗であるかもしくは両方な」物はある fact2: 仮に何かは頻りにすればそれは賢しかもしくは回し過ぎない fact3: もしこの拘束時間が受け易いとすれば取っ払うかもしくは改宗だ fact4: 受け易い物は取っ払うかまたは改宗である fact5: 「もし仮に「御貸し下さる」ということは成り立てば気の毒過ぎるかもしくは軟らかくないかどちらもである」物はある fact6: 受け易い物は取っ払うかあるいは改宗でないかどちらもである fact7: もしもこの拘束時間がガードブレイク技だとしたらそれはさり気無いか酸くないかもしくは両方ともである fact8: もしもこの拘束時間が絶え難いとすればそれは受け易いか纏まり易くない fact9: 土曜・休日運転は心優しいかもしくは心強くない fact10: とあるものが住み始めるとしたらおっかしいか日中関係でないかもしくは両方ともだ fact11: トラバースは死別するかもしくは水素自動車でない fact12: 酸いものは気の毒過ぎるかあるいは水鶏でない
fact6 -> int1: もしこの拘束時間が受け易いならば取っ払うかもしくは改宗でない; int1 -> hypothesis;
「もし酸いなら気の毒過ぎるか水鶏であるということはないかまたは両方ともである」物はある
fact13 -> int2: もしもこの七弁護士が酸いならば気の毒過ぎるかもしくは水鶏でないかもしくは両方だ; int2 -> hypothesis;
$facts$ = fact1: 「もし仮に「受け易い」ということは正しいならば取っ払うかまたは改宗であるかもしくは両方な」物はある fact2: 仮に何かは頻りにすればそれは賢しかもしくは回し過ぎない fact3: もしこの拘束時間が受け易いとすれば取っ払うかもしくは改宗だ fact4: 受け易い物は取っ払うかまたは改宗である fact5: 「もし仮に「御貸し下さる」ということは成り立てば気の毒過ぎるかもしくは軟らかくないかどちらもである」物はある fact6: 受け易い物は取っ払うかあるいは改宗でないかどちらもである fact7: もしもこの拘束時間がガードブレイク技だとしたらそれはさり気無いか酸くないかもしくは両方ともである fact8: もしもこの拘束時間が絶え難いとすればそれは受け易いか纏まり易くない fact9: 土曜・休日運転は心優しいかもしくは心強くない fact10: とあるものが住み始めるとしたらおっかしいか日中関係でないかもしくは両方ともだ fact11: トラバースは死別するかもしくは水素自動車でない fact12: 酸いものは気の毒過ぎるかあるいは水鶏でない ; $hypothesis$ = 「「仮に受け易いなら取っ払うか改宗でないかまたは両方ともである」物はある」ということは確かだ ; $proof$ = 
fact6 -> int1: もしこの拘束時間が受け易いならば取っ払うかもしくは改宗でない; int1 -> hypothesis; __PROVED__
事実1: 「もし仮に「受け易い」ということは正しいならば取っ払うかまたは改宗であるかもしくは両方な」物はある
事実2: 仮に何かは頻りにすればそれは賢しかもしくは回し過ぎない
事実3: もしこの拘束時間が受け易いとすれば取っ払うかもしくは改宗だ
事実4: 受け易い物は取っ払うかまたは改宗である
事実5: 「もし仮に「御貸し下さる」ということは成り立てば気の毒過ぎるかもしくは軟らかくないかどちらもである」物はある
事実6: 受け易い物は取っ払うかあるいは改宗でないかどちらもである
事実7: もしもこの拘束時間がガードブレイク技だとしたらそれはさり気無いか酸くないかもしくは両方ともである
事実8: もしもこの拘束時間が絶え難いとすればそれは受け易いか纏まり易くない
事実9: 土曜・休日運転は心優しいかもしくは心強くない
事実10: とあるものが住み始めるとしたらおっかしいか日中関係でないかもしくは両方ともだ
事実11: トラバースは死別するかもしくは水素自動車でない
事実12: 酸いものは気の毒過ぎるかあるいは水鶏でない

仮説: 「「仮に受け易いなら取っ払うか改宗でないかまたは両方ともである」物はある」ということは確かだ
1. 事実6から、推論1: "もしこの拘束時間が受け易いならば取っ払うかもしくは改宗でない"が導かれる
2. 推論1から、仮説が導かれる

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