「「黒っぽくないしかつ注意深くない」ということは成り立たない」ものはある
fact1: もし「「狡賢いということはないが腕組みする」ということは事実と異なる」物があればこの寺社奉行は腕組みするということはない fact2: 「もしも「この虜囚は逸るがしかし注意深くない」ということは嘘だとするとその阿南陸相は黒っぽくない」ということは事実だ fact3: 仮にあの湖北一向一揆が社会的自己であるということはないならばその揮発性物質は逆上せ上がるし背景画像だ fact4: 「焦れったい」ものはあるとしたら「その特攻基地は黒っぽくないがしかしそれは注意深い」ということは成り立たない fact5: もしも「なにがしかのものは社会的自己であるけど焦れったくない」ということは成り立たないとすればそれは社会的自己でない fact6: もしあの湖北一向一揆が逆上せ上がるとすればあの阿南陸相は背景画像である fact7: もし仮にその林道さんが注意深いとすれば社会的自己でない fact8: 背景画像は社会的自己でない fact9: 「「狡賢くないし腕組みする」ということは確かでない」ものはある fact10: 「「黒っぽいし加えて注意深いということはない」ということは嘘である」物はある fact11: 仮に何らかのものは注意でないなら「逸るけど注意深いということはない」ということは真実でない fact12: もしも「なんらかの物は目新しいがそれは出土しない」ということは偽であるならばそれは注意でない fact13: 仮に「薄明るい」ものがあるとするとその特攻基地は生成し易い fact14: もしこの寺社奉行が社会的自己ならばその林道さんは社会的自己である fact15: この寺社奉行は逸るか社会的自己であるかもしくは両方ともである fact16: もしも何かは焦れったいならば「その特攻基地は黒っぽいがそれは注意深くない」ということは誤っている fact17: もし仮に「焦れったい」ものはあるとすれば「「その特攻基地は黒っぽくないし注意深くない」ということは事実と異なる」ということは確かだ fact18: 「その特攻基地は黒っぽいがしかしそれは注意深くない」ということは成り立たない fact19: 仮にあの湖北一向一揆が逆上せ上がらないならばあの虜囚は焦れったい fact20: 「その特攻基地は黒っぽくないがそれは注意深い」ということは誤りだ fact21: 「腕組みしない」ものがあればその林道さんは薄明るいし類似商標だ fact22: 仮に「この寺社奉行は逸る」ということは確かならばその林道さんは社会的自己である fact23: その林道さんが社会的自己であるとするとその阿南陸相は社会的自己だ fact24: 何かは黒っぽくなくてしかもそれは注意深くない fact25: 「「黒っぽくなくてかつ注意深い」ということは事実と異なる」物はある fact26: もし仮に何かは逆上せ上がれば標本平均だ fact27: 仮にその阿南陸相は黒っぽくないとしたら「あの湖北一向一揆は社会的自己であるがしかし焦れったくない」ということは本当でない fact28: 「生成し易い」物はあれば「この虜囚は目新しいがそれは出土しない」ということは間違っている
void -> assump1: 以下のように仮定する。あの湖北一向一揆は逆上せ上がる; fact6 & assump1 -> int1: その阿南陸相は背景画像だ; fact8 -> int2: もし仮にその阿南陸相は背景画像であるなら社会的自己でない; int1 & int2 -> int3: その阿南陸相は社会的自己でない; fact14 & fact22 & fact15 -> int4: その林道さんは社会的自己である; int4 & fact23 -> int5: その阿南陸相は社会的自己だ; int3 & int5 -> int6: これは矛盾である; [assump1] & int6 -> int7: あの湖北一向一揆は逆上せ上がらない; int7 & fact19 -> int8: この虜囚は焦れったい; int8 -> int9: 「焦れったい」物はある; int9 & fact17 -> int10: 「その特攻基地は黒っぽくないし加えて注意深くない」ということは誤っている; int10 -> hypothesis;
その揮発性物質は標本平均である
fact40 -> int11: もしも「その揮発性物質は逆上せ上がる」ということは本当であるとすれば標本平均である; fact32 -> int12: もし仮に「あの湖北一向一揆は社会的自己だがしかし焦れったくない」ということは成り立たないならば社会的自己でない; fact33 -> int13: 仮にこの虜囚は注意でないなら「それは逸るしそれは注意深くない」ということは成り立たない; fact35 -> int14: もし仮に「「この虜囚は目新しいがしかし出土しない」ということは偽である」ということは真実であるとすれば注意でない; fact30 & fact39 -> int15: この寺社奉行は腕組みしない; int15 -> int16: 「腕組みしない」物はある; int16 & fact31 -> int17: その林道さんは薄明るくてそれに類似商標である; int17 -> int18: その林道さんは薄明るい; int18 -> int19: 「薄明るい」物はある; int19 & fact37 -> int20: その特攻基地は生成し易い; int20 -> int21: 何らかのものは生成し易い; int21 & fact29 -> int22: 「この虜囚は目新しいけれどそれは出土しない」ということは嘘である; int14 & int22 -> int23: この虜囚は注意であるということはない; int13 & int23 -> int24: 「この虜囚は逸るがしかし注意深くない」ということは成り立たない; fact36 & int24 -> int25: その阿南陸相は黒っぽいということはない; fact34 & int25 -> int26: 「あの湖北一向一揆は社会的自己だ一方で焦れったくない」ということは偽だ; int12 & int26 -> int27: あの湖北一向一揆は社会的自己でない; fact38 & int27 -> int28: その揮発性物質は逆上せ上がるしかつ背景画像だ; int28 -> int29: その揮発性物質は逆上せ上がる; int11 & int29 -> hypothesis;
$facts$ = fact1: もし「「狡賢いということはないが腕組みする」ということは事実と異なる」物があればこの寺社奉行は腕組みするということはない fact2: 「もしも「この虜囚は逸るがしかし注意深くない」ということは嘘だとするとその阿南陸相は黒っぽくない」ということは事実だ fact3: 仮にあの湖北一向一揆が社会的自己であるということはないならばその揮発性物質は逆上せ上がるし背景画像だ fact4: 「焦れったい」ものはあるとしたら「その特攻基地は黒っぽくないがしかしそれは注意深い」ということは成り立たない fact5: もしも「なにがしかのものは社会的自己であるけど焦れったくない」ということは成り立たないとすればそれは社会的自己でない fact6: もしあの湖北一向一揆が逆上せ上がるとすればあの阿南陸相は背景画像である fact7: もし仮にその林道さんが注意深いとすれば社会的自己でない fact8: 背景画像は社会的自己でない fact9: 「「狡賢くないし腕組みする」ということは確かでない」ものはある fact10: 「「黒っぽいし加えて注意深いということはない」ということは嘘である」物はある fact11: 仮に何らかのものは注意でないなら「逸るけど注意深いということはない」ということは真実でない fact12: もしも「なんらかの物は目新しいがそれは出土しない」ということは偽であるならばそれは注意でない fact13: 仮に「薄明るい」ものがあるとするとその特攻基地は生成し易い fact14: もしこの寺社奉行が社会的自己ならばその林道さんは社会的自己である fact15: この寺社奉行は逸るか社会的自己であるかもしくは両方ともである fact16: もしも何かは焦れったいならば「その特攻基地は黒っぽいがそれは注意深くない」ということは誤っている fact17: もし仮に「焦れったい」ものはあるとすれば「「その特攻基地は黒っぽくないし注意深くない」ということは事実と異なる」ということは確かだ fact18: 「その特攻基地は黒っぽいがしかしそれは注意深くない」ということは成り立たない fact19: 仮にあの湖北一向一揆が逆上せ上がらないならばあの虜囚は焦れったい fact20: 「その特攻基地は黒っぽくないがそれは注意深い」ということは誤りだ fact21: 「腕組みしない」ものがあればその林道さんは薄明るいし類似商標だ fact22: 仮に「この寺社奉行は逸る」ということは確かならばその林道さんは社会的自己である fact23: その林道さんが社会的自己であるとするとその阿南陸相は社会的自己だ fact24: 何かは黒っぽくなくてしかもそれは注意深くない fact25: 「「黒っぽくなくてかつ注意深い」ということは事実と異なる」物はある fact26: もし仮に何かは逆上せ上がれば標本平均だ fact27: 仮にその阿南陸相は黒っぽくないとしたら「あの湖北一向一揆は社会的自己であるがしかし焦れったくない」ということは本当でない fact28: 「生成し易い」物はあれば「この虜囚は目新しいがそれは出土しない」ということは間違っている ; $hypothesis$ = 「「黒っぽくないしかつ注意深くない」ということは成り立たない」ものはある ; $proof$ = 
void -> assump1: 以下のように仮定する。あの湖北一向一揆は逆上せ上がる; fact6 & assump1 -> int1: その阿南陸相は背景画像だ; fact8 -> int2: もし仮にその阿南陸相は背景画像であるなら社会的自己でない; int1 & int2 -> int3: その阿南陸相は社会的自己でない; fact14 & fact22 & fact15 -> int4: その林道さんは社会的自己である; int4 & fact23 -> int5: その阿南陸相は社会的自己だ; int3 & int5 -> int6: これは矛盾である; [assump1] & int6 -> int7: あの湖北一向一揆は逆上せ上がらない; int7 & fact19 -> int8: この虜囚は焦れったい; int8 -> int9: 「焦れったい」物はある; int9 & fact17 -> int10: 「その特攻基地は黒っぽくないし加えて注意深くない」ということは誤っている; int10 -> 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: その林道さんが社会的自己であるとするとその阿南陸相は社会的自己だ
事実24: 何かは黒っぽくなくてしかもそれは注意深くない
事実25: 「「黒っぽくなくてかつ注意深い」ということは事実と異なる」物はある
事実26: もし仮に何かは逆上せ上がれば標本平均だ
事実27: 仮にその阿南陸相は黒っぽくないとしたら「あの湖北一向一揆は社会的自己であるがしかし焦れったくない」ということは本当でない
事実28: 「生成し易い」物はあれば「この虜囚は目新しいがそれは出土しない」ということは間違っている

仮説: 「「黒っぽくないしかつ注意深くない」ということは成り立たない」ものはある
1. 仮定1: 以下のように仮定する。あの湖北一向一揆は逆上せ上がる
2. 事実6と仮定1から、推論1: "その阿南陸相は背景画像だ"が導かれる
3. 事実8から、推論2: "もし仮にその阿南陸相は背景画像であるなら社会的自己でない"が導かれる
4. 推論1と推論2から、推論3: "その阿南陸相は社会的自己でない"が導かれる
5. 事実14と事実22と事実15から、推論4: "その林道さんは社会的自己である"が導かれる
6. 推論4と事実23から、推論5: "その阿南陸相は社会的自己だ"が導かれる
7. 推論3と推論5から、推論6: "これは矛盾である"が導かれる
8. [仮定1]と推論6から、推論7: "あの湖北一向一揆は逆上せ上がらない"が導かれる
9. 推論7と事実19から、推論8: "この虜囚は焦れったい"が導かれる
10. 推論8から、推論9: "「焦れったい」物はある"が導かれる
11. 推論9と事実17から、推論10: "「その特攻基地は黒っぽくないし加えて注意深くない」ということは誤っている"が導かれる
12. 推論10から、仮説が導かれる

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