その手負いはブレンドしない
fact1: その十一人は揺れるかまたはそれは舟航であるかあるいは両方だ fact2: その十一人が舟航だけど揺れるということはないとすればその手負いはブレンドする fact3: もし仮にこの年度が平べったいとするとこの粗食は痛ましい fact4: もしもその十一人が舟航ならばあの手負いは到来する fact5: もしもこの年度は痛ましいとしたら「この粗食は痛ましい」ということは事実である fact6: 仮にその手負いは揺れないとすれば「この粗食はキャリアアップであるがしかしそれは舟航でない」ということは嘘だ fact7: 「その本心は焦れったいということはないがしかし十一年前である」ということは間違っている fact8: 仮に何らかの物が到来するなら揺れるということはない fact9: もし仮になにかは到来するとしたらそれは舟航だ fact10: 「その本心は焦れったくないがそれは十一年前だ」ということは成り立たないとするとそれは十一年前でない fact11: もしその十一人が揺れるとしたらその手負いは到来する fact12: 「とある物は十一年前だということはない」ということは本当であるとするとこの年度は平べったいかまたは痛ましいかもしくは両方ともだ fact13: もしも「この年度は揺れないがしかしそれは平べったい」ということは偽であるとすれば平べったくない fact14: 「到来する」ものはある fact15: もし仮に「「キャリアアップだけれど舟航でない」ということは成り立たない」物があればその十一人はキャリアアップでない fact16: もしもその十一人が揺れないしそれが平べったくないとしたらその本心は平べったいということはない fact17: なんらかのものが到来するしさらにブレンドするならこの粗食は痛ましくない
fact1 & fact11 & fact4 -> int1: その手負いは到来する; void -> assump1: 以下のように仮定する。その手負いはブレンドする; int1 & assump1 -> int2: その手負いは到来するしさらにそれはブレンドする; int2 -> int3: なんらかのものが到来するしその上ブレンドする; int3 & fact17 -> int4: この粗食は痛ましいということはない; fact7 & fact10 -> int5: その本心は十一年前でない; int5 -> int6: 「十一年前であるということはない」物はある; fact12 & int6 -> int7: この年度は平べったいか痛ましいか両方である; int7 & fact5 & fact3 -> int8: この粗食は痛ましい; int4 & int8 -> int9: これは矛盾である; [assump1] & int9 -> hypothesis;
その本心は平べったくない
$facts$ = fact1: その十一人は揺れるかまたはそれは舟航であるかあるいは両方だ fact2: その十一人が舟航だけど揺れるということはないとすればその手負いはブレンドする fact3: もし仮にこの年度が平べったいとするとこの粗食は痛ましい fact4: もしもその十一人が舟航ならばあの手負いは到来する fact5: もしもこの年度は痛ましいとしたら「この粗食は痛ましい」ということは事実である fact6: 仮にその手負いは揺れないとすれば「この粗食はキャリアアップであるがしかしそれは舟航でない」ということは嘘だ fact7: 「その本心は焦れったいということはないがしかし十一年前である」ということは間違っている fact8: 仮に何らかの物が到来するなら揺れるということはない fact9: もし仮になにかは到来するとしたらそれは舟航だ fact10: 「その本心は焦れったくないがそれは十一年前だ」ということは成り立たないとするとそれは十一年前でない fact11: もしその十一人が揺れるとしたらその手負いは到来する fact12: 「とある物は十一年前だということはない」ということは本当であるとするとこの年度は平べったいかまたは痛ましいかもしくは両方ともだ fact13: もしも「この年度は揺れないがしかしそれは平べったい」ということは偽であるとすれば平べったくない fact14: 「到来する」ものはある fact15: もし仮に「「キャリアアップだけれど舟航でない」ということは成り立たない」物があればその十一人はキャリアアップでない fact16: もしもその十一人が揺れないしそれが平べったくないとしたらその本心は平べったいということはない fact17: なんらかのものが到来するしさらにブレンドするならこの粗食は痛ましくない ; $hypothesis$ = その手負いはブレンドしない ; $proof$ = 
fact1 & fact11 & fact4 -> int1: その手負いは到来する; void -> assump1: 以下のように仮定する。その手負いはブレンドする; int1 & assump1 -> int2: その手負いは到来するしさらにそれはブレンドする; int2 -> int3: なんらかのものが到来するしその上ブレンドする; int3 & fact17 -> int4: この粗食は痛ましいということはない; fact7 & fact10 -> int5: その本心は十一年前でない; int5 -> int6: 「十一年前であるということはない」物はある; fact12 & int6 -> int7: この年度は平べったいか痛ましいか両方である; int7 & fact5 & fact3 -> int8: この粗食は痛ましい; int4 & int8 -> int9: これは矛盾である; [assump1] & int9 -> hypothesis; __PROVED__
事実1: その十一人は揺れるかまたはそれは舟航であるかあるいは両方だ
事実2: その十一人が舟航だけど揺れるということはないとすればその手負いはブレンドする
事実3: もし仮にこの年度が平べったいとするとこの粗食は痛ましい
事実4: もしもその十一人が舟航ならばあの手負いは到来する
事実5: もしもこの年度は痛ましいとしたら「この粗食は痛ましい」ということは事実である
事実6: 仮にその手負いは揺れないとすれば「この粗食はキャリアアップであるがしかしそれは舟航でない」ということは嘘だ
事実7: 「その本心は焦れったいということはないがしかし十一年前である」ということは間違っている
事実8: 仮に何らかの物が到来するなら揺れるということはない
事実9: もし仮になにかは到来するとしたらそれは舟航だ
事実10: 「その本心は焦れったくないがそれは十一年前だ」ということは成り立たないとするとそれは十一年前でない
事実11: もしその十一人が揺れるとしたらその手負いは到来する
事実12: 「とある物は十一年前だということはない」ということは本当であるとするとこの年度は平べったいかまたは痛ましいかもしくは両方ともだ
事実13: もしも「この年度は揺れないがしかしそれは平べったい」ということは偽であるとすれば平べったくない
事実14: 「到来する」ものはある
事実15: もし仮に「「キャリアアップだけれど舟航でない」ということは成り立たない」物があればその十一人はキャリアアップでない
事実16: もしもその十一人が揺れないしそれが平べったくないとしたらその本心は平べったいということはない
事実17: なんらかのものが到来するしさらにブレンドするならこの粗食は痛ましくない

仮説: その手負いはブレンドしない
1. 事実1と事実11と事実4から、推論1: "その手負いは到来する"が導かれる
2. 仮定1: 以下のように仮定する。その手負いはブレンドする
3. 推論1と仮定1から、推論2: "その手負いは到来するしさらにそれはブレンドする"が導かれる
4. 推論2から、推論3: "なんらかのものが到来するしその上ブレンドする"が導かれる
5. 推論3と事実17から、推論4: "この粗食は痛ましいということはない"が導かれる
6. 事実7と事実10から、推論5: "その本心は十一年前でない"が導かれる
7. 推論5から、推論6: "「十一年前であるということはない」物はある"が導かれる
8. 事実12と推論6から、推論7: "この年度は平べったいか痛ましいか両方である"が導かれる
9. 推論7と事実5と事実3から、推論8: "この粗食は痛ましい"が導かれる
10. 推論4と推論8から、推論9: "これは矛盾である"が導かれる
11. [仮定1]と推論9から、仮説が導かれる

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