その鮮度保持は蝦蟇口である
fact1: この人民内部は初音だ fact2: もし仮にこの人民内部は初音であるならけたたましい fact3: この人民内部はけたたましいとしたら「泥臭い」ということは事実と異ならない fact4: その美白が開幕するとしたらその鮮度保持は蝦蟇口だ fact5: もし仮にこの人民内部が泥臭いならそれは材木である fact6: もし「その御眼鏡はプレゼント出来ない」ということは事実なら聞き分けるかもしくはそれは編であるか両方だ fact7: もしこの人民内部が開幕するということはないとしたらこの評伝は開幕しない fact8: もしもこの評伝が開幕しないがしかし聞き分けるならこの信用格付けは開幕しない fact9: もしこの信用格付けは開幕しないとすると「強烈過ぎるがしかし感情障害でない」ということは事実と異なる fact10: 仮に何らかの物は感情障害だということはないかまたは強烈過ぎないかまたは両方ともだとすると開幕する fact11: その美白は感情障害であるかそれは強烈過ぎない fact12: すべてのものは感情障害であるかまたは強烈過ぎない fact13: 全てのものは感情障害でないかもしくはそれは強烈過ぎないかまたはどちらもだ fact14: 材木は開幕しないかまたは収集日でないかもしくは両方である fact15: もしその美白は感情障害でないなら開幕する
fact13 -> int1: その美白は感情障害でないか強烈過ぎないかどちらもだ; fact10 -> int2: もしもその美白は感情障害でないかあるいはそれは強烈過ぎないかあるいはどちらもであるならばそれは開幕する; int1 & int2 -> int3: その美白は開幕する; int3 & fact4 -> hypothesis;
fact13 -> int1: (¬{A}{aa} v ¬{B}{aa}); fact10 -> int2: (¬{A}{aa} v ¬{B}{aa}) -> {C}{aa}; int1 & int2 -> int3: {C}{aa}; int3 & fact4 -> hypothesis;
その鮮度保持は蝦蟇口でない
fact17 -> int4: もし仮にこの人民内部が材木であるならば開幕しないかあるいは収集日でないか両方ともだ; fact24 & fact19 -> int5: この人民内部はけたたましい; fact22 & int5 -> int6: この人民内部は泥臭い; fact21 & int6 -> int7: この人民内部は材木である; int4 & int7 -> int8: この人民内部は開幕しないかもしくは収集日でないかまたはどちらもだ;
$facts$ = fact1: この人民内部は初音だ fact2: もし仮にこの人民内部は初音であるならけたたましい fact3: この人民内部はけたたましいとしたら「泥臭い」ということは事実と異ならない fact4: その美白が開幕するとしたらその鮮度保持は蝦蟇口だ fact5: もし仮にこの人民内部が泥臭いならそれは材木である fact6: もし「その御眼鏡はプレゼント出来ない」ということは事実なら聞き分けるかもしくはそれは編であるか両方だ fact7: もしこの人民内部が開幕するということはないとしたらこの評伝は開幕しない fact8: もしもこの評伝が開幕しないがしかし聞き分けるならこの信用格付けは開幕しない fact9: もしこの信用格付けは開幕しないとすると「強烈過ぎるがしかし感情障害でない」ということは事実と異なる fact10: 仮に何らかの物は感情障害だということはないかまたは強烈過ぎないかまたは両方ともだとすると開幕する fact11: その美白は感情障害であるかそれは強烈過ぎない fact12: すべてのものは感情障害であるかまたは強烈過ぎない fact13: 全てのものは感情障害でないかもしくはそれは強烈過ぎないかまたはどちらもだ fact14: 材木は開幕しないかまたは収集日でないかもしくは両方である fact15: もしその美白は感情障害でないなら開幕する ; $hypothesis$ = その鮮度保持は蝦蟇口である ; $proof$ = 
fact13 -> int1: その美白は感情障害でないか強烈過ぎないかどちらもだ; fact10 -> int2: もしもその美白は感情障害でないかあるいはそれは強烈過ぎないかあるいはどちらもであるならばそれは開幕する; int1 & int2 -> int3: その美白は開幕する; int3 & fact4 -> hypothesis; __PROVED__
事実1: この人民内部は初音だ
事実2: もし仮にこの人民内部は初音であるならけたたましい
事実3: この人民内部はけたたましいとしたら「泥臭い」ということは事実と異ならない
事実4: その美白が開幕するとしたらその鮮度保持は蝦蟇口だ
事実5: もし仮にこの人民内部が泥臭いならそれは材木である
事実6: もし「その御眼鏡はプレゼント出来ない」ということは事実なら聞き分けるかもしくはそれは編であるか両方だ
事実7: もしこの人民内部が開幕するということはないとしたらこの評伝は開幕しない
事実8: もしもこの評伝が開幕しないがしかし聞き分けるならこの信用格付けは開幕しない
事実9: もしこの信用格付けは開幕しないとすると「強烈過ぎるがしかし感情障害でない」ということは事実と異なる
事実10: 仮に何らかの物は感情障害だということはないかまたは強烈過ぎないかまたは両方ともだとすると開幕する
事実11: その美白は感情障害であるかそれは強烈過ぎない
事実12: すべてのものは感情障害であるかまたは強烈過ぎない
事実13: 全てのものは感情障害でないかもしくはそれは強烈過ぎないかまたはどちらもだ
事実14: 材木は開幕しないかまたは収集日でないかもしくは両方である
事実15: もしその美白は感情障害でないなら開幕する

仮説: その鮮度保持は蝦蟇口である
1. 事実13から、推論1: "その美白は感情障害でないか強烈過ぎないかどちらもだ"が導かれる
2. 事実10から、推論2: "もしもその美白は感情障害でないかあるいはそれは強烈過ぎないかあるいはどちらもであるならばそれは開幕する"が導かれる
3. 推論1と推論2から、推論3: "その美白は開幕する"が導かれる
4. 推論3と事実4から、仮説が導かれる

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