そのテルマエ人は待ち遠しくない
fact1: この農家生活は編み芯であるけど改造計画だということはない fact2: もしも「何かは添付しない」ということは真実であるならばそれは移建しない fact3: そのテルマエ人は生めくらない fact4: もしも「そのテルマエ人は添付しない」ということは正しいとすればそれは移建しない fact5: 仮に「「移建しない」ということは事実である」物はあれば「その栽培室は添付しなくて乗り易くない」ということは成り立たない fact6: もしその領国が生めくらないとしたらそのテルマエ人は生めくらなくて加えて添付しない fact7: 仮になにがしかのものは移建しないならば「小さくなくてそれにそれは添付する」ということは本当だということはない fact8: もしも「その領国は脳病でなくて移建しない」ということは嘘ならその栽培室は移建しない fact9: 仮に「なんらかのものは移建するか小さいかもしくは両方ともだ」ということは成り立たないとすると待ち遠しくない fact10: 「その栽培室は小さいということはないがしかしそれは添付する」ということは偽であるとするとそれは添付しない fact11: 仮にその領国が生めくらないならばそのテルマエ人は生めくらない fact12: もしその栽培室が乗り易いとするとその領国は生めくらない fact13: もしあるものは添付しないとすれば「それは移建するかまたはそれは小さいかもしくはどちらもである」ということは誤っている fact14: もしもこの農家生活が編み芯だがそれが改造計画でないならばあの栽培室は乗り易い fact15: もしも「この農家生活は編み芯であるしその上改造計画である」ということは成り立つとしたらその栽培室は乗り易い
fact14 & fact1 -> int1: その栽培室は乗り易い; int1 & fact12 -> int2: その領国は生めくらない; int2 & fact6 -> int3: そのテルマエ人は生めくらないしその上添付しない; int3 -> int4: そのテルマエ人は添付しない; fact13 -> int5: もし「そのテルマエ人は添付しない」ということは嘘だということはないとしたら「それは移建するかそれは小さい」ということは成り立たない; int4 & int5 -> int6: 「そのテルマエ人は移建するかもしくはそれは小さいかあるいは両方ともだ」ということは成り立つということはない; fact9 -> int7: 「そのテルマエ人は移建するかそれは小さいかもしくは両方である」ということは嘘であるとしたらそれは待ち遠しくない; int6 & int7 -> hypothesis;
この農家生活は生めくらない
$facts$ = fact1: この農家生活は編み芯であるけど改造計画だということはない fact2: もしも「何かは添付しない」ということは真実であるならばそれは移建しない fact3: そのテルマエ人は生めくらない fact4: もしも「そのテルマエ人は添付しない」ということは正しいとすればそれは移建しない fact5: 仮に「「移建しない」ということは事実である」物はあれば「その栽培室は添付しなくて乗り易くない」ということは成り立たない fact6: もしその領国が生めくらないとしたらそのテルマエ人は生めくらなくて加えて添付しない fact7: 仮になにがしかのものは移建しないならば「小さくなくてそれにそれは添付する」ということは本当だということはない fact8: もしも「その領国は脳病でなくて移建しない」ということは嘘ならその栽培室は移建しない fact9: 仮に「なんらかのものは移建するか小さいかもしくは両方ともだ」ということは成り立たないとすると待ち遠しくない fact10: 「その栽培室は小さいということはないがしかしそれは添付する」ということは偽であるとするとそれは添付しない fact11: 仮にその領国が生めくらないならばそのテルマエ人は生めくらない fact12: もしその栽培室が乗り易いとするとその領国は生めくらない fact13: もしあるものは添付しないとすれば「それは移建するかまたはそれは小さいかもしくはどちらもである」ということは誤っている fact14: もしもこの農家生活が編み芯だがそれが改造計画でないならばあの栽培室は乗り易い fact15: もしも「この農家生活は編み芯であるしその上改造計画である」ということは成り立つとしたらその栽培室は乗り易い ; $hypothesis$ = そのテルマエ人は待ち遠しくない ; $proof$ = 
fact14 & fact1 -> int1: その栽培室は乗り易い; int1 & fact12 -> int2: その領国は生めくらない; int2 & fact6 -> int3: そのテルマエ人は生めくらないしその上添付しない; int3 -> int4: そのテルマエ人は添付しない; fact13 -> int5: もし「そのテルマエ人は添付しない」ということは嘘だということはないとしたら「それは移建するかそれは小さい」ということは成り立たない; int4 & int5 -> int6: 「そのテルマエ人は移建するかもしくはそれは小さいかあるいは両方ともだ」ということは成り立つということはない; fact9 -> int7: 「そのテルマエ人は移建するかそれは小さいかもしくは両方である」ということは嘘であるとしたらそれは待ち遠しくない; int6 & int7 -> hypothesis; __PROVED__
事実1: この農家生活は編み芯であるけど改造計画だということはない
事実2: もしも「何かは添付しない」ということは真実であるならばそれは移建しない
事実3: そのテルマエ人は生めくらない
事実4: もしも「そのテルマエ人は添付しない」ということは正しいとすればそれは移建しない
事実5: 仮に「「移建しない」ということは事実である」物はあれば「その栽培室は添付しなくて乗り易くない」ということは成り立たない
事実6: もしその領国が生めくらないとしたらそのテルマエ人は生めくらなくて加えて添付しない
事実7: 仮になにがしかのものは移建しないならば「小さくなくてそれにそれは添付する」ということは本当だということはない
事実8: もしも「その領国は脳病でなくて移建しない」ということは嘘ならその栽培室は移建しない
事実9: 仮に「なんらかのものは移建するか小さいかもしくは両方ともだ」ということは成り立たないとすると待ち遠しくない
事実10: 「その栽培室は小さいということはないがしかしそれは添付する」ということは偽であるとするとそれは添付しない
事実11: 仮にその領国が生めくらないならばそのテルマエ人は生めくらない
事実12: もしその栽培室が乗り易いとするとその領国は生めくらない
事実13: もしあるものは添付しないとすれば「それは移建するかまたはそれは小さいかもしくはどちらもである」ということは誤っている
事実14: もしもこの農家生活が編み芯だがそれが改造計画でないならばあの栽培室は乗り易い
事実15: もしも「この農家生活は編み芯であるしその上改造計画である」ということは成り立つとしたらその栽培室は乗り易い

仮説: そのテルマエ人は待ち遠しくない
1. 事実14と事実1から、推論1: "その栽培室は乗り易い"が導かれる
2. 推論1と事実12から、推論2: "その領国は生めくらない"が導かれる
3. 推論2と事実6から、推論3: "そのテルマエ人は生めくらないしその上添付しない"が導かれる
4. 推論3から、推論4: "そのテルマエ人は添付しない"が導かれる
5. 事実13から、推論5: "もし「そのテルマエ人は添付しない」ということは嘘だということはないとしたら「それは移建するかそれは小さい」ということは成り立たない"が導かれる
6. 推論4と推論5から、推論6: "「そのテルマエ人は移建するかもしくはそれは小さいかあるいは両方ともだ」ということは成り立つということはない"が導かれる
7. 事実9から、推論7: "「そのテルマエ人は移建するかそれは小さいかもしくは両方である」ということは嘘であるとしたらそれは待ち遠しくない"が導かれる
8. 推論6と推論7から、仮説が導かれる

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