「あの千円単位は戦列であるということはないけれど危険視する」ということは偽である
fact1: もし仮にあの千円単位が繋げればそれは手交するということはない fact2: もしもあの人其々は危険視するなら「あの千円単位は戦列だということはないけれど危険視する」ということは真実でない fact3: もしあの人其々は危険視するとしたら「あの千円単位は戦列であるし加えて危険視する」ということは成り立たない fact4: 何らかの物が危険視するし戦列だとすればあの人其々は摘み入れる fact5: なにがしかの物が程遠くてさらに摘み入れるとしたらこの活動拠点は狭い fact6: 「あの千円単位は戦列でそれは危険視する」ということは成り立たない fact7: もしもあの大東亜共栄圏が繋げるとしたらあの千円単位は繋げる fact8: 「程遠い」物はある fact9: もし仮にある物は返事するということはないとすると「それは摘み入れるしかつ狭くない」ということは誤りだ fact10: あの人其々は作り難い fact11: もしあるものは手交さないなら「口汚くないが返事する」ということは成り立つということはない fact12: この下部大腸は狭い fact13: もしなんらかのものが摘み入れないならそれは狭いかもしくは程遠いということはない fact14: なんらかのものが程遠いとするとそれは戦列でないしかつそれは危険視する fact15: もし仮に「あるものは摘み入れるが狭くない」ということは成り立たないならばそれは程遠い fact16: もしこの活動拠点は狭いなら「あの人其々は危険視する」ということは真実だ fact17: この公家社会は摘み入れる fact18: もしもあの大東亜共栄圏が狭いかもしくはそれが程遠くないか両方だとしたらその左利きは狭い fact19: あの大東亜共栄圏は程遠い fact20: あの分業関係は戦列である fact21: なにがしかのものは話し易い fact22: もし「とある物は口汚くないがそれは返事する」ということは本当でないとするとそれは返事するということはない fact23: あの大東亜共栄圏は摘み入れる
fact19 & fact23 -> int1: あの大東亜共栄圏は程遠くてそれは摘み入れる; int1 -> int2: 「「程遠くて加えて摘み入れる」ものはある」ということは偽でない; int2 & fact5 -> int3: この活動拠点は狭い; int3 & fact16 -> int4: あの人其々は危険視する; int4 & fact2 -> hypothesis;
その左利きは狭い
fact25 -> int5: 仮にあの大東亜共栄圏が摘み入れるということはないならばそれは狭いかまたはそれは程遠くないかあるいはどちらもである;
$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$ = 
fact19 & fact23 -> int1: あの大東亜共栄圏は程遠くてそれは摘み入れる; int1 -> int2: 「「程遠くて加えて摘み入れる」ものはある」ということは偽でない; int2 & fact5 -> int3: この活動拠点は狭い; int3 & fact16 -> int4: あの人其々は危険視する; int4 & fact2 -> 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. 事実19と事実23から、推論1: "あの大東亜共栄圏は程遠くてそれは摘み入れる"が導かれる
2. 推論1から、推論2: "「「程遠くて加えて摘み入れる」ものはある」ということは偽でない"が導かれる
3. 推論2と事実5から、推論3: "この活動拠点は狭い"が導かれる
4. 推論3と事実16から、推論4: "あの人其々は危険視する"が導かれる
5. 推論4と事実2から、仮説が導かれる

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