「「この赤面は蛋白尿でないしさらに寂しいということはない」ということは正しい」ということは正しくない
fact1: もし「遣り返さなくて記念しない」物があるとするとこのアクセス法は解剖後でない fact2: 「その鮭は寂しいがしかし造営しない」ということは成り立たない fact3: 懐かしものは各種類でないか制動であるかもしくはどちらもだ fact4: もしも「大人し」物があるならばあの程々は大人しかまたはそれは汚穢屋であるかあるいは両方だ fact5: もし仮にこの味覚異常が各種類でないかあるいはそれが制動だとしたらこの赤面は蛋白尿でない fact6: もし仮にこのＩＣが数百円程度ならば口さがないということはない fact7: もしもあの程々が汚穢屋であるとすればあの味覚異常は懐かし fact8: もし仮になにがしかのものは犯罪集団であるとすると「それは新商品でないしさらに蛋白尿でない」ということは成り立つということはない fact9: もしなにがしかの物は解剖後だということはないとすれば「犯罪集団だけど見限らない」ということは成り立たない fact10: 口さがなくないものは大人ししさらに掃討する fact11: このＩＣは数百円程度だ fact12: 「「この赤面が蛋白尿だということはないしその上それは寂しいということはない」ということは嘘だ」ということは偽でない fact13: 「遣り返すということはなくてしかも記念しない」ものはある fact14: もしも「あの程々は大人しない」ということは間違いだとするとこの味覚異常は懐かし
fact12 -> hypothesis;
fact12 -> hypothesis;
「この甘酒は新商品でないしおまけに蛋白尿でない」ということは成り立たない
fact15 -> int1: もしこの甘酒は犯罪集団であるとすると「それは新商品でないしさらにそれは蛋白尿でない」ということは誤りだ;
$facts$ = fact1: もし「遣り返さなくて記念しない」物があるとするとこのアクセス法は解剖後でない fact2: 「その鮭は寂しいがしかし造営しない」ということは成り立たない fact3: 懐かしものは各種類でないか制動であるかもしくはどちらもだ fact4: もしも「大人し」物があるならばあの程々は大人しかまたはそれは汚穢屋であるかあるいは両方だ fact5: もし仮にこの味覚異常が各種類でないかあるいはそれが制動だとしたらこの赤面は蛋白尿でない fact6: もし仮にこのＩＣが数百円程度ならば口さがないということはない fact7: もしもあの程々が汚穢屋であるとすればあの味覚異常は懐かし fact8: もし仮になにがしかのものは犯罪集団であるとすると「それは新商品でないしさらに蛋白尿でない」ということは成り立つということはない fact9: もしなにがしかの物は解剖後だということはないとすれば「犯罪集団だけど見限らない」ということは成り立たない fact10: 口さがなくないものは大人ししさらに掃討する fact11: このＩＣは数百円程度だ fact12: 「「この赤面が蛋白尿だということはないしその上それは寂しいということはない」ということは嘘だ」ということは偽でない fact13: 「遣り返すということはなくてしかも記念しない」ものはある fact14: もしも「あの程々は大人しない」ということは間違いだとするとこの味覚異常は懐かし ; $hypothesis$ = 「「この赤面は蛋白尿でないしさらに寂しいということはない」ということは正しい」ということは正しくない ; $proof$ = 
fact12 -> hypothesis; __PROVED__
事実1: もし「遣り返さなくて記念しない」物があるとするとこのアクセス法は解剖後でない
事実2: 「その鮭は寂しいがしかし造営しない」ということは成り立たない
事実3: 懐かしものは各種類でないか制動であるかもしくはどちらもだ
事実4: もしも「大人し」物があるならばあの程々は大人しかまたはそれは汚穢屋であるかあるいは両方だ
事実5: もし仮にこの味覚異常が各種類でないかあるいはそれが制動だとしたらこの赤面は蛋白尿でない
事実6: もし仮にこのＩＣが数百円程度ならば口さがないということはない
事実7: もしもあの程々が汚穢屋であるとすればあの味覚異常は懐かし
事実8: もし仮になにがしかのものは犯罪集団であるとすると「それは新商品でないしさらに蛋白尿でない」ということは成り立つということはない
事実9: もしなにがしかの物は解剖後だということはないとすれば「犯罪集団だけど見限らない」ということは成り立たない
事実10: 口さがなくないものは大人ししさらに掃討する
事実11: このＩＣは数百円程度だ
事実12: 「「この赤面が蛋白尿だということはないしその上それは寂しいということはない」ということは嘘だ」ということは偽でない
事実13: 「遣り返すということはなくてしかも記念しない」ものはある
事実14: もしも「あの程々は大人しない」ということは間違いだとするとこの味覚異常は懐かし

仮説: 「「この赤面は蛋白尿でないしさらに寂しいということはない」ということは正しい」ということは正しくない
1. 事実12から、仮説が導かれる

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