その集落遺跡は宜しいということはないかもしくは青しないか両方ともである
fact1: もし仮に「その集落遺跡は疲れ易くないけど宜しい」ということは成り立たないとしたら疲れ易い fact2: その集落遺跡は両替しない fact3: 何らかのものはど偉いとすれば「それは小高いしさらにそれは疲れ易くない」ということは誤っている fact4: その祭室は両替する fact5: 「あの諸技法は疲れ易くないが小高い」ということは誤りだ fact6: 「もしも「何らかのものは疲れ易くないけれど国家建設である」ということは本当でないとすると疲れ易い」ということは成り立つ fact7: その祭室はど偉くない fact8: あの諸技法が小高くないとすればその集落遺跡は青しない fact9: あの諸技法は両替する fact10: あの諸技法は排尿困難でない fact11: もしも「その祭室は青しない」ということは正しいなら「それは国家建設だしど偉い」ということは間違いだ fact12: あの諸技法はど偉くて加えて国家建設である fact13: 仮にあの諸技法が両替するしかつそれが小高いとすればその祭室は疲れ易くない fact14: もし「その祭室はど偉くない」ということは正しいならば「「疲れ易くないけれど国家建設である」ということは成り立つ」ということは誤っている fact15: あのぱちは両替する
void -> assump1: 以下のように仮定する。あの諸技法は小高い; fact9 & assump1 -> int1: あの諸技法は両替するしそれは小高い; int1 & fact13 -> int2: その祭室は疲れ易くない; fact6 -> int3: 仮に「その祭室は疲れ易くないけど国家建設だ」ということは真実でないならそれは疲れ易い; fact14 & fact7 -> int4: 「その祭室は疲れ易くないけれどそれは国家建設である」ということは間違っている; int3 & int4 -> int5: その祭室は疲れ易い; int2 & int5 -> int6: これは矛盾である; [assump1] & int6 -> int7: あの諸技法は小高くない; int7 & fact8 -> int8: 「その集落遺跡は青しない」ということは成り立つ; int8 -> hypothesis;
「その集落遺跡は宜しくないかあるいは青しということはないかもしくは両方である」ということは誤っている
fact16 -> int9: 「あの諸技法はど偉い」ということは事実であるとすると「それは小高くて加えて疲れ易くない」ということは成り立たない; fact17 -> int10: あの諸技法はど偉い; int9 & int10 -> int11: 「あの諸技法は小高いがしかし疲れ易くない」ということは偽である;
$facts$ = fact1: もし仮に「その集落遺跡は疲れ易くないけど宜しい」ということは成り立たないとしたら疲れ易い fact2: その集落遺跡は両替しない fact3: 何らかのものはど偉いとすれば「それは小高いしさらにそれは疲れ易くない」ということは誤っている fact4: その祭室は両替する fact5: 「あの諸技法は疲れ易くないが小高い」ということは誤りだ fact6: 「もしも「何らかのものは疲れ易くないけれど国家建設である」ということは本当でないとすると疲れ易い」ということは成り立つ fact7: その祭室はど偉くない fact8: あの諸技法が小高くないとすればその集落遺跡は青しない fact9: あの諸技法は両替する fact10: あの諸技法は排尿困難でない fact11: もしも「その祭室は青しない」ということは正しいなら「それは国家建設だしど偉い」ということは間違いだ fact12: あの諸技法はど偉くて加えて国家建設である fact13: 仮にあの諸技法が両替するしかつそれが小高いとすればその祭室は疲れ易くない fact14: もし「その祭室はど偉くない」ということは正しいならば「「疲れ易くないけれど国家建設である」ということは成り立つ」ということは誤っている fact15: あのぱちは両替する ; $hypothesis$ = その集落遺跡は宜しいということはないかもしくは青しないか両方ともである ; $proof$ = 
void -> assump1: 以下のように仮定する。あの諸技法は小高い; fact9 & assump1 -> int1: あの諸技法は両替するしそれは小高い; int1 & fact13 -> int2: その祭室は疲れ易くない; fact6 -> int3: 仮に「その祭室は疲れ易くないけど国家建設だ」ということは真実でないならそれは疲れ易い; fact14 & fact7 -> int4: 「その祭室は疲れ易くないけれどそれは国家建設である」ということは間違っている; int3 & int4 -> int5: その祭室は疲れ易い; int2 & int5 -> int6: これは矛盾である; [assump1] & int6 -> int7: あの諸技法は小高くない; int7 & fact8 -> int8: 「その集落遺跡は青しない」ということは成り立つ; int8 -> hypothesis; __PROVED__
事実1: もし仮に「その集落遺跡は疲れ易くないけど宜しい」ということは成り立たないとしたら疲れ易い
事実2: その集落遺跡は両替しない
事実3: 何らかのものはど偉いとすれば「それは小高いしさらにそれは疲れ易くない」ということは誤っている
事実4: その祭室は両替する
事実5: 「あの諸技法は疲れ易くないが小高い」ということは誤りだ
事実6: 「もしも「何らかのものは疲れ易くないけれど国家建設である」ということは本当でないとすると疲れ易い」ということは成り立つ
事実7: その祭室はど偉くない
事実8: あの諸技法が小高くないとすればその集落遺跡は青しない
事実9: あの諸技法は両替する
事実10: あの諸技法は排尿困難でない
事実11: もしも「その祭室は青しない」ということは正しいなら「それは国家建設だしど偉い」ということは間違いだ
事実12: あの諸技法はど偉くて加えて国家建設である
事実13: 仮にあの諸技法が両替するしかつそれが小高いとすればその祭室は疲れ易くない
事実14: もし「その祭室はど偉くない」ということは正しいならば「「疲れ易くないけれど国家建設である」ということは成り立つ」ということは誤っている
事実15: あのぱちは両替する

仮説: その集落遺跡は宜しいということはないかもしくは青しないか両方ともである
1. 仮定1: 以下のように仮定する。あの諸技法は小高い
2. 事実9と仮定1から、推論1: "あの諸技法は両替するしそれは小高い"が導かれる
3. 推論1と事実13から、推論2: "その祭室は疲れ易くない"が導かれる
4. 事実6から、推論3: "仮に「その祭室は疲れ易くないけど国家建設だ」ということは真実でないならそれは疲れ易い"が導かれる
5. 事実14と事実7から、推論4: "「その祭室は疲れ易くないけれどそれは国家建設である」ということは間違っている"が導かれる
6. 推論3と推論4から、推論5: "その祭室は疲れ易い"が導かれる
7. 推論2と推論5から、推論6: "これは矛盾である"が導かれる
8. [仮定1]と推論6から、推論7: "あの諸技法は小高くない"が導かれる
9. 推論7と事実8から、推論8: "「その集落遺跡は青しない」ということは成り立つ"が導かれる
10. 推論8から、仮説が導かれる

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