「もしも「狩る」ということは確かだとしたら「ほっとしないかあるいは通信するかあるいは両方ともだ」ということは成り立たない」物はある
fact1: 仮にこの回は狩るとしたら「ほっとしないかまたは通信するかあるいは両方ともである」ということは嘘だ fact2: 「「仮に狩るなら通信しない」物はある」ということは事実だ fact3: 「「狩る」ということは成り立つとすればほっとする」物はある fact4: 「もしも際するとしたら「多民族国家でないかもしくは土着する」ということは本当でない」物はある fact5: もしこの回が軌道修正するとしたらそれは転座でないかまたはそれは掬い綴じであるかもしくはどちらもだ fact6: 「もしも自由権規約だとしたら淡くないかもしくはワークサンプリングであるかあるいは両方ともな」ものはある fact7: この回が狩るなら通信しない fact8: 「着せるとすると「叩き落さないかまたは御指摘であるかもしくは両方である」ということは成り立たない」ものはある fact9: 仮にこの回は狩るなら「それはほっとするかまたは通信する」ということは偽だ fact10: 「もし狩るなら「ほっとするかもしくは通信する」ということは嘘な」ものはある fact11: もし仮に「その旗色は通信する」ということは正しいならばそれは飲み歩かないか吝い
fact1 -> hypothesis;
$facts$ = fact1: 仮にこの回は狩るとしたら「ほっとしないかまたは通信するかあるいは両方ともである」ということは嘘だ fact2: 「「仮に狩るなら通信しない」物はある」ということは事実だ fact3: 「「狩る」ということは成り立つとすればほっとする」物はある fact4: 「もしも際するとしたら「多民族国家でないかもしくは土着する」ということは本当でない」物はある fact5: もしこの回が軌道修正するとしたらそれは転座でないかまたはそれは掬い綴じであるかもしくはどちらもだ fact6: 「もしも自由権規約だとしたら淡くないかもしくはワークサンプリングであるかあるいは両方ともな」ものはある fact7: この回が狩るなら通信しない fact8: 「着せるとすると「叩き落さないかまたは御指摘であるかもしくは両方である」ということは成り立たない」ものはある fact9: 仮にこの回は狩るなら「それはほっとするかまたは通信する」ということは偽だ fact10: 「もし狩るなら「ほっとするかもしくは通信する」ということは嘘な」ものはある fact11: もし仮に「その旗色は通信する」ということは正しいならばそれは飲み歩かないか吝い ; $hypothesis$ = 「もしも「狩る」ということは確かだとしたら「ほっとしないかあるいは通信するかあるいは両方ともだ」ということは成り立たない」物はある ; $proof$ = 
fact1 -> hypothesis; __PROVED__
事実1: 仮にこの回は狩るとしたら「ほっとしないかまたは通信するかあるいは両方ともである」ということは嘘だ
事実2: 「「仮に狩るなら通信しない」物はある」ということは事実だ
事実3: 「「狩る」ということは成り立つとすればほっとする」物はある
事実4: 「もしも際するとしたら「多民族国家でないかもしくは土着する」ということは本当でない」物はある
事実5: もしこの回が軌道修正するとしたらそれは転座でないかまたはそれは掬い綴じであるかもしくはどちらもだ
事実6: 「もしも自由権規約だとしたら淡くないかもしくはワークサンプリングであるかあるいは両方ともな」ものはある
事実7: この回が狩るなら通信しない
事実8: 「着せるとすると「叩き落さないかまたは御指摘であるかもしくは両方である」ということは成り立たない」ものはある
事実9: 仮にこの回は狩るなら「それはほっとするかまたは通信する」ということは偽だ
事実10: 「もし狩るなら「ほっとするかもしくは通信する」ということは嘘な」ものはある
事実11: もし仮に「その旗色は通信する」ということは正しいならばそれは飲み歩かないか吝い

仮説: 「もしも「狩る」ということは確かだとしたら「ほっとしないかあるいは通信するかあるいは両方ともだ」ということは成り立たない」物はある
1. 事実1から、仮説が導かれる

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