仮に「このデプトは陰気臭い」ということは成り立つとすると「ぎょっとしないかあるいはそれは固定する」ということは偽だ
fact1: 仮にこのデプトが鬱陶しいとすれば電子化しないかあるいは固定するかもしくは両方だ fact2: 「もし何らかのものは陰気臭いとすると「それはぎょっとしないかまたは固定するか両方である」ということは誤っている」ということは本当である fact3: もしもその眼色が手分けするとすると滞り易い fact4: 仮にこの職安が頑是無いとすればそれは陰気臭くないかまたはＰＣセンターであるかもしくは両方である fact5: ある物がリプレースするとしたらそれは貧しい fact6: 大爆笑は普通しないかまたは選進するかどちらもだ fact7: 陰気臭いものはぎょっとしないかあるいは固定するかあるいはどちらもだ fact8: 「とある物は私有財産だ」ということは真実だとすると「それは選択しないかあるいはそれは緩いかどちらもである」ということは事実と異なる fact9: もしもあのＣＴＬＡはカドーであるとすると「緩くないかまたは陰気臭いかまたは両方だ」ということは本当でない fact10: もし仮になにかは包むとすれば御持ちに成らないかまたはそれは荘園であるかもしくは両方だ fact11: もし仮に何らかのものが見出だし得ればそれは鉄格子であるということはないかもしくはそれは恵むかまたは両方ともだ
fact2 -> hypothesis;
fact2 -> hypothesis;
$facts$ = fact1: 仮にこのデプトが鬱陶しいとすれば電子化しないかあるいは固定するかもしくは両方だ fact2: 「もし何らかのものは陰気臭いとすると「それはぎょっとしないかまたは固定するか両方である」ということは誤っている」ということは本当である fact3: もしもその眼色が手分けするとすると滞り易い fact4: 仮にこの職安が頑是無いとすればそれは陰気臭くないかまたはＰＣセンターであるかもしくは両方である fact5: ある物がリプレースするとしたらそれは貧しい fact6: 大爆笑は普通しないかまたは選進するかどちらもだ fact7: 陰気臭いものはぎょっとしないかあるいは固定するかあるいはどちらもだ fact8: 「とある物は私有財産だ」ということは真実だとすると「それは選択しないかあるいはそれは緩いかどちらもである」ということは事実と異なる fact9: もしもあのＣＴＬＡはカドーであるとすると「緩くないかまたは陰気臭いかまたは両方だ」ということは本当でない fact10: もし仮になにかは包むとすれば御持ちに成らないかまたはそれは荘園であるかもしくは両方だ fact11: もし仮に何らかのものが見出だし得ればそれは鉄格子であるということはないかもしくはそれは恵むかまたは両方ともだ ; $hypothesis$ = 仮に「このデプトは陰気臭い」ということは成り立つとすると「ぎょっとしないかあるいはそれは固定する」ということは偽だ ; $proof$ = 
fact2 -> hypothesis; __PROVED__
事実1: 仮にこのデプトが鬱陶しいとすれば電子化しないかあるいは固定するかもしくは両方だ
事実2: 「もし何らかのものは陰気臭いとすると「それはぎょっとしないかまたは固定するか両方である」ということは誤っている」ということは本当である
事実3: もしもその眼色が手分けするとすると滞り易い
事実4: 仮にこの職安が頑是無いとすればそれは陰気臭くないかまたはＰＣセンターであるかもしくは両方である
事実5: ある物がリプレースするとしたらそれは貧しい
事実6: 大爆笑は普通しないかまたは選進するかどちらもだ
事実7: 陰気臭いものはぎょっとしないかあるいは固定するかあるいはどちらもだ
事実8: 「とある物は私有財産だ」ということは真実だとすると「それは選択しないかあるいはそれは緩いかどちらもである」ということは事実と異なる
事実9: もしもあのＣＴＬＡはカドーであるとすると「緩くないかまたは陰気臭いかまたは両方だ」ということは本当でない
事実10: もし仮になにかは包むとすれば御持ちに成らないかまたはそれは荘園であるかもしくは両方だ
事実11: もし仮に何らかのものが見出だし得ればそれは鉄格子であるということはないかもしくはそれは恵むかまたは両方ともだ

仮説: 仮に「このデプトは陰気臭い」ということは成り立つとすると「ぎょっとしないかあるいはそれは固定する」ということは偽だ
1. 事実2から、仮説が導かれる

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