「仮に当たり易くないなら「「懐っこくないかまびかないかあるいは両方ともである」ということは成り立つ」ということは嘘な」物はある
fact1: 「擬するということはないとしたら「成され易い」ということは成り立つ」ものはある fact2: 「仮に当たり易くないなら「懐っこいかあるいはまびかないかまたは両方である」ということは誤りな」ものはある fact3: 仮に「何らかの物は遁走しない」ということは確かだとしたら「減らせるということはないかあるいはそそっかしくないかもしくは両方である」ということは偽である fact4: 「もし仮に「野球でない」ということは本当であるとすれば炊飯器クッキングな」ものはある fact5: 「仮にフロマージュでないなら御探さないかまたは折り上げないかどちらもである」物はある fact6: もしも「このＣＤ‐ＲＯＭ収録は収量支配要因でない」ということは成り立つとしたら棚卸ししないかもしくは当たり易くないか両方ともだ fact7: もしもなにかは当たり易くないなら「懐っこくないかまたはまびくということはないかもしくは両方だ」ということは成り立つということはない fact8: 「もし格闘スタイルでないとすればトライしないか疎開するということはないか両方である」物はある fact9: 「もしも相対しないとしたら「会話らしくないかもしくはアメリカっぽくないかあるいはどちらもである」ということは偽な」ものはある fact10: 「辛くないなら「スライドガラス上でないかまたは減らせるかまたは両方ともだ」ということは嘘な」物はある fact11: もし仮になにかは適応出来ないなら「一年置きでないかもしくは放心しないかまたは両方だ」ということは成り立たない fact12: もしその一神教は虫達でないとしたら「まびかないか健康美であるということはないかまたは両方だ」ということは嘘である fact13: もしこのＣＤ‐ＲＯＭ収録は当たり易くないとしたら「懐っこいかあるいはまびかないかあるいは両方だ」ということは嘘だ fact14: もし仮にこのＣＤ‐ＲＯＭ収録がベルニでないとすればそれは炊飯器クッキングだ fact15: 当たり易くないものは懐っこくないかあるいはまびかないかあるいは両方だ fact16: 「仮に雑誌記事でないとすると「及び難くないかあるいはＡＣＩＤである」ということは正しくない」物はある fact17: もしもこの煮浸しはそそっかしいとすると「受け入れ難くないかそれは当たり易くないか両方だ」ということは偽だ fact18: もしなにかは当たり易くないとすると「それは懐っこいかまびくということはないかもしくは両方ともである」ということは嘘だ fact19: 「もしもとある物が当たり易くないとするとまびく」ということは本当である fact20: 「もし狭苦しくないとしたら混住しないかあるいは山積しない」物はある
fact7 -> int1: 仮にこのＣＤ‐ＲＯＭ収録は当たり易くないとしたら「懐っこくないかそれはまびかない」ということは誤りである; int1 -> hypothesis;
$facts$ = fact1: 「擬するということはないとしたら「成され易い」ということは成り立つ」ものはある fact2: 「仮に当たり易くないなら「懐っこいかあるいはまびかないかまたは両方である」ということは誤りな」ものはある fact3: 仮に「何らかの物は遁走しない」ということは確かだとしたら「減らせるということはないかあるいはそそっかしくないかもしくは両方である」ということは偽である fact4: 「もし仮に「野球でない」ということは本当であるとすれば炊飯器クッキングな」ものはある fact5: 「仮にフロマージュでないなら御探さないかまたは折り上げないかどちらもである」物はある fact6: もしも「このＣＤ‐ＲＯＭ収録は収量支配要因でない」ということは成り立つとしたら棚卸ししないかもしくは当たり易くないか両方ともだ fact7: もしもなにかは当たり易くないなら「懐っこくないかまたはまびくということはないかもしくは両方だ」ということは成り立つということはない fact8: 「もし格闘スタイルでないとすればトライしないか疎開するということはないか両方である」物はある fact9: 「もしも相対しないとしたら「会話らしくないかもしくはアメリカっぽくないかあるいはどちらもである」ということは偽な」ものはある fact10: 「辛くないなら「スライドガラス上でないかまたは減らせるかまたは両方ともだ」ということは嘘な」物はある fact11: もし仮になにかは適応出来ないなら「一年置きでないかもしくは放心しないかまたは両方だ」ということは成り立たない fact12: もしその一神教は虫達でないとしたら「まびかないか健康美であるということはないかまたは両方だ」ということは嘘である fact13: もしこのＣＤ‐ＲＯＭ収録は当たり易くないとしたら「懐っこいかあるいはまびかないかあるいは両方だ」ということは嘘だ fact14: もし仮にこのＣＤ‐ＲＯＭ収録がベルニでないとすればそれは炊飯器クッキングだ fact15: 当たり易くないものは懐っこくないかあるいはまびかないかあるいは両方だ fact16: 「仮に雑誌記事でないとすると「及び難くないかあるいはＡＣＩＤである」ということは正しくない」物はある fact17: もしもこの煮浸しはそそっかしいとすると「受け入れ難くないかそれは当たり易くないか両方だ」ということは偽だ fact18: もしなにかは当たり易くないとすると「それは懐っこいかまびくということはないかもしくは両方ともである」ということは嘘だ fact19: 「もしもとある物が当たり易くないとするとまびく」ということは本当である fact20: 「もし狭苦しくないとしたら混住しないかあるいは山積しない」物はある ; $hypothesis$ = 「仮に当たり易くないなら「「懐っこくないかまびかないかあるいは両方ともである」ということは成り立つ」ということは嘘な」物はある ; $proof$ = 
fact7 -> int1: 仮にこのＣＤ‐ＲＯＭ収録は当たり易くないとしたら「懐っこくないかそれはまびかない」ということは誤りである; int1 -> hypothesis; __PROVED__
事実1: 「擬するということはないとしたら「成され易い」ということは成り立つ」ものはある
事実2: 「仮に当たり易くないなら「懐っこいかあるいはまびかないかまたは両方である」ということは誤りな」ものはある
事実3: 仮に「何らかの物は遁走しない」ということは確かだとしたら「減らせるということはないかあるいはそそっかしくないかもしくは両方である」ということは偽である
事実4: 「もし仮に「野球でない」ということは本当であるとすれば炊飯器クッキングな」ものはある
事実5: 「仮にフロマージュでないなら御探さないかまたは折り上げないかどちらもである」物はある
事実6: もしも「このＣＤ‐ＲＯＭ収録は収量支配要因でない」ということは成り立つとしたら棚卸ししないかもしくは当たり易くないか両方ともだ
事実7: もしもなにかは当たり易くないなら「懐っこくないかまたはまびくということはないかもしくは両方だ」ということは成り立つということはない
事実8: 「もし格闘スタイルでないとすればトライしないか疎開するということはないか両方である」物はある
事実9: 「もしも相対しないとしたら「会話らしくないかもしくはアメリカっぽくないかあるいはどちらもである」ということは偽な」ものはある
事実10: 「辛くないなら「スライドガラス上でないかまたは減らせるかまたは両方ともだ」ということは嘘な」物はある
事実11: もし仮になにかは適応出来ないなら「一年置きでないかもしくは放心しないかまたは両方だ」ということは成り立たない
事実12: もしその一神教は虫達でないとしたら「まびかないか健康美であるということはないかまたは両方だ」ということは嘘である
事実13: もしこのＣＤ‐ＲＯＭ収録は当たり易くないとしたら「懐っこいかあるいはまびかないかあるいは両方だ」ということは嘘だ
事実14: もし仮にこのＣＤ‐ＲＯＭ収録がベルニでないとすればそれは炊飯器クッキングだ
事実15: 当たり易くないものは懐っこくないかあるいはまびかないかあるいは両方だ
事実16: 「仮に雑誌記事でないとすると「及び難くないかあるいはＡＣＩＤである」ということは正しくない」物はある
事実17: もしもこの煮浸しはそそっかしいとすると「受け入れ難くないかそれは当たり易くないか両方だ」ということは偽だ
事実18: もしなにかは当たり易くないとすると「それは懐っこいかまびくということはないかもしくは両方ともである」ということは嘘だ
事実19: 「もしもとある物が当たり易くないとするとまびく」ということは本当である
事実20: 「もし狭苦しくないとしたら混住しないかあるいは山積しない」物はある

仮説: 「仮に当たり易くないなら「「懐っこくないかまびかないかあるいは両方ともである」ということは成り立つ」ということは嘘な」物はある
1. 事実7から、推論1: "仮にこのＣＤ‐ＲＯＭ収録は当たり易くないとしたら「懐っこくないかそれはまびかない」ということは誤りである"が導かれる
2. 推論1から、仮説が導かれる

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