「そのトレードは携帯する」ということは本当だ
fact1: 「僧衆である」物はある fact2: 「「携帯するしかつ脆いということはない」ということは嘘な」物はある fact3: 「そのトレードは見比べる一方で携帯するということはない」ということは嘘である fact4: もしもこの態勢が相対化出来るなら両断する fact5: もしも脆くない物はスタッフ一人一人だとしたら「携帯しない」ということは確かである fact6: もし「「両断する」ということは事実である」物はあるなら「この態勢は携帯しないし脆くない」ということは成り立たない fact7: この態勢が固有ベクトルであるとするとそのトレードは固有ベクトルである fact8: 「この態勢は脆くないけど固有ベクトルだ」ということは間違いである fact9: 「もし「両断しない」物はあるなら「あの諸決定は両断するけど目白牧場でない」ということは事実だということはない」ということは真実である fact10: 固有ベクトルは脆くないけれどスタッフ一人一人である fact11: もしも「「脆い」ということは真実である」ものはあるとすれば「この態勢は携帯しないししかも固有ベクトルでない」ということは偽だ fact12: もし仮にあの木道が両断するけどそれが韜晦だということはないとしたらその輻湊は両断しない fact13: もし仮に「「脆くなくて固有ベクトルでない」ということは間違っている」物があればそのトレードは両断する fact14: もしなんらかのものが両断しないなら固有ベクトルであるか短いかあるいはどちらもである fact15: 「この態勢は携帯しないしおまけに固有ベクトルでない」ということは間違いである fact16: もし「あの諸決定は両断するが目白牧場でない」ということは誤りであるとすると「この態勢は両断しない」ということは成り立つ fact17: 「スタッフ一人一人な」物はある fact18: スタッフ一人一人はあるとすれば「この態勢は脆くないし固有ベクトルでない」ということは偽だ fact19: もし仮にこの態勢が脆いとしたらそれは携帯する fact20: あの木道は豊前国で乗り取る fact21: 仮にそのトレードが両断するなら携帯する fact22: なにがしかのものが乗り取るとしたら両断するしその上それは韜晦でない
fact17 & fact18 -> int1: 「この態勢は脆くなくてしかもそれは固有ベクトルでない」ということは嘘である; int1 -> int2: 「「脆くないし更に固有ベクトルでない」ということは嘘である」ものはある; int2 & fact13 -> int3: そのトレードは両断する; int3 & fact21 -> hypothesis;
そのトレードは携帯しない
fact29 -> int4: もし仮にそのトレードが脆くないけれどスタッフ一人一人であるとしたらそれは携帯しない; fact25 -> int5: もしそのトレードは固有ベクトルであるとするとそれは脆くないがしかしスタッフ一人一人である; fact26 -> int6: この態勢が両断しないならば固有ベクトルであるかもしくはそれは短いかあるいは両方ともだ; fact27 -> int7: もしあの木道が乗り取るなら両断する一方で韜晦でない; fact28 -> int8: あの木道は乗り取る; int7 & int8 -> int9: あの木道は両断するけど韜晦でない; fact30 & int9 -> int10: その輻湊は両断しない; int10 -> int11: 「両断しない」物はある; int11 & fact31 -> int12: 「あの諸決定は両断するがしかし目白牧場でない」ということは成り立たない; fact23 & int12 -> int13: この態勢は両断するということはない; int6 & int13 -> int14: この態勢は固有ベクトルであるかもしくは短いかもしくは両方ともである;
$facts$ = fact1: 「僧衆である」物はある fact2: 「「携帯するしかつ脆いということはない」ということは嘘な」物はある fact3: 「そのトレードは見比べる一方で携帯するということはない」ということは嘘である fact4: もしもこの態勢が相対化出来るなら両断する fact5: もしも脆くない物はスタッフ一人一人だとしたら「携帯しない」ということは確かである fact6: もし「「両断する」ということは事実である」物はあるなら「この態勢は携帯しないし脆くない」ということは成り立たない fact7: この態勢が固有ベクトルであるとするとそのトレードは固有ベクトルである fact8: 「この態勢は脆くないけど固有ベクトルだ」ということは間違いである fact9: 「もし「両断しない」物はあるなら「あの諸決定は両断するけど目白牧場でない」ということは事実だということはない」ということは真実である fact10: 固有ベクトルは脆くないけれどスタッフ一人一人である fact11: もしも「「脆い」ということは真実である」ものはあるとすれば「この態勢は携帯しないししかも固有ベクトルでない」ということは偽だ fact12: もし仮にあの木道が両断するけどそれが韜晦だということはないとしたらその輻湊は両断しない fact13: もし仮に「「脆くなくて固有ベクトルでない」ということは間違っている」物があればそのトレードは両断する fact14: もしなんらかのものが両断しないなら固有ベクトルであるか短いかあるいはどちらもである fact15: 「この態勢は携帯しないしおまけに固有ベクトルでない」ということは間違いである fact16: もし「あの諸決定は両断するが目白牧場でない」ということは誤りであるとすると「この態勢は両断しない」ということは成り立つ fact17: 「スタッフ一人一人な」物はある fact18: スタッフ一人一人はあるとすれば「この態勢は脆くないし固有ベクトルでない」ということは偽だ fact19: もし仮にこの態勢が脆いとしたらそれは携帯する fact20: あの木道は豊前国で乗り取る fact21: 仮にそのトレードが両断するなら携帯する fact22: なにがしかのものが乗り取るとしたら両断するしその上それは韜晦でない ; $hypothesis$ = 「そのトレードは携帯する」ということは本当だ ; $proof$ = 
fact17 & fact18 -> int1: 「この態勢は脆くなくてしかもそれは固有ベクトルでない」ということは嘘である; int1 -> int2: 「「脆くないし更に固有ベクトルでない」ということは嘘である」ものはある; int2 & fact13 -> int3: そのトレードは両断する; int3 & fact21 -> hypothesis; __PROVED__
事実1: 「僧衆である」物はある
事実2: 「「携帯するしかつ脆いということはない」ということは嘘な」物はある
事実3: 「そのトレードは見比べる一方で携帯するということはない」ということは嘘である
事実4: もしもこの態勢が相対化出来るなら両断する
事実5: もしも脆くない物はスタッフ一人一人だとしたら「携帯しない」ということは確かである
事実6: もし「「両断する」ということは事実である」物はあるなら「この態勢は携帯しないし脆くない」ということは成り立たない
事実7: この態勢が固有ベクトルであるとするとそのトレードは固有ベクトルである
事実8: 「この態勢は脆くないけど固有ベクトルだ」ということは間違いである
事実9: 「もし「両断しない」物はあるなら「あの諸決定は両断するけど目白牧場でない」ということは事実だということはない」ということは真実である
事実10: 固有ベクトルは脆くないけれどスタッフ一人一人である
事実11: もしも「「脆い」ということは真実である」ものはあるとすれば「この態勢は携帯しないししかも固有ベクトルでない」ということは偽だ
事実12: もし仮にあの木道が両断するけどそれが韜晦だということはないとしたらその輻湊は両断しない
事実13: もし仮に「「脆くなくて固有ベクトルでない」ということは間違っている」物があればそのトレードは両断する
事実14: もしなんらかのものが両断しないなら固有ベクトルであるか短いかあるいはどちらもである
事実15: 「この態勢は携帯しないしおまけに固有ベクトルでない」ということは間違いである
事実16: もし「あの諸決定は両断するが目白牧場でない」ということは誤りであるとすると「この態勢は両断しない」ということは成り立つ
事実17: 「スタッフ一人一人な」物はある
事実18: スタッフ一人一人はあるとすれば「この態勢は脆くないし固有ベクトルでない」ということは偽だ
事実19: もし仮にこの態勢が脆いとしたらそれは携帯する
事実20: あの木道は豊前国で乗り取る
事実21: 仮にそのトレードが両断するなら携帯する
事実22: なにがしかのものが乗り取るとしたら両断するしその上それは韜晦でない

仮説: 「そのトレードは携帯する」ということは本当だ
1. 事実17と事実18から、推論1: "「この態勢は脆くなくてしかもそれは固有ベクトルでない」ということは嘘である"が導かれる
2. 推論1から、推論2: "「「脆くないし更に固有ベクトルでない」ということは嘘である」ものはある"が導かれる
3. 推論2と事実13から、推論3: "そのトレードは両断する"が導かれる
4. 推論3と事実21から、仮説が導かれる

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