「御気の毒様だしさらに自書する」物はある
fact1: その二重母音は自書する fact2: あの阿弥陀寺は跳ね起きないけど根こぎだ fact3: もしその二重母音が御気の毒様でないとしたらあの阿弥陀寺は跳ね起きない一方でそれは狭苦しい fact4: もしもあるものが跳ね起きないが狭苦しいならばこの時間は着しない fact5: その教科書行政は自書する fact6: もしもこの時間が根こぎだとすればそれは着する fact7: この時間は根こぎである fact8: 仮に「跳ね起きるし狭苦しい」物があるとすればあの時間は着しない
void -> assump1: 以下のように仮定する。その二重母音は御気の毒様でない; fact3 & assump1 -> int1: あの阿弥陀寺は跳ね起きない一方で狭苦しい; int1 -> int2: 何らかのものは跳ね起きないが狭苦しい; int2 & fact4 -> int3: この時間は着しない; fact7 & fact6 -> int4: この時間は着する; int3 & int4 -> int5: これは矛盾である; [assump1] & int5 -> int6: その二重母音は御気の毒様だ; int6 & fact1 -> int7: その二重母音は御気の毒様だし自書する; int7 -> hypothesis;
$facts$ = fact1: その二重母音は自書する fact2: あの阿弥陀寺は跳ね起きないけど根こぎだ fact3: もしその二重母音が御気の毒様でないとしたらあの阿弥陀寺は跳ね起きない一方でそれは狭苦しい fact4: もしもあるものが跳ね起きないが狭苦しいならばこの時間は着しない fact5: その教科書行政は自書する fact6: もしもこの時間が根こぎだとすればそれは着する fact7: この時間は根こぎである fact8: 仮に「跳ね起きるし狭苦しい」物があるとすればあの時間は着しない ; $hypothesis$ = 「御気の毒様だしさらに自書する」物はある ; $proof$ = 
void -> assump1: 以下のように仮定する。その二重母音は御気の毒様でない; fact3 & assump1 -> int1: あの阿弥陀寺は跳ね起きない一方で狭苦しい; int1 -> int2: 何らかのものは跳ね起きないが狭苦しい; int2 & fact4 -> int3: この時間は着しない; fact7 & fact6 -> int4: この時間は着する; int3 & int4 -> int5: これは矛盾である; [assump1] & int5 -> int6: その二重母音は御気の毒様だ; int6 & fact1 -> int7: その二重母音は御気の毒様だし自書する; int7 -> hypothesis; __PROVED__
事実1: その二重母音は自書する
事実2: あの阿弥陀寺は跳ね起きないけど根こぎだ
事実3: もしその二重母音が御気の毒様でないとしたらあの阿弥陀寺は跳ね起きない一方でそれは狭苦しい
事実4: もしもあるものが跳ね起きないが狭苦しいならばこの時間は着しない
事実5: その教科書行政は自書する
事実6: もしもこの時間が根こぎだとすればそれは着する
事実7: この時間は根こぎである
事実8: 仮に「跳ね起きるし狭苦しい」物があるとすればあの時間は着しない

仮説: 「御気の毒様だしさらに自書する」物はある
1. 仮定1: 以下のように仮定する。その二重母音は御気の毒様でない
2. 事実3と仮定1から、推論1: "あの阿弥陀寺は跳ね起きない一方で狭苦しい"が導かれる
3. 推論1から、推論2: "何らかのものは跳ね起きないが狭苦しい"が導かれる
4. 推論2と事実4から、推論3: "この時間は着しない"が導かれる
5. 事実7と事実6から、推論4: "この時間は着する"が導かれる
6. 推論3と推論4から、推論5: "これは矛盾である"が導かれる
7. [仮定1]と推論5から、推論6: "その二重母音は御気の毒様だ"が導かれる
8. 推論6と事実1から、推論7: "その二重母音は御気の毒様だし自書する"が導かれる
9. 推論7から、仮説が導かれる

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