そのラジエータは逞しい
fact1: 仮にそのギムレットは学友でないなら「それは確定し得るしまたそれは安くない」ということは偽である fact2: そのラジエータは学友だ fact3: 仮にこのＡＩＤＭＡが航行しないけどそれが言い出し難いとすればその咽喉頭は安くない fact4: 何らかの物はだだっ広いしそれは御美しい fact5: とある物は逞しいし学友である fact6: もしそのギムレットが学友であるかあるいは尋ね為さらないかもしくは両方であるなら尋ね為さるということはない fact7: 「新訴えないけれど惨禍である」物はある fact8: もしある物は新訴えるかもしくは惨禍であるとすれば逞しくない fact9: そのギムレットは学友であるかもしくはそれは尋ね為さらない fact10: もし仮に「何らかの物は尋ね為さらないしそれは様相でない」ということは誤りだとすると逞しい fact11: もし仮に「そのギムレットは確定し得る一方でそれは安いということはない」ということは本当でないとすればその咽喉頭は安い fact12: もし「そのラジエータは様相でなくて加えて逞しくない」ということは事実でないとしたら学友である fact13: 「もしそのギムレットが尋ね為さらないならそのギムレットは安いということはないしまた言い出し難くない」ということは真実だ fact14: 仮にとある物が惨禍であるなら尋ね為さらなくて更にそれは新訴えない fact15: そのギムレットはスポーツマンらしくない fact16: そのギムレットは学友だということはない fact17: もしもこのＡＩＤＭＡは言い出し難くないならば「そのラジエータは尋ね為さらなくてそれは様相でない」ということは間違いである fact18: もし仮になにがしかの物が安くないしそれが言い出し難くないとしたらその咽喉頭は航行しない fact19: 「新訴えるということはないし惨禍である」ものがあるとすればこのＡＩＤＭＡは航行しない fact20: もしこのＡＩＤＭＡは言い出し難くないとすれば「それは学友で尋ね為さる」ということは成り立つということはない
fact7 & fact19 -> int1: このＡＩＤＭＡは航行しない; void -> assump1: 以下のように仮定する。このＡＩＤＭＡは言い出し難い; int1 & assump1 -> int2: このＡＩＤＭＡは航行しないけど言い出し難い; int2 & fact3 -> int3: その咽喉頭は安くない; fact1 & fact16 -> int4: 「そのギムレットは確定し得るがしかし安いということはない」ということは偽である; fact11 & int4 -> int5: その咽喉頭は安い; int3 & int5 -> int6: これは矛盾である; [assump1] & int6 -> int7: このＡＩＤＭＡは言い出し難いということはない; int7 & fact17 -> int8: 「そのラジエータは尋ね為さるということはないしおまけに様相でない」ということは成り立つということはない; fact10 -> int9: もし「そのラジエータが尋ね為さらないしさらに様相であるということはない」ということは真実でないなら逞しい; int8 & int9 -> hypothesis;
そのラジエータは逞しいということはない
fact21 -> int10: そのラジエータが新訴えるかまたはそれは惨禍であるかもしくは両方であるならば逞しいということはない;
$facts$ = fact1: 仮にそのギムレットは学友でないなら「それは確定し得るしまたそれは安くない」ということは偽である fact2: そのラジエータは学友だ fact3: 仮にこのＡＩＤＭＡが航行しないけどそれが言い出し難いとすればその咽喉頭は安くない fact4: 何らかの物はだだっ広いしそれは御美しい fact5: とある物は逞しいし学友である fact6: もしそのギムレットが学友であるかあるいは尋ね為さらないかもしくは両方であるなら尋ね為さるということはない fact7: 「新訴えないけれど惨禍である」物はある fact8: もしある物は新訴えるかもしくは惨禍であるとすれば逞しくない fact9: そのギムレットは学友であるかもしくはそれは尋ね為さらない fact10: もし仮に「何らかの物は尋ね為さらないしそれは様相でない」ということは誤りだとすると逞しい fact11: もし仮に「そのギムレットは確定し得る一方でそれは安いということはない」ということは本当でないとすればその咽喉頭は安い fact12: もし「そのラジエータは様相でなくて加えて逞しくない」ということは事実でないとしたら学友である fact13: 「もしそのギムレットが尋ね為さらないならそのギムレットは安いということはないしまた言い出し難くない」ということは真実だ fact14: 仮にとある物が惨禍であるなら尋ね為さらなくて更にそれは新訴えない fact15: そのギムレットはスポーツマンらしくない fact16: そのギムレットは学友だということはない fact17: もしもこのＡＩＤＭＡは言い出し難くないならば「そのラジエータは尋ね為さらなくてそれは様相でない」ということは間違いである fact18: もし仮になにがしかの物が安くないしそれが言い出し難くないとしたらその咽喉頭は航行しない fact19: 「新訴えるということはないし惨禍である」ものがあるとすればこのＡＩＤＭＡは航行しない fact20: もしこのＡＩＤＭＡは言い出し難くないとすれば「それは学友で尋ね為さる」ということは成り立つということはない ; $hypothesis$ = そのラジエータは逞しい ; $proof$ = 
fact7 & fact19 -> int1: このＡＩＤＭＡは航行しない; void -> assump1: 以下のように仮定する。このＡＩＤＭＡは言い出し難い; int1 & assump1 -> int2: このＡＩＤＭＡは航行しないけど言い出し難い; int2 & fact3 -> int3: その咽喉頭は安くない; fact1 & fact16 -> int4: 「そのギムレットは確定し得るがしかし安いということはない」ということは偽である; fact11 & int4 -> int5: その咽喉頭は安い; int3 & int5 -> int6: これは矛盾である; [assump1] & int6 -> int7: このＡＩＤＭＡは言い出し難いということはない; int7 & fact17 -> int8: 「そのラジエータは尋ね為さるということはないしおまけに様相でない」ということは成り立つということはない; fact10 -> int9: もし「そのラジエータが尋ね為さらないしさらに様相であるということはない」ということは真実でないなら逞しい; int8 & int9 -> hypothesis; __PROVED__
事実1: 仮にそのギムレットは学友でないなら「それは確定し得るしまたそれは安くない」ということは偽である
事実2: そのラジエータは学友だ
事実3: 仮にこのＡＩＤＭＡが航行しないけどそれが言い出し難いとすればその咽喉頭は安くない
事実4: 何らかの物はだだっ広いしそれは御美しい
事実5: とある物は逞しいし学友である
事実6: もしそのギムレットが学友であるかあるいは尋ね為さらないかもしくは両方であるなら尋ね為さるということはない
事実7: 「新訴えないけれど惨禍である」物はある
事実8: もしある物は新訴えるかもしくは惨禍であるとすれば逞しくない
事実9: そのギムレットは学友であるかもしくはそれは尋ね為さらない
事実10: もし仮に「何らかの物は尋ね為さらないしそれは様相でない」ということは誤りだとすると逞しい
事実11: もし仮に「そのギムレットは確定し得る一方でそれは安いということはない」ということは本当でないとすればその咽喉頭は安い
事実12: もし「そのラジエータは様相でなくて加えて逞しくない」ということは事実でないとしたら学友である
事実13: 「もしそのギムレットが尋ね為さらないならそのギムレットは安いということはないしまた言い出し難くない」ということは真実だ
事実14: 仮にとある物が惨禍であるなら尋ね為さらなくて更にそれは新訴えない
事実15: そのギムレットはスポーツマンらしくない
事実16: そのギムレットは学友だということはない
事実17: もしもこのＡＩＤＭＡは言い出し難くないならば「そのラジエータは尋ね為さらなくてそれは様相でない」ということは間違いである
事実18: もし仮になにがしかの物が安くないしそれが言い出し難くないとしたらその咽喉頭は航行しない
事実19: 「新訴えるということはないし惨禍である」ものがあるとすればこのＡＩＤＭＡは航行しない
事実20: もしこのＡＩＤＭＡは言い出し難くないとすれば「それは学友で尋ね為さる」ということは成り立つということはない

仮説: そのラジエータは逞しい
1. 事実7と事実19から、推論1: "このＡＩＤＭＡは航行しない"が導かれる
2. 仮定1: 以下のように仮定する。このＡＩＤＭＡは言い出し難い
3. 推論1と仮定1から、推論2: "このＡＩＤＭＡは航行しないけど言い出し難い"が導かれる
4. 推論2と事実3から、推論3: "その咽喉頭は安くない"が導かれる
5. 事実1と事実16から、推論4: "「そのギムレットは確定し得るがしかし安いということはない」ということは偽である"が導かれる
6. 事実11と推論4から、推論5: "その咽喉頭は安い"が導かれる
7. 推論3と推論5から、推論6: "これは矛盾である"が導かれる
8. [仮定1]と推論6から、推論7: "このＡＩＤＭＡは言い出し難いということはない"が導かれる
9. 推論7と事実17から、推論8: "「そのラジエータは尋ね為さるということはないしおまけに様相でない」ということは成り立つということはない"が導かれる
10. 事実10から、推論9: "もし「そのラジエータが尋ね為さらないしさらに様相であるということはない」ということは真実でないなら逞しい"が導かれる
11. 推論8と推論9から、仮説が導かれる

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