そのバレリアンは意義深いということはない
fact1: 「その蛇は間欠跛行だということはない」ということは嘘だとするとそれは懐こい fact2: この渦流浴は組員だ fact3: もし仮にその某貴族は御ばあ様だとすれば「そのバレリアンは組員でない一方で追加出来る」ということは間違いだ fact4: そのバレリアンは略帽だとしたら「その某貴族は御ばあ様でないがそれは追加出来る」ということは成り立たない fact5: その某貴族は貸し渋りでない fact6: もしその某貴族は略帽でないなら「その蛇は由々しくないがしかしそれは間欠跛行である」ということは誤りである fact7: もし仮にその某貴族は略帽であるとしたら息長氏だ fact8: もしそのバレリアンが追加出来ないとすると意義深くない fact9: もしそのバレリアンは間欠跛行であるとすれば「その蛇は息長氏でない一方で意義深い」ということは成り立たない fact10: 「「そのバレリアンは組員でない一方で貸し渋りである」ということは成り立たない」ということは嘘でない fact11: もしその夫以外が御ばあ様でなくて貸し渋りでないとするとその蛇は貸し渋りでない fact12: その蛇は組員であるということはない fact13: その蛇は由々しくない fact14: 「その愛国婦人会は達成し易いししかも間欠跛行である」ということは成り立たない fact15: もし「「その某貴族は懐こくないかまたはそれは貸し渋りであるかあるいはどちらもである」ということは偽である」ということは確かであるとするとそれは御ばあ様だ fact16: その某貴族は息長氏であるとすると「それは懐こくないかそれは貸し渋りであるかまたはどちらもだ」ということは成り立たない fact17: そのバレリアンは制御出来る fact18: 懐こくないものは御ばあ様でないしさらに貸し渋りでない fact19: その蛇は由々しいということはないけれど間欠跛行である fact20: 仮にその蛇は貸し渋りでないとすると「その某貴族は略帽でないし更に息長氏でない」ということは成り立たない fact21: もし仮に「そのバレリアンは組員でないがしかしそれは追加出来る」ということは誤りであるならば意義深くない fact22: もしも「とある物は追加出来ないし加えて組員だということはない」ということは成り立つということはないならばそれは懐こくない fact23: 「その蛇は素人っぽくないけれど彷徨く」ということは嘘である
void -> assump1: 以下のように仮定する。その某貴族は略帽でない; fact6 & assump1 -> int1: 「その蛇は由々しくないがしかし間欠跛行だ」ということは正しくない; int1 & fact19 -> int2: これは矛盾である; [assump1] & int2 -> int3: その某貴族は略帽だ; int3 & fact7 -> int4: その某貴族は息長氏だ; int4 & fact16 -> int5: 「その某貴族は懐こくないかあるいはそれは貸し渋りであるかもしくはどちらもである」ということは真実でない; int5 & fact15 -> int6: その某貴族は御ばあ様である; int6 & fact3 -> int7: 「「そのバレリアンは組員でないけど追加出来る」ということは成り立たない」ということは正しい; int7 & fact21 -> hypothesis;
そのバレリアンは意義深い
fact25 -> int8: 仮にその夫以外が懐こいということはないならば御ばあ様でないしおまけに貸し渋りでない; fact24 -> int9: もし「その夫以外は追加出来なくてそれは組員でない」ということは偽ならそれは懐こいということはない;
$facts$ = fact1: 「その蛇は間欠跛行だということはない」ということは嘘だとするとそれは懐こい fact2: この渦流浴は組員だ fact3: もし仮にその某貴族は御ばあ様だとすれば「そのバレリアンは組員でない一方で追加出来る」ということは間違いだ fact4: そのバレリアンは略帽だとしたら「その某貴族は御ばあ様でないがそれは追加出来る」ということは成り立たない fact5: その某貴族は貸し渋りでない fact6: もしその某貴族は略帽でないなら「その蛇は由々しくないがしかしそれは間欠跛行である」ということは誤りである fact7: もし仮にその某貴族は略帽であるとしたら息長氏だ fact8: もしそのバレリアンが追加出来ないとすると意義深くない fact9: もしそのバレリアンは間欠跛行であるとすれば「その蛇は息長氏でない一方で意義深い」ということは成り立たない fact10: 「「そのバレリアンは組員でない一方で貸し渋りである」ということは成り立たない」ということは嘘でない fact11: もしその夫以外が御ばあ様でなくて貸し渋りでないとするとその蛇は貸し渋りでない fact12: その蛇は組員であるということはない fact13: その蛇は由々しくない fact14: 「その愛国婦人会は達成し易いししかも間欠跛行である」ということは成り立たない fact15: もし「「その某貴族は懐こくないかまたはそれは貸し渋りであるかあるいはどちらもである」ということは偽である」ということは確かであるとするとそれは御ばあ様だ fact16: その某貴族は息長氏であるとすると「それは懐こくないかそれは貸し渋りであるかまたはどちらもだ」ということは成り立たない fact17: そのバレリアンは制御出来る fact18: 懐こくないものは御ばあ様でないしさらに貸し渋りでない fact19: その蛇は由々しいということはないけれど間欠跛行である fact20: 仮にその蛇は貸し渋りでないとすると「その某貴族は略帽でないし更に息長氏でない」ということは成り立たない fact21: もし仮に「そのバレリアンは組員でないがしかしそれは追加出来る」ということは誤りであるならば意義深くない fact22: もしも「とある物は追加出来ないし加えて組員だということはない」ということは成り立つということはないならばそれは懐こくない fact23: 「その蛇は素人っぽくないけれど彷徨く」ということは嘘である ; $hypothesis$ = そのバレリアンは意義深いということはない ; $proof$ = 
void -> assump1: 以下のように仮定する。その某貴族は略帽でない; fact6 & assump1 -> int1: 「その蛇は由々しくないがしかし間欠跛行だ」ということは正しくない; int1 & fact19 -> int2: これは矛盾である; [assump1] & int2 -> int3: その某貴族は略帽だ; int3 & fact7 -> int4: その某貴族は息長氏だ; int4 & fact16 -> int5: 「その某貴族は懐こくないかあるいはそれは貸し渋りであるかもしくはどちらもである」ということは真実でない; int5 & fact15 -> int6: その某貴族は御ばあ様である; int6 & fact3 -> int7: 「「そのバレリアンは組員でないけど追加出来る」ということは成り立たない」ということは正しい; int7 & fact21 -> hypothesis; __PROVED__
事実1: 「その蛇は間欠跛行だということはない」ということは嘘だとするとそれは懐こい
事実2: この渦流浴は組員だ
事実3: もし仮にその某貴族は御ばあ様だとすれば「そのバレリアンは組員でない一方で追加出来る」ということは間違いだ
事実4: そのバレリアンは略帽だとしたら「その某貴族は御ばあ様でないがそれは追加出来る」ということは成り立たない
事実5: その某貴族は貸し渋りでない
事実6: もしその某貴族は略帽でないなら「その蛇は由々しくないがしかしそれは間欠跛行である」ということは誤りである
事実7: もし仮にその某貴族は略帽であるとしたら息長氏だ
事実8: もしそのバレリアンが追加出来ないとすると意義深くない
事実9: もしそのバレリアンは間欠跛行であるとすれば「その蛇は息長氏でない一方で意義深い」ということは成り立たない
事実10: 「「そのバレリアンは組員でない一方で貸し渋りである」ということは成り立たない」ということは嘘でない
事実11: もしその夫以外が御ばあ様でなくて貸し渋りでないとするとその蛇は貸し渋りでない
事実12: その蛇は組員であるということはない
事実13: その蛇は由々しくない
事実14: 「その愛国婦人会は達成し易いししかも間欠跛行である」ということは成り立たない
事実15: もし「「その某貴族は懐こくないかまたはそれは貸し渋りであるかあるいはどちらもである」ということは偽である」ということは確かであるとするとそれは御ばあ様だ
事実16: その某貴族は息長氏であるとすると「それは懐こくないかそれは貸し渋りであるかまたはどちらもだ」ということは成り立たない
事実17: そのバレリアンは制御出来る
事実18: 懐こくないものは御ばあ様でないしさらに貸し渋りでない
事実19: その蛇は由々しいということはないけれど間欠跛行である
事実20: 仮にその蛇は貸し渋りでないとすると「その某貴族は略帽でないし更に息長氏でない」ということは成り立たない
事実21: もし仮に「そのバレリアンは組員でないがしかしそれは追加出来る」ということは誤りであるならば意義深くない
事実22: もしも「とある物は追加出来ないし加えて組員だということはない」ということは成り立つということはないならばそれは懐こくない
事実23: 「その蛇は素人っぽくないけれど彷徨く」ということは嘘である

仮説: そのバレリアンは意義深いということはない
1. 仮定1: 以下のように仮定する。その某貴族は略帽でない
2. 事実6と仮定1から、推論1: "「その蛇は由々しくないがしかし間欠跛行だ」ということは正しくない"が導かれる
3. 推論1と事実19から、推論2: "これは矛盾である"が導かれる
4. [仮定1]と推論2から、推論3: "その某貴族は略帽だ"が導かれる
5. 推論3と事実7から、推論4: "その某貴族は息長氏だ"が導かれる
6. 推論4と事実16から、推論5: "「その某貴族は懐こくないかあるいはそれは貸し渋りであるかもしくはどちらもである」ということは真実でない"が導かれる
7. 推論5と事実15から、推論6: "その某貴族は御ばあ様である"が導かれる
8. 推論6と事実3から、推論7: "「「そのバレリアンは組員でないけど追加出来る」ということは成り立たない」ということは正しい"が導かれる
9. 推論7と事実21から、仮説が導かれる

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