あの左向きは吹き付けない
fact1: もしもこの連関性は懐こいということはないとすれば「高め合わなくてそれは返りらしい」ということは成り立たない fact2: もしこの連関性は真っ黒いということはないとすると「その動詞はネットワーク社会だ」ということは真実だ fact3: もし仮になにがしかの物が終うないならばそれは困り切らないし更にそれは塵紙だ fact4: もし何らかの物が困り切らないけど塵紙であるならば真っ黒くない fact5: 仮にあの左向きは吹き付けるとすれば「それは気まずいということはなくて酒臭い」ということは成り立たない fact6: この連関性は懐こくない fact7: 「あの左向きは気まずいがしかし酒臭くない」ということは成り立たない fact8: その動詞は酒臭い fact9: もしその霞が気弱いということはないとするとあの左向きは家庭児童相談室だということはない fact10: もし仮になんらかの物はネットワーク社会であるならそれは調節し易い fact11: もしも「なんらかのものは高め合わないけれど返りらしい」ということは成り立たないとしたら「「返りらしい」ということは成り立つ」ということは成り立たない fact12: もし仮にある物は突出するか精算するということはないかまたは両方だとするとそれは吹き付ける fact13: 返りらしくない物は終うない fact14: 仮に「「その動詞は家庭児童相談室でかつタイトルらしい」ということは誤りだ」ということは本当であるならばそれは家庭児童相談室でない fact15: 仮に「その動詞は中取りするけれど揶揄しない」ということは成り立たないとすると「その霞は期し難くない」ということは本当である fact16: 「その動詞は家庭児童相談室であるしタイトルらしい」ということは成り立たない fact17: もしとあるものが突出するとしたらそれは精算するか吹き付けない fact18: もし仮にとある物は期し難くないならそれは気弱くないかあるいはタイトルらしくないか両方ともだ fact19: もしも「あの左向きは気まずくないしそれは酒臭くない」ということは誤っていればその霞は精算しない fact20: もしもあの左向きは吹き付ければ「気まずいということはなくて酒臭くない」ということは事実と異なる fact21: 仮になんらかの物は調節し易いとすれば「それは中取りするしそれに揶揄しない」ということは成り立たない fact22: 仮になんらかのものが家庭児童相談室でないとすれば突出するかあるいは精算するということはない fact23: もし仮にその霞が精算しないならその動詞は突出する fact24: その動詞が突出するとしたら家庭児童相談室だ
void -> assump1: 以下のように仮定する。あの左向きは吹き付ける; fact20 & assump1 -> int1: 「あの左向きは気まずくなくて酒臭いということはない」ということは成り立たない; int1 & fact19 -> int2: その霞は精算しない; int2 & fact23 -> int3: その動詞は突出する; int3 & fact24 -> int4: その動詞は家庭児童相談室だ; fact16 & fact14 -> int5: その動詞は家庭児童相談室でない; int4 & int5 -> int6: これは矛盾である; [assump1] & int6 -> hypothesis;
あの左向きは吹き付ける
fact30 -> int7: もしもあの左向きが突出するか精算しないとすると吹き付ける; fact35 -> int8: もし仮にあの左向きが家庭児童相談室でないとすると突出するか精算しないかもしくはどちらもだ; fact25 -> int9: もしその霞は期し難くないとすると気弱くないかタイトルらしくないかまたはどちらもである; fact38 -> int10: その動詞は調節し易いなら「中取りするしおまけにそれは揶揄しない」ということは誤りである; fact34 -> int11: もしも「その動詞はネットワーク社会である」ということは成り立てばそれは調節し易い; fact37 -> int12: 「もしもこの連関性が困り切るということはないが塵紙だとすればこの連関性は真っ黒くない」ということは成り立つ; fact36 -> int13: 仮にこの連関性が終うないとすれば困り切るということはないがしかし塵紙だ; fact33 -> int14: もしもこの連関性が返りらしくないとすると終うない; fact26 -> int15: 仮に「この連関性は高め合わないけれどそれは返りらしい」ということは偽であるとすれば返りらしいということはない; fact32 & fact29 -> int16: 「この連関性は高め合うということはないがしかしそれは返りらしい」ということは偽だ; int15 & int16 -> int17: この連関性は返りらしくない; int14 & int17 -> int18: この連関性は終うない; int13 & int18 -> int19: この連関性は困り切らない一方で塵紙である; int12 & int19 -> int20: この連関性は真っ黒くない; fact27 & int20 -> int21: その動詞はネットワーク社会である; int11 & int21 -> int22: その動詞は調節し易い; int10 & int22 -> int23: 「その動詞は中取りするけど揶揄しない」ということは誤っている; fact31 & int23 -> int24: その霞は期し難くない; int9 & int24 -> int25: その霞は気弱くないかもしくはタイトルらしくないかもしくは両方ともである;
$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: その動詞が突出するとしたら家庭児童相談室だ ; $hypothesis$ = あの左向きは吹き付けない ; $proof$ = 
void -> assump1: 以下のように仮定する。あの左向きは吹き付ける; fact20 & assump1 -> int1: 「あの左向きは気まずくなくて酒臭いということはない」ということは成り立たない; int1 & fact19 -> int2: その霞は精算しない; int2 & fact23 -> int3: その動詞は突出する; int3 & fact24 -> int4: その動詞は家庭児童相談室だ; fact16 & fact14 -> int5: その動詞は家庭児童相談室でない; int4 & int5 -> int6: これは矛盾である; [assump1] & int6 -> 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: その動詞が突出するとしたら家庭児童相談室だ

仮説: あの左向きは吹き付けない
1. 仮定1: 以下のように仮定する。あの左向きは吹き付ける
2. 事実20と仮定1から、推論1: "「あの左向きは気まずくなくて酒臭いということはない」ということは成り立たない"が導かれる
3. 推論1と事実19から、推論2: "その霞は精算しない"が導かれる
4. 推論2と事実23から、推論3: "その動詞は突出する"が導かれる
5. 推論3と事実24から、推論4: "その動詞は家庭児童相談室だ"が導かれる
6. 事実16と事実14から、推論5: "その動詞は家庭児童相談室でない"が導かれる
7. 推論4と推論5から、推論6: "これは矛盾である"が導かれる
8. [仮定1]と推論6から、仮説が導かれる

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