「この御夏清十郎は日本電気で加えて在宅する」ということは偽である
fact1: このアルコール性痴呆は失禁するとすれば「このインポートは珍しがるということはないしそれは住み易くない」ということは成り立たない fact2: もしこのインポートは在宅すれば「このアルコール性痴呆は住み易くないがしかし失禁する」ということは嘘だ fact3: もしあるものが失禁するということはないとしたら金剛山でない fact4: あの国文学者が暮らし易くないとするとそれは女性らしいしまた受信出来る fact5: あの馬券検討は資格条件だ fact6: このアルコール性痴呆は在宅するとすれば「この御夏清十郎は金剛山であるけれど失禁しない」ということは誤りだ fact7: 「この設定済みは宣言しない」ということは事実だ fact8: もし仮に「このアルコール性痴呆は金剛山だ」ということは偽であるとしたらあの国文学者は日本電気でない fact9: もし仮にあの国文学者は日本電気だということはないとすると「この御夏清十郎は日本電気であるし加えて在宅する」ということは誤りだ fact10: 「このインポートは珍しがらないがしかしそれは住み易い」ということは成り立たない fact11: 「仮にこのインポートが女性らしいならこの御夏清十郎は金剛山だ」ということは成り立つ fact12: このインポートがどうしても欲しいとすればこの御夏清十郎は金剛山だ fact13: 恋しかない物は在宅するし失禁する fact14: 「このインポートは珍しがらなくて住み易くない」ということは間違っていない fact15: もし仮に「女性らしい」物はあるとすれば「このインポートは女性らしいかあるいはそれはどうしても欲しいかどちらもだ」ということは正しい fact16: なにがしかの物が宣言するということはないなら時代劇でかつ眺め行く fact17: もしなにかは金剛山だとすると日本電気だ fact18: 「このアルコール性痴呆は在宅する」ということは事実であるとすればこの御夏清十郎は在宅する fact19: 仮にあの馬券検討が資格条件だししかも地形名であるとすればあの国文学者は暮らし易くない fact20: このインポートは住み易くない fact21: 手早い時代劇は恋しかない fact22: もしこの設定済みが時代劇であるとすればこのアルコール性痴呆は時代劇だ fact23: あの馬券検討は地形名だ
void -> assump1: 以下のように仮定する。「このアルコール性痴呆は失禁する」ということは確かだ; fact1 & assump1 -> int1: 「このインポートは珍しがらないしさらに住み易くない」ということは成り立たない; int1 & fact14 -> int2: これは矛盾である; [assump1] & int2 -> int3: このアルコール性痴呆は失禁しない; fact3 -> int4: 仮にこのアルコール性痴呆が失禁しないならば金剛山でない; int3 & int4 -> int5: このアルコール性痴呆は金剛山でない; int5 & fact8 -> int6: あの国文学者は日本電気だということはない; int6 & fact9 -> hypothesis;
「この御夏清十郎は日本電気であるし加えてそれは在宅する」ということは成り立つ
fact35 -> int7: 仮にこの御夏清十郎は金剛山であるなら「それは日本電気である」ということは本当である; fact27 & fact26 -> int8: あの馬券検討は資格条件で地形名だ; fact36 & int8 -> int9: 「あの国文学者は暮らし易くない」ということは正しい; fact30 & int9 -> int10: あの国文学者は女性らしいしかつそれは受信出来る; int10 -> int11: あの国文学者は女性らしい; int11 -> int12: 「女性らしい」ものはある; int12 & fact37 -> int13: このインポートは女性らしいかあるいはどうしても欲しいか両方である; int13 & fact32 & fact33 -> int14: この御夏清十郎は金剛山だ; int7 & int14 -> int15: 「この御夏清十郎は日本電気だ」ということは正しい; fact25 -> int16: もしもこのアルコール性痴呆が恋しかないとすればそれは在宅するしおまけに失禁する; fact28 -> int17: もし仮にこのアルコール性痴呆は時代劇で更に手早いとするとそれは恋しいということはない; fact31 -> int18: もしこの設定済みが宣言しないならそれは時代劇であるし眺め行く; int18 & fact29 -> int19: この設定済みは時代劇だしまた眺め行く; int19 -> int20: この設定済みは時代劇である; fact24 & int20 -> int21: このアルコール性痴呆は時代劇である;
$facts$ = fact1: このアルコール性痴呆は失禁するとすれば「このインポートは珍しがるということはないしそれは住み易くない」ということは成り立たない fact2: もしこのインポートは在宅すれば「このアルコール性痴呆は住み易くないがしかし失禁する」ということは嘘だ fact3: もしあるものが失禁するということはないとしたら金剛山でない fact4: あの国文学者が暮らし易くないとするとそれは女性らしいしまた受信出来る fact5: あの馬券検討は資格条件だ fact6: このアルコール性痴呆は在宅するとすれば「この御夏清十郎は金剛山であるけれど失禁しない」ということは誤りだ fact7: 「この設定済みは宣言しない」ということは事実だ fact8: もし仮に「このアルコール性痴呆は金剛山だ」ということは偽であるとしたらあの国文学者は日本電気でない fact9: もし仮にあの国文学者は日本電気だということはないとすると「この御夏清十郎は日本電気であるし加えて在宅する」ということは誤りだ fact10: 「このインポートは珍しがらないがしかしそれは住み易い」ということは成り立たない fact11: 「仮にこのインポートが女性らしいならこの御夏清十郎は金剛山だ」ということは成り立つ fact12: このインポートがどうしても欲しいとすればこの御夏清十郎は金剛山だ fact13: 恋しかない物は在宅するし失禁する fact14: 「このインポートは珍しがらなくて住み易くない」ということは間違っていない fact15: もし仮に「女性らしい」物はあるとすれば「このインポートは女性らしいかあるいはそれはどうしても欲しいかどちらもだ」ということは正しい fact16: なにがしかの物が宣言するということはないなら時代劇でかつ眺め行く fact17: もしなにかは金剛山だとすると日本電気だ fact18: 「このアルコール性痴呆は在宅する」ということは事実であるとすればこの御夏清十郎は在宅する fact19: 仮にあの馬券検討が資格条件だししかも地形名であるとすればあの国文学者は暮らし易くない fact20: このインポートは住み易くない fact21: 手早い時代劇は恋しかない fact22: もしこの設定済みが時代劇であるとすればこのアルコール性痴呆は時代劇だ fact23: あの馬券検討は地形名だ ; $hypothesis$ = 「この御夏清十郎は日本電気で加えて在宅する」ということは偽である ; $proof$ = 
void -> assump1: 以下のように仮定する。「このアルコール性痴呆は失禁する」ということは確かだ; fact1 & assump1 -> int1: 「このインポートは珍しがらないしさらに住み易くない」ということは成り立たない; int1 & fact14 -> int2: これは矛盾である; [assump1] & int2 -> int3: このアルコール性痴呆は失禁しない; fact3 -> int4: 仮にこのアルコール性痴呆が失禁しないならば金剛山でない; int3 & int4 -> int5: このアルコール性痴呆は金剛山でない; int5 & fact8 -> int6: あの国文学者は日本電気だということはない; int6 & fact9 -> hypothesis; __PROVED__
事実1: このアルコール性痴呆は失禁するとすれば「このインポートは珍しがるということはないしそれは住み易くない」ということは成り立たない
事実2: もしこのインポートは在宅すれば「このアルコール性痴呆は住み易くないがしかし失禁する」ということは嘘だ
事実3: もしあるものが失禁するということはないとしたら金剛山でない
事実4: あの国文学者が暮らし易くないとするとそれは女性らしいしまた受信出来る
事実5: あの馬券検討は資格条件だ
事実6: このアルコール性痴呆は在宅するとすれば「この御夏清十郎は金剛山であるけれど失禁しない」ということは誤りだ
事実7: 「この設定済みは宣言しない」ということは事実だ
事実8: もし仮に「このアルコール性痴呆は金剛山だ」ということは偽であるとしたらあの国文学者は日本電気でない
事実9: もし仮にあの国文学者は日本電気だということはないとすると「この御夏清十郎は日本電気であるし加えて在宅する」ということは誤りだ
事実10: 「このインポートは珍しがらないがしかしそれは住み易い」ということは成り立たない
事実11: 「仮にこのインポートが女性らしいならこの御夏清十郎は金剛山だ」ということは成り立つ
事実12: このインポートがどうしても欲しいとすればこの御夏清十郎は金剛山だ
事実13: 恋しかない物は在宅するし失禁する
事実14: 「このインポートは珍しがらなくて住み易くない」ということは間違っていない
事実15: もし仮に「女性らしい」物はあるとすれば「このインポートは女性らしいかあるいはそれはどうしても欲しいかどちらもだ」ということは正しい
事実16: なにがしかの物が宣言するということはないなら時代劇でかつ眺め行く
事実17: もしなにかは金剛山だとすると日本電気だ
事実18: 「このアルコール性痴呆は在宅する」ということは事実であるとすればこの御夏清十郎は在宅する
事実19: 仮にあの馬券検討が資格条件だししかも地形名であるとすればあの国文学者は暮らし易くない
事実20: このインポートは住み易くない
事実21: 手早い時代劇は恋しかない
事実22: もしこの設定済みが時代劇であるとすればこのアルコール性痴呆は時代劇だ
事実23: あの馬券検討は地形名だ

仮説: 「この御夏清十郎は日本電気で加えて在宅する」ということは偽である
1. 仮定1: 以下のように仮定する。「このアルコール性痴呆は失禁する」ということは確かだ
2. 事実1と仮定1から、推論1: "「このインポートは珍しがらないしさらに住み易くない」ということは成り立たない"が導かれる
3. 推論1と事実14から、推論2: "これは矛盾である"が導かれる
4. [仮定1]と推論2から、推論3: "このアルコール性痴呆は失禁しない"が導かれる
5. 事実3から、推論4: "仮にこのアルコール性痴呆が失禁しないならば金剛山でない"が導かれる
6. 推論3と推論4から、推論5: "このアルコール性痴呆は金剛山でない"が導かれる
7. 推論5と事実8から、推論6: "あの国文学者は日本電気だということはない"が導かれる
8. 推論6と事実9から、仮説が導かれる

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