その三ヘクタール以下は様良くない
fact1: 「この乱杭歯は実際上であるしまたそれは色ガラスである」ということは偽だ fact2: もし仮に「この乱杭歯は実際上だ一方で色ガラスでない」ということは偽であるならその三ヘクタール以下は様良くない fact3: もしもその侍従長が嫌味っぽいとするとみっともない fact4: もし「とある物は逗留しなくて様良くない」ということは間違っているとするとそれは様良し fact5: 「この上総守殿は逗留しない」ということは事実であるならばあの税務調査は色ガラスだ fact6: 仮にこの税務調査は色ガラスだとすると「この乱杭歯は実際上であるがしかし色ガラスでない」ということは間違っている fact7: もし仮にこの上総守殿が逗留すればその侍従長は嫌味っぽい fact8: この上総守殿はみっともなくない fact9: 「その侍従長はみっともないかもしくは物凄ーくないかまたは両方だ」ということは成り立つということはない
void -> assump1: 以下のように仮定する。この上総守殿は逗留する; fact7 & assump1 -> int1: その侍従長は嫌味っぽい; int1 & fact3 -> int2: その侍従長はみっともない; int2 -> int3: その侍従長はみっともないか物凄ーいということはないかどちらもだ; int3 & fact9 -> int4: これは矛盾である; [assump1] & int4 -> int5: この上総守殿は逗留しない; int5 & fact5 -> int6: この税務調査は色ガラスである; int6 & fact6 -> int7: 「「この乱杭歯は実際上だが色ガラスでない」ということは成り立たない」ということは事実である; int7 & fact2 -> hypothesis;
その三ヘクタール以下は様良し
fact11 -> int8: もし「その三ヘクタール以下は逗留しないし様良しない」ということは誤っているとすれば様良し;
$facts$ = fact1: 「この乱杭歯は実際上であるしまたそれは色ガラスである」ということは偽だ fact2: もし仮に「この乱杭歯は実際上だ一方で色ガラスでない」ということは偽であるならその三ヘクタール以下は様良くない fact3: もしもその侍従長が嫌味っぽいとするとみっともない fact4: もし「とある物は逗留しなくて様良くない」ということは間違っているとするとそれは様良し fact5: 「この上総守殿は逗留しない」ということは事実であるならばあの税務調査は色ガラスだ fact6: 仮にこの税務調査は色ガラスだとすると「この乱杭歯は実際上であるがしかし色ガラスでない」ということは間違っている fact7: もし仮にこの上総守殿が逗留すればその侍従長は嫌味っぽい fact8: この上総守殿はみっともなくない fact9: 「その侍従長はみっともないかもしくは物凄ーくないかまたは両方だ」ということは成り立つということはない ; $hypothesis$ = その三ヘクタール以下は様良くない ; $proof$ = 
void -> assump1: 以下のように仮定する。この上総守殿は逗留する; fact7 & assump1 -> int1: その侍従長は嫌味っぽい; int1 & fact3 -> int2: その侍従長はみっともない; int2 -> int3: その侍従長はみっともないか物凄ーいということはないかどちらもだ; int3 & fact9 -> int4: これは矛盾である; [assump1] & int4 -> int5: この上総守殿は逗留しない; int5 & fact5 -> int6: この税務調査は色ガラスである; int6 & fact6 -> int7: 「「この乱杭歯は実際上だが色ガラスでない」ということは成り立たない」ということは事実である; int7 & fact2 -> hypothesis; __PROVED__
事実1: 「この乱杭歯は実際上であるしまたそれは色ガラスである」ということは偽だ
事実2: もし仮に「この乱杭歯は実際上だ一方で色ガラスでない」ということは偽であるならその三ヘクタール以下は様良くない
事実3: もしもその侍従長が嫌味っぽいとするとみっともない
事実4: もし「とある物は逗留しなくて様良くない」ということは間違っているとするとそれは様良し
事実5: 「この上総守殿は逗留しない」ということは事実であるならばあの税務調査は色ガラスだ
事実6: 仮にこの税務調査は色ガラスだとすると「この乱杭歯は実際上であるがしかし色ガラスでない」ということは間違っている
事実7: もし仮にこの上総守殿が逗留すればその侍従長は嫌味っぽい
事実8: この上総守殿はみっともなくない
事実9: 「その侍従長はみっともないかもしくは物凄ーくないかまたは両方だ」ということは成り立つということはない

仮説: その三ヘクタール以下は様良くない
1. 仮定1: 以下のように仮定する。この上総守殿は逗留する
2. 事実7と仮定1から、推論1: "その侍従長は嫌味っぽい"が導かれる
3. 推論1と事実3から、推論2: "その侍従長はみっともない"が導かれる
4. 推論2から、推論3: "その侍従長はみっともないか物凄ーいということはないかどちらもだ"が導かれる
5. 推論3と事実9から、推論4: "これは矛盾である"が導かれる
6. [仮定1]と推論4から、推論5: "この上総守殿は逗留しない"が導かれる
7. 推論5と事実5から、推論6: "この税務調査は色ガラスである"が導かれる
8. 推論6と事実6から、推論7: "「「この乱杭歯は実際上だが色ガラスでない」ということは成り立たない」ということは事実である"が導かれる
9. 推論7と事実2から、仮説が導かれる

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