あの年銘は煮上げないけどそれは開ける
fact1: その電灯がドイツ哲学だとしたらあの二十八．根気はドイツ哲学である fact2: あの年銘は巣であるかもしくは縫縮するか両方だ fact3: もしもその放射性物質は縫縮しないとしたら「その電灯は頬っぺで加えてドイツ哲学である」ということは成り立つ fact4: 頬っぺはドイツ哲学だ fact5: もしその電灯が煮上げるならあの年銘は煮上げない fact6: あの年銘は覚え難い fact7: あの二十八．根気は賛成し難い fact8: あの二十八．根気が賛成し難いとするとその電灯は煮上げる fact9: もしとある物が巣ならば頬っぺである fact10: その電灯が賛成し難いとしたらあの二十八．根気は賛成し難くないけれど煮上げる fact11: あの年銘は煮上げるということはない fact12: もしその電灯が煮上げるとするとあの年銘は煮上げるということはない一方でそれは開ける fact13: その待ち合わせ場所は賛成し難い fact14: 「あの年銘は頬っぺでないかもしくはそれは縫縮するかもしくは両方ともだ」ということは確かであるなら頬っぺであるということはない fact15: この細胞レベルは賛成し難くないけど中休みである fact16: もし仮に「あの二十八．根気はドイツ哲学である」ということは成り立つならあの年銘は賛成し難い fact17: 仮に何らかの物は賛成し難いとしたら「それは煮上げない一方で開ける」ということは誤りだ fact18: もし仮にとあるものは縫縮するとすると「頬っぺである」ということは成り立つ
fact8 & fact7 -> int1: 「その電灯は煮上げる」ということは事実だ; int1 & fact12 -> hypothesis;
fact8 & fact7 -> int1: {B}{b}; int1 & fact12 -> hypothesis;
「あの年銘は煮上げないがしかし開ける」ということは成り立たない
fact21 -> int2: もし仮にあの年銘は賛成し難いなら「煮上げないしそれに開ける」ということは事実であるということはない;
$facts$ = fact1: その電灯がドイツ哲学だとしたらあの二十八．根気はドイツ哲学である fact2: あの年銘は巣であるかもしくは縫縮するか両方だ fact3: もしもその放射性物質は縫縮しないとしたら「その電灯は頬っぺで加えてドイツ哲学である」ということは成り立つ fact4: 頬っぺはドイツ哲学だ fact5: もしその電灯が煮上げるならあの年銘は煮上げない fact6: あの年銘は覚え難い fact7: あの二十八．根気は賛成し難い fact8: あの二十八．根気が賛成し難いとするとその電灯は煮上げる fact9: もしとある物が巣ならば頬っぺである fact10: その電灯が賛成し難いとしたらあの二十八．根気は賛成し難くないけれど煮上げる fact11: あの年銘は煮上げるということはない fact12: もしその電灯が煮上げるとするとあの年銘は煮上げるということはない一方でそれは開ける fact13: その待ち合わせ場所は賛成し難い fact14: 「あの年銘は頬っぺでないかもしくはそれは縫縮するかもしくは両方ともだ」ということは確かであるなら頬っぺであるということはない fact15: この細胞レベルは賛成し難くないけど中休みである fact16: もし仮に「あの二十八．根気はドイツ哲学である」ということは成り立つならあの年銘は賛成し難い fact17: 仮に何らかの物は賛成し難いとしたら「それは煮上げない一方で開ける」ということは誤りだ fact18: もし仮にとあるものは縫縮するとすると「頬っぺである」ということは成り立つ ; $hypothesis$ = あの年銘は煮上げないけどそれは開ける ; $proof$ = 
fact8 & fact7 -> int1: 「その電灯は煮上げる」ということは事実だ; int1 & fact12 -> hypothesis; __PROVED__
事実1: その電灯がドイツ哲学だとしたらあの二十八．根気はドイツ哲学である
事実2: あの年銘は巣であるかもしくは縫縮するか両方だ
事実3: もしもその放射性物質は縫縮しないとしたら「その電灯は頬っぺで加えてドイツ哲学である」ということは成り立つ
事実4: 頬っぺはドイツ哲学だ
事実5: もしその電灯が煮上げるならあの年銘は煮上げない
事実6: あの年銘は覚え難い
事実7: あの二十八．根気は賛成し難い
事実8: あの二十八．根気が賛成し難いとするとその電灯は煮上げる
事実9: もしとある物が巣ならば頬っぺである
事実10: その電灯が賛成し難いとしたらあの二十八．根気は賛成し難くないけれど煮上げる
事実11: あの年銘は煮上げるということはない
事実12: もしその電灯が煮上げるとするとあの年銘は煮上げるということはない一方でそれは開ける
事実13: その待ち合わせ場所は賛成し難い
事実14: 「あの年銘は頬っぺでないかもしくはそれは縫縮するかもしくは両方ともだ」ということは確かであるなら頬っぺであるということはない
事実15: この細胞レベルは賛成し難くないけど中休みである
事実16: もし仮に「あの二十八．根気はドイツ哲学である」ということは成り立つならあの年銘は賛成し難い
事実17: 仮に何らかの物は賛成し難いとしたら「それは煮上げない一方で開ける」ということは誤りだ
事実18: もし仮にとあるものは縫縮するとすると「頬っぺである」ということは成り立つ

仮説: あの年銘は煮上げないけどそれは開ける
1. 事実8と事実7から、推論1: "「その電灯は煮上げる」ということは事実だ"が導かれる
2. 推論1と事実12から、仮説が導かれる

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