このγＣは液量であるということはない
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: もしこのγＣは歩き難くてさり気無いなら放牧しない
fact6 & fact22 -> int1: この警防団は歩き難い; int1 -> int2: この警防団は歩き難いかもしくはそれは捻り回すかもしくは両方ともである; int2 & fact4 -> int3: あのオーサーは行為しない; int3 & fact11 -> int4: このγＣは攻勢するがそれは行為するということはない; fact17 -> int5: もし仮にこのγＣは攻勢する一方でそれは行為しないならさり気無い; int4 & int5 -> int6: このγＣはさり気無い; fact2 & fact10 -> int7: このγＣは一枚辺りである; int6 & int7 -> int8: このγＣはさり気無いし一枚辺りである; fact19 -> int9: もし仮にこのγＣはさり気無くて一枚辺りだとするとそれは液量でない; int8 & int9 -> 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: もしこのγＣは歩き難くてさり気無いなら放牧しない ; $hypothesis$ = このγＣは液量であるということはない ; $proof$ = 
fact6 & fact22 -> int1: この警防団は歩き難い; int1 -> int2: この警防団は歩き難いかもしくはそれは捻り回すかもしくは両方ともである; int2 & fact4 -> int3: あのオーサーは行為しない; int3 & fact11 -> int4: このγＣは攻勢するがそれは行為するということはない; fact17 -> int5: もし仮にこのγＣは攻勢する一方でそれは行為しないならさり気無い; int4 & int5 -> int6: このγＣはさり気無い; fact2 & fact10 -> int7: このγＣは一枚辺りである; int6 & int7 -> int8: このγＣはさり気無いし一枚辺りである; fact19 -> int9: もし仮にこのγＣはさり気無くて一枚辺りだとするとそれは液量でない; int8 & int9 -> 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: もしこのγＣは歩き難くてさり気無いなら放牧しない

仮説: このγＣは液量であるということはない
1. 事実6と事実22から、推論1: "この警防団は歩き難い"が導かれる
2. 推論1から、推論2: "この警防団は歩き難いかもしくはそれは捻り回すかもしくは両方ともである"が導かれる
3. 推論2と事実4から、推論3: "あのオーサーは行為しない"が導かれる
4. 推論3と事実11から、推論4: "このγＣは攻勢するがそれは行為するということはない"が導かれる
5. 事実17から、推論5: "もし仮にこのγＣは攻勢する一方でそれは行為しないならさり気無い"が導かれる
6. 推論4と推論5から、推論6: "このγＣはさり気無い"が導かれる
7. 事実2と事実10から、推論7: "このγＣは一枚辺りである"が導かれる
8. 推論6と推論7から、推論8: "このγＣはさり気無いし一枚辺りである"が導かれる
9. 事実19から、推論9: "もし仮にこのγＣはさり気無くて一枚辺りだとするとそれは液量でない"が導かれる
10. 推論8と推論9から、仮説が導かれる

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