その平櫓は長くない
fact1: もしもその平櫓が動揺し易いとするとそれは心無いが望み得ない fact2: 仮に心無いものが望み得ないならば長くない fact3: この最高気温は本件契約締結だとしたら「植わるということはなくてまた骨張らない」ということは偽である fact4: 仮にあの青年会は七十パーセント近くでないとすると「「そのパスタメモは門付けする一方で歌わすということはない」ということは正しい」ということは事実でない fact5: 仮に「あの番組編成は味わい尽くさないし七十パーセント近くでない」ということは成り立たないならばあの青年会は七十パーセント近くだということはない fact6: 仮になにかは入れ難くないとすれば長いししかも動揺し易い fact7: この最高気温は本件契約締結だ fact8: 入れ難いということはないが減損するという物はない fact9: 「もし仮に「そのパスタメモは門付けするが歌わさない」ということは誤りならばあの平櫓は物凄まじい」ということは正しい fact10: もし仮にその平櫓が長いししかも物凄まじいならばこの無法松は長くない fact11: もし「なんらかのものは減損するし物凄まじい」ということは事実と異なるとしたらそれは入れ難いということはない fact12: その平櫓は動揺し易い fact13: この最高気温は植わるとすれば「あの番組編成は味わい尽くさないし七十パーセント近くでない」ということは成り立たない fact14: もしもなにがしかのものが心無いしそれが望み得るとすると長いということはない fact15: そのパスタメモは門付けしないならば「「その平櫓は減損するしその上物凄まじい」ということは偽だ」ということは成り立つ fact16: この貧困層は長くない fact17: もしも「「この最高気温は植わらないしその上それは骨張るということはない」ということは嘘である」ということは真実であるとするとそれは植わる
fact1 & fact12 -> int1: その平櫓は心無いけど望み得ない; fact2 -> int2: もし「その平櫓は心無いがしかし望み得るということはない」ということは真実だとすると「長くない」ということは正しい; int1 & int2 -> hypothesis;
fact1 & fact12 -> int1: ({AA}{a} & ¬{AB}{a}); fact2 -> int2: ({AA}{a} & ¬{AB}{a}) -> ¬{B}{a}; int1 & int2 -> hypothesis;
この無法松は心無くない
fact20 -> int3: 「あの遅発型は入れ難いということはない一方で減損する」ということは成り立たない; int3 -> int4: 「「入れ難くないが減損する」ということは成り立つということはない」物はある; fact21 & fact23 -> int5: 「この最高気温は植わらなくてまたそれは骨張らない」ということは成り立たない; fact19 & int5 -> int6: 「この最高気温は植わる」ということは事実である; fact24 & int6 -> int7: 「あの番組編成は味わい尽くさないしそれは七十パーセント近くでない」ということは成り立たない; fact18 & int7 -> int8: あの青年会は七十パーセント近くでない; fact22 & int8 -> int9: 「そのパスタメモは門付けするけど歌わさない」ということは事実と異なる; fact26 & int9 -> int10: その平櫓は物凄まじい;
$facts$ = fact1: もしもその平櫓が動揺し易いとするとそれは心無いが望み得ない fact2: 仮に心無いものが望み得ないならば長くない fact3: この最高気温は本件契約締結だとしたら「植わるということはなくてまた骨張らない」ということは偽である fact4: 仮にあの青年会は七十パーセント近くでないとすると「「そのパスタメモは門付けする一方で歌わすということはない」ということは正しい」ということは事実でない fact5: 仮に「あの番組編成は味わい尽くさないし七十パーセント近くでない」ということは成り立たないならばあの青年会は七十パーセント近くだということはない fact6: 仮になにかは入れ難くないとすれば長いししかも動揺し易い fact7: この最高気温は本件契約締結だ fact8: 入れ難いということはないが減損するという物はない fact9: 「もし仮に「そのパスタメモは門付けするが歌わさない」ということは誤りならばあの平櫓は物凄まじい」ということは正しい fact10: もし仮にその平櫓が長いししかも物凄まじいならばこの無法松は長くない fact11: もし「なんらかのものは減損するし物凄まじい」ということは事実と異なるとしたらそれは入れ難いということはない fact12: その平櫓は動揺し易い fact13: この最高気温は植わるとすれば「あの番組編成は味わい尽くさないし七十パーセント近くでない」ということは成り立たない fact14: もしもなにがしかのものが心無いしそれが望み得るとすると長いということはない fact15: そのパスタメモは門付けしないならば「「その平櫓は減損するしその上物凄まじい」ということは偽だ」ということは成り立つ fact16: この貧困層は長くない fact17: もしも「「この最高気温は植わらないしその上それは骨張るということはない」ということは嘘である」ということは真実であるとするとそれは植わる ; $hypothesis$ = その平櫓は長くない ; $proof$ = 
fact1 & fact12 -> int1: その平櫓は心無いけど望み得ない; fact2 -> int2: もし「その平櫓は心無いがしかし望み得るということはない」ということは真実だとすると「長くない」ということは正しい; int1 & int2 -> hypothesis; __PROVED__
事実1: もしもその平櫓が動揺し易いとするとそれは心無いが望み得ない
事実2: 仮に心無いものが望み得ないならば長くない
事実3: この最高気温は本件契約締結だとしたら「植わるということはなくてまた骨張らない」ということは偽である
事実4: 仮にあの青年会は七十パーセント近くでないとすると「「そのパスタメモは門付けする一方で歌わすということはない」ということは正しい」ということは事実でない
事実5: 仮に「あの番組編成は味わい尽くさないし七十パーセント近くでない」ということは成り立たないならばあの青年会は七十パーセント近くだということはない
事実6: 仮になにかは入れ難くないとすれば長いししかも動揺し易い
事実7: この最高気温は本件契約締結だ
事実8: 入れ難いということはないが減損するという物はない
事実9: 「もし仮に「そのパスタメモは門付けするが歌わさない」ということは誤りならばあの平櫓は物凄まじい」ということは正しい
事実10: もし仮にその平櫓が長いししかも物凄まじいならばこの無法松は長くない
事実11: もし「なんらかのものは減損するし物凄まじい」ということは事実と異なるとしたらそれは入れ難いということはない
事実12: その平櫓は動揺し易い
事実13: この最高気温は植わるとすれば「あの番組編成は味わい尽くさないし七十パーセント近くでない」ということは成り立たない
事実14: もしもなにがしかのものが心無いしそれが望み得るとすると長いということはない
事実15: そのパスタメモは門付けしないならば「「その平櫓は減損するしその上物凄まじい」ということは偽だ」ということは成り立つ
事実16: この貧困層は長くない
事実17: もしも「「この最高気温は植わらないしその上それは骨張るということはない」ということは嘘である」ということは真実であるとするとそれは植わる

仮説: その平櫓は長くない
1. 事実1と事実12から、推論1: "その平櫓は心無いけど望み得ない"が導かれる
2. 事実2から、推論2: "もし「その平櫓は心無いがしかし望み得るということはない」ということは真実だとすると「長くない」ということは正しい"が導かれる
3. 推論1と推論2から、仮説が導かれる

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