その肉片は熟考しない
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: もし「その吹き出物は苦しが領域Ｄでない」ということは間違いなら「このため口は働き難いということはない」ということは確かである fact28: この真田家は逃れ難い
fact27 & fact6 -> int1: このため口は働き難くない; fact22 & fact11 & fact12 -> int2: このため口は御挨拶する; int1 & int2 -> int3: このため口は御挨拶するがしかし働き難くない; fact18 -> int4: もしこのため口は御挨拶するけど働き難いということはないなら無罪放免であるということはない; int3 & int4 -> int5: このため口は無罪放免でない; fact24 -> int6: 仮に「このため口は無罪放免でない」ということは成り立てばそれは面映ゆかないか美味しかない; int5 & int6 -> int7: このため口は面映ゆいということはないかもしくはそれは美味しかない; int7 & fact7 & fact26 -> hypothesis;
その肉片は熟考する
fact30 -> int8: その吹き出物が働き難いとするとそれは熟考しないかもしくはそれは御挨拶しない;
$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: もし「その吹き出物は苦しが領域Ｄでない」ということは間違いなら「このため口は働き難いということはない」ということは確かである fact28: この真田家は逃れ難い ; $hypothesis$ = その肉片は熟考しない ; $proof$ = 
fact27 & fact6 -> int1: このため口は働き難くない; fact22 & fact11 & fact12 -> int2: このため口は御挨拶する; int1 & int2 -> int3: このため口は御挨拶するがしかし働き難くない; fact18 -> int4: もしこのため口は御挨拶するけど働き難いということはないなら無罪放免であるということはない; int3 & int4 -> int5: このため口は無罪放免でない; fact24 -> int6: 仮に「このため口は無罪放免でない」ということは成り立てばそれは面映ゆかないか美味しかない; int5 & int6 -> int7: このため口は面映ゆいということはないかもしくはそれは美味しかない; int7 & fact7 & fact26 -> 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: もし「その吹き出物は苦しが領域Ｄでない」ということは間違いなら「このため口は働き難いということはない」ということは確かである
事実28: この真田家は逃れ難い

仮説: その肉片は熟考しない
1. 事実27と事実6から、推論1: "このため口は働き難くない"が導かれる
2. 事実22と事実11と事実12から、推論2: "このため口は御挨拶する"が導かれる
3. 推論1と推論2から、推論3: "このため口は御挨拶するがしかし働き難くない"が導かれる
4. 事実18から、推論4: "もしこのため口は御挨拶するけど働き難いということはないなら無罪放免であるということはない"が導かれる
5. 推論3と推論4から、推論5: "このため口は無罪放免でない"が導かれる
6. 事実24から、推論6: "仮に「このため口は無罪放免でない」ということは成り立てばそれは面映ゆかないか美味しかない"が導かれる
7. 推論5と推論6から、推論7: "このため口は面映ゆいということはないかもしくはそれは美味しかない"が導かれる
8. 推論7と事実7と事実26から、仮説が導かれる

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