この引き当て率は甑であるしかつそれは内装制限だ
fact1: その猫族は大きくて加えてコミュニケーション出来る fact2: もしこの引き当て率が蒙古人でないとすればそれは甑であるし内装制限だ fact3: もし「あの約二万人は湖月食堂である」ということは成り立つとすれば抱き返さない fact4: もしその猫族が物憂いしかつ大きいならこの引き当て率は遊ぶということはない fact5: 「その猫族はコミュニケーション出来る」ということは確かである fact6: 仮に通り易くない物があるとしたらその猫族は物憂い fact7: 仮に「その鐙は離れ難い」ということは成り立つなら「あの約二万人は湖月食堂である」ということは正しい fact8: 仮に「その鐙は湖月食堂である」ということは真実であるならばあの約二万人は湖月食堂である fact9: 仮になにがしかの物が抱き返さないならばそれはコミュニケーション出来ないかまたは読み誤りだということはないかもしくは両方ともだ fact10: もし仮に「このインテルメッツォはエクスポートしなくて蒙古人でない」ということは間違っているとしたらその猫族は蒙古人でない fact11: もし何らかの物が攻撃しないとすればそれは収穫期で外せる fact12: このパソコン導入は通り易くない fact13: この引き当て率は甑だ fact14: もしこの引き当て率が遊ばないならそれは蒙古人であるということはない fact15: もしもこのバイゴットはコミュニケーション出来ないとしたら「このインテルメッツォはエクスポートしなくて蒙古人でない」ということは成り立たない fact16: もしもなにかは通り易くないとしたら「それは甑であるしまたそれは内装制限だ」ということは嘘だ fact17: 「「その猫族は大きい一方で遊ばない」ということは成り立つ」ということは事実と異なるとすると大きくない fact18: その鐙は湖月食堂であるかまたは離れ難いかもしくはどちらもである fact19: もしなにかは蒙古人だということはないならば「それは大きいがしかし遊ばない」ということは偽である
fact12 -> int1: 「通り易くない」ものはある; int1 & fact6 -> int2: その猫族は物憂い; fact1 -> int3: その猫族は大きい; int2 & int3 -> int4: その猫族は物憂くてそれに大きい; int4 & fact4 -> int5: この引き当て率は遊ばない; int5 & fact14 -> int6: この引き当て率は蒙古人だということはない; int6 & fact2 -> hypothesis;
「この引き当て率は甑でそれに内装制限である」ということは成り立たない
fact29 -> int7: 仮にこの引き当て率は通り易くないとすると「甑で内装制限である」ということは誤っている; fact25 -> int8: もし仮にその猫族は蒙古人でないとすると「大きいしまた遊ぶということはない」ということは偽である; fact24 -> int9: 仮にあの約二万人が抱き返さないとすればコミュニケーション出来るということはないかあるいは読み誤りでないかあるいは両方である; fact26 & fact28 & fact27 -> int10: あの約二万人は湖月食堂だ; fact22 & int10 -> int11: あの約二万人は抱き返さない; int9 & int11 -> int12: あの約二万人はコミュニケーション出来ないかあるいは読み誤りでないか両方である; int12 -> int13: 「コミュニケーション出来ないかあるいは読み誤りでないかまたは両方である」ものはある;
$facts$ = fact1: その猫族は大きくて加えてコミュニケーション出来る fact2: もしこの引き当て率が蒙古人でないとすればそれは甑であるし内装制限だ fact3: もし「あの約二万人は湖月食堂である」ということは成り立つとすれば抱き返さない fact4: もしその猫族が物憂いしかつ大きいならこの引き当て率は遊ぶということはない fact5: 「その猫族はコミュニケーション出来る」ということは確かである fact6: 仮に通り易くない物があるとしたらその猫族は物憂い fact7: 仮に「その鐙は離れ難い」ということは成り立つなら「あの約二万人は湖月食堂である」ということは正しい fact8: 仮に「その鐙は湖月食堂である」ということは真実であるならばあの約二万人は湖月食堂である fact9: 仮になにがしかの物が抱き返さないならばそれはコミュニケーション出来ないかまたは読み誤りだということはないかもしくは両方ともだ fact10: もし仮に「このインテルメッツォはエクスポートしなくて蒙古人でない」ということは間違っているとしたらその猫族は蒙古人でない fact11: もし何らかの物が攻撃しないとすればそれは収穫期で外せる fact12: このパソコン導入は通り易くない fact13: この引き当て率は甑だ fact14: もしこの引き当て率が遊ばないならそれは蒙古人であるということはない fact15: もしもこのバイゴットはコミュニケーション出来ないとしたら「このインテルメッツォはエクスポートしなくて蒙古人でない」ということは成り立たない fact16: もしもなにかは通り易くないとしたら「それは甑であるしまたそれは内装制限だ」ということは嘘だ fact17: 「「その猫族は大きい一方で遊ばない」ということは成り立つ」ということは事実と異なるとすると大きくない fact18: その鐙は湖月食堂であるかまたは離れ難いかもしくはどちらもである fact19: もしなにかは蒙古人だということはないならば「それは大きいがしかし遊ばない」ということは偽である ; $hypothesis$ = この引き当て率は甑であるしかつそれは内装制限だ ; $proof$ = 
fact12 -> int1: 「通り易くない」ものはある; int1 & fact6 -> int2: その猫族は物憂い; fact1 -> int3: その猫族は大きい; int2 & int3 -> int4: その猫族は物憂くてそれに大きい; int4 & fact4 -> int5: この引き当て率は遊ばない; int5 & fact14 -> int6: この引き当て率は蒙古人だということはない; int6 & fact2 -> hypothesis; __PROVED__
事実1: その猫族は大きくて加えてコミュニケーション出来る
事実2: もしこの引き当て率が蒙古人でないとすればそれは甑であるし内装制限だ
事実3: もし「あの約二万人は湖月食堂である」ということは成り立つとすれば抱き返さない
事実4: もしその猫族が物憂いしかつ大きいならこの引き当て率は遊ぶということはない
事実5: 「その猫族はコミュニケーション出来る」ということは確かである
事実6: 仮に通り易くない物があるとしたらその猫族は物憂い
事実7: 仮に「その鐙は離れ難い」ということは成り立つなら「あの約二万人は湖月食堂である」ということは正しい
事実8: 仮に「その鐙は湖月食堂である」ということは真実であるならばあの約二万人は湖月食堂である
事実9: 仮になにがしかの物が抱き返さないならばそれはコミュニケーション出来ないかまたは読み誤りだということはないかもしくは両方ともだ
事実10: もし仮に「このインテルメッツォはエクスポートしなくて蒙古人でない」ということは間違っているとしたらその猫族は蒙古人でない
事実11: もし何らかの物が攻撃しないとすればそれは収穫期で外せる
事実12: このパソコン導入は通り易くない
事実13: この引き当て率は甑だ
事実14: もしこの引き当て率が遊ばないならそれは蒙古人であるということはない
事実15: もしもこのバイゴットはコミュニケーション出来ないとしたら「このインテルメッツォはエクスポートしなくて蒙古人でない」ということは成り立たない
事実16: もしもなにかは通り易くないとしたら「それは甑であるしまたそれは内装制限だ」ということは嘘だ
事実17: 「「その猫族は大きい一方で遊ばない」ということは成り立つ」ということは事実と異なるとすると大きくない
事実18: その鐙は湖月食堂であるかまたは離れ難いかもしくはどちらもである
事実19: もしなにかは蒙古人だということはないならば「それは大きいがしかし遊ばない」ということは偽である

仮説: この引き当て率は甑であるしかつそれは内装制限だ
1. 事実12から、推論1: "「通り易くない」ものはある"が導かれる
2. 推論1と事実6から、推論2: "その猫族は物憂い"が導かれる
3. 事実1から、推論3: "その猫族は大きい"が導かれる
4. 推論2と推論3から、推論4: "その猫族は物憂くてそれに大きい"が導かれる
5. 推論4と事実4から、推論5: "この引き当て率は遊ばない"が導かれる
6. 推論5と事実14から、推論6: "この引き当て率は蒙古人だということはない"が導かれる
7. 推論6と事実2から、仮説が導かれる

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