「もし仮にポートフィルタリングであるということはないとしたら「握り易いかもしくは保管方法でないか両方である」ということは偽である」物はある
fact1: なにがしかの物はポートフィルタリングでないとすると「それは握り易いかもしくは保管方法でないかあるいはどちらもだ」ということは成り立たない fact2: ある物はテスト期間でないとすると「好天気であるかまたは冗談ぽいということはないかあるいはどちらもである」ということは成り立たない fact3: もし仮にこのコピー機は言い聞かすとすると「「部分使いであるかポートフィルタリングでないかまたは両方ともだ」ということは成り立つ」ということは嘘だ fact4: もしそのアメリカさんは居住すれば「明治三十年代であるかもしくはそれは保管方法でないかあるいは両方ともだ」ということは事実と異なる fact5: 「もしも回転しないとしたら計算練習であるか直接性要件でないかまたはどちらもである」物はある fact6: あるものは使用し難くないとすると「帯紐であるかもしくはマイちゃんでないかあるいは両方である」ということは誤っている fact7: 「もしも各党間でないとすると「回転するかもしくは使用し難いということはないかもしくは両方だ」ということは確かであるということはない」物はある fact8: もしも何かは頒布でないとすれば酒臭い fact9: めでたしない物は同志であるかもしくは相手取らないかあるいは両方である fact10: 「もし仮にポートフィルタリングでないとすれば握り易いかあるいは保管方法でないかあるいは両方な」ものはある fact11: 「もし上皮化しないとすれば「膨らみ部分であるかあるいは気高くないかまたは両方ともだ」ということは成り立たない」物はある fact12: 「もしもインスタント食品であるとすれば「退職であるかまたはうざくないかもしくは両方ともだ」ということは偽な」ものはある fact13: 仮になにかはポートフィルタリングでないとすると「握り易いかもしくはそれは保管方法である」ということは嘘である fact14: 「「仮に頒布なら「光ちゃんであるか苦悩しないかもしくは両方ともだ」ということは成り立たない」ものはある」ということは確かである fact15: 「もし仮に頒布でないとすると「一件落着するか女の子らしくないか両方だ」ということは事実と異なる」物はある
fact1 -> int1: 仮にこのコピー機はポートフィルタリングでないとすると「握り易いかあるいは保管方法でないかあるいは両方だ」ということは本当でない; int1 -> hypothesis;
$facts$ = fact1: なにがしかの物はポートフィルタリングでないとすると「それは握り易いかもしくは保管方法でないかあるいはどちらもだ」ということは成り立たない fact2: ある物はテスト期間でないとすると「好天気であるかまたは冗談ぽいということはないかあるいはどちらもである」ということは成り立たない fact3: もし仮にこのコピー機は言い聞かすとすると「「部分使いであるかポートフィルタリングでないかまたは両方ともだ」ということは成り立つ」ということは嘘だ fact4: もしそのアメリカさんは居住すれば「明治三十年代であるかもしくはそれは保管方法でないかあるいは両方ともだ」ということは事実と異なる fact5: 「もしも回転しないとしたら計算練習であるか直接性要件でないかまたはどちらもである」物はある fact6: あるものは使用し難くないとすると「帯紐であるかもしくはマイちゃんでないかあるいは両方である」ということは誤っている fact7: 「もしも各党間でないとすると「回転するかもしくは使用し難いということはないかもしくは両方だ」ということは確かであるということはない」物はある fact8: もしも何かは頒布でないとすれば酒臭い fact9: めでたしない物は同志であるかもしくは相手取らないかあるいは両方である fact10: 「もし仮にポートフィルタリングでないとすれば握り易いかあるいは保管方法でないかあるいは両方な」ものはある fact11: 「もし上皮化しないとすれば「膨らみ部分であるかあるいは気高くないかまたは両方ともだ」ということは成り立たない」物はある fact12: 「もしもインスタント食品であるとすれば「退職であるかまたはうざくないかもしくは両方ともだ」ということは偽な」ものはある fact13: 仮になにかはポートフィルタリングでないとすると「握り易いかもしくはそれは保管方法である」ということは嘘である fact14: 「「仮に頒布なら「光ちゃんであるか苦悩しないかもしくは両方ともだ」ということは成り立たない」ものはある」ということは確かである fact15: 「もし仮に頒布でないとすると「一件落着するか女の子らしくないか両方だ」ということは事実と異なる」物はある ; $hypothesis$ = 「もし仮にポートフィルタリングであるということはないとしたら「握り易いかもしくは保管方法でないか両方である」ということは偽である」物はある ; $proof$ = 
fact1 -> int1: 仮にこのコピー機はポートフィルタリングでないとすると「握り易いかあるいは保管方法でないかあるいは両方だ」ということは本当でない; int1 -> hypothesis; __PROVED__
事実1: なにがしかの物はポートフィルタリングでないとすると「それは握り易いかもしくは保管方法でないかあるいはどちらもだ」ということは成り立たない
事実2: ある物はテスト期間でないとすると「好天気であるかまたは冗談ぽいということはないかあるいはどちらもである」ということは成り立たない
事実3: もし仮にこのコピー機は言い聞かすとすると「「部分使いであるかポートフィルタリングでないかまたは両方ともだ」ということは成り立つ」ということは嘘だ
事実4: もしそのアメリカさんは居住すれば「明治三十年代であるかもしくはそれは保管方法でないかあるいは両方ともだ」ということは事実と異なる
事実5: 「もしも回転しないとしたら計算練習であるか直接性要件でないかまたはどちらもである」物はある
事実6: あるものは使用し難くないとすると「帯紐であるかもしくはマイちゃんでないかあるいは両方である」ということは誤っている
事実7: 「もしも各党間でないとすると「回転するかもしくは使用し難いということはないかもしくは両方だ」ということは確かであるということはない」物はある
事実8: もしも何かは頒布でないとすれば酒臭い
事実9: めでたしない物は同志であるかもしくは相手取らないかあるいは両方である
事実10: 「もし仮にポートフィルタリングでないとすれば握り易いかあるいは保管方法でないかあるいは両方な」ものはある
事実11: 「もし上皮化しないとすれば「膨らみ部分であるかあるいは気高くないかまたは両方ともだ」ということは成り立たない」物はある
事実12: 「もしもインスタント食品であるとすれば「退職であるかまたはうざくないかもしくは両方ともだ」ということは偽な」ものはある
事実13: 仮になにかはポートフィルタリングでないとすると「握り易いかもしくはそれは保管方法である」ということは嘘である
事実14: 「「仮に頒布なら「光ちゃんであるか苦悩しないかもしくは両方ともだ」ということは成り立たない」ものはある」ということは確かである
事実15: 「もし仮に頒布でないとすると「一件落着するか女の子らしくないか両方だ」ということは事実と異なる」物はある

仮説: 「もし仮にポートフィルタリングであるということはないとしたら「握り易いかもしくは保管方法でないか両方である」ということは偽である」物はある
1. 事実1から、推論1: "仮にこのコピー機はポートフィルタリングでないとすると「握り易いかあるいは保管方法でないかあるいは両方だ」ということは本当でない"が導かれる
2. 推論1から、仮説が導かれる

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