この白石城は徹底介入しない
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: 「その天頂近くは御見受けするかあるいはそれはしおらしくないかあるいは両方である」ということは成り立たない
fact18 & fact3 -> int1: その将軍達はポーカーフェイスである; fact4 & fact10 -> int2: その将軍達は行き易い; int1 & int2 -> int3: その将軍達はポーカーフェイスで行き易い; int3 & fact17 -> hypothesis;
fact18 & fact3 -> int1: {B}{a}; fact4 & fact10 -> int2: {C}{a}; int1 & int2 -> int3: ({B}{a} & {C}{a}); int3 & fact17 -> hypothesis;
このフィルター濃度は徹底介入しない
fact39 -> int4: このフィルター濃度が一本化しないなら徹底介入しない; fact33 -> int5: 「「御見受けするかしおらしくない」ということは成り立たない」ものはある; int5 & fact29 -> int6: この白石城は資金余剰だ; fact35 -> int7: もしもその合間が業績評価だということはないとしたらそれは汚らわしいししかも果てし無い; fact32 & fact40 -> int8: この白血球数は買い増しする; fact30 & int8 -> int9: この実学は買い増しする; fact37 & int9 -> int10: この実学は潰走しないけれど買い増しする; int10 -> int11: なにがしかのものは潰走しないが買い増しする; int11 & fact27 -> int12: その合間は業績評価であるということはない; int7 & int12 -> int13: その合間は汚らわしくて更に果てし無い; int13 -> int14: その合間は汚らわしい; int14 -> int15: 「汚らわしい」物はある; int15 & fact36 -> int16: この三科目は武術であるし遊行する; fact31 & int16 -> int17: あの八日後は遊行しない; fact38 & int17 -> int18: この白石城は報ずるしおまけに軽し; int18 -> int19: この白石城は報ずる; int6 & int19 -> int20: この白石城は資金余剰だしまた報ずる; fact34 & int20 -> int21: その将軍達は報ぜない; fact28 & int21 -> int22: 「「このフィルター濃度はポーカーフェイスだけど行き易くない」ということは偽だ」ということは成り立つ;
$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: 「その天頂近くは御見受けするかあるいはそれはしおらしくないかあるいは両方である」ということは成り立たない ; $hypothesis$ = この白石城は徹底介入しない ; $proof$ = 
fact18 & fact3 -> int1: その将軍達はポーカーフェイスである; fact4 & fact10 -> int2: その将軍達は行き易い; int1 & int2 -> int3: その将軍達はポーカーフェイスで行き易い; int3 & fact17 -> 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: 「その天頂近くは御見受けするかあるいはそれはしおらしくないかあるいは両方である」ということは成り立たない

仮説: この白石城は徹底介入しない
1. 事実18と事実3から、推論1: "その将軍達はポーカーフェイスである"が導かれる
2. 事実4と事実10から、推論2: "その将軍達は行き易い"が導かれる
3. 推論1と推論2から、推論3: "その将軍達はポーカーフェイスで行き易い"が導かれる
4. 推論3と事実17から、仮説が導かれる

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