この直撃は計算上益金でない
fact1: 「「御濃くて上り易くない」ということは嘘な」物はある fact2: もしも何らかのものが断り難いとすれば計算上益金だ fact3: もし「なにかは程遠い一方で六祖でない」ということは誤っているとすればそれはモーゲージバンカーだということはない fact4: もし仮にとあるものが稼ぎ出さないとしたらそれは断り難い fact5: この戻し税が拒まないか稼ぎ出すということはないかもしくは両方ともだとしたらこのレストは稼ぎ出す fact6: もしもこの戻し税が六祖ならこのレストは探し易くない fact7: 仮にとある物が断り難いしそれは六祖であるとすればモーゲージバンカーでない fact8: もしこの戻し税が稼ぎ出すならこの住宅候補地調書は相継がない fact9: このレストが六祖であるということはないし程遠くないならばこの直撃は計算上益金だということはない fact10: もしなんらかのものが委託出来るかあるいはそれが御濃くないとしたらそれは堆くない fact11: もし仮にこの戻し税は探し易くないが相継ぐとしたらそれはモーゲージバンカーでない fact12: もしこの住宅候補地調書が断り難くないとすればこのレストは六祖でない fact13: 仮にこのレストが稼ぎ出すとしたらそれは断り難い fact14: もし仮に「「この戻し税は拒むし更に終止符だ」ということは成り立つ」ということは事実と異なるとすればこのレストは稼ぎ出さない fact15: 「この住宅候補地調書は稼ぎ出すしそれは断り難い」ということは嘘だ fact16: もしも「「御濃いし上り易くない」ということは成り立たない」ものはあるとすれば「この住宅候補地調書は御濃いということはない」ということは事実だ fact17: もし「この住宅候補地調書は稼ぎ出すしさらに断り難い」ということは間違っているとすれば「このレストは六祖でない」ということは真実である fact18: もしこのレストは程遠いなら「この戻し税は探し易くないけれど相継ぐ」ということは成り立つ fact19: もしこの戻し税が探し易くてそれが相継ぐならそれはモーゲージバンカーでない fact20: この直撃は堆くないなら「この戻し税は拒むしさらに終止符である」ということは偽だ fact21: この戻し税はモーゲージバンカーだ fact22: もしもこのレストが探し易いとするとこの戻し税は六祖だということはない fact23: もし仮にこのレストは計算上益金であるとすると「その給付期間は程遠い一方で六祖でない」ということは偽だ
void -> assump1: 以下のように仮定する。このレストは程遠い; fact18 & assump1 -> int1: この戻し税は探し易いということはない一方でそれは相継ぐ; int1 & fact11 -> int2: この戻し税はモーゲージバンカーでない; int2 & fact21 -> int3: これは矛盾である; [assump1] & int3 -> int4: このレストは程遠くない; fact17 & fact15 -> int5: 「このレストは六祖でない」ということは成り立つ; int4 & int5 -> int6: このレストは六祖でないし程遠くない; int6 & fact9 -> hypothesis;
その給付期間はモーゲージバンカーでない
fact26 -> int7: 仮に「その給付期間は程遠いけど六祖でない」ということは誤りであるとすればモーゲージバンカーでない; fact30 -> int8: 仮にこのレストが断り難いとするとそれは計算上益金である; fact31 -> int9: 「もしも「このレストは稼ぎ出さない」ということは正しいならばこのレストは断り難い」ということは正しい; fact25 -> int10: もしもこの直撃は委託出来るかあるいは御濃くないなら堆くない; fact29 & fact27 -> int11: この住宅候補地調書は御濃くない; int11 -> int12: 「御濃くない」ものはある;
$facts$ = fact1: 「「御濃くて上り易くない」ということは嘘な」物はある fact2: もしも何らかのものが断り難いとすれば計算上益金だ fact3: もし「なにかは程遠い一方で六祖でない」ということは誤っているとすればそれはモーゲージバンカーだということはない fact4: もし仮にとあるものが稼ぎ出さないとしたらそれは断り難い fact5: この戻し税が拒まないか稼ぎ出すということはないかもしくは両方ともだとしたらこのレストは稼ぎ出す fact6: もしもこの戻し税が六祖ならこのレストは探し易くない fact7: 仮にとある物が断り難いしそれは六祖であるとすればモーゲージバンカーでない fact8: もしこの戻し税が稼ぎ出すならこの住宅候補地調書は相継がない fact9: このレストが六祖であるということはないし程遠くないならばこの直撃は計算上益金だということはない fact10: もしなんらかのものが委託出来るかあるいはそれが御濃くないとしたらそれは堆くない fact11: もし仮にこの戻し税は探し易くないが相継ぐとしたらそれはモーゲージバンカーでない fact12: もしこの住宅候補地調書が断り難くないとすればこのレストは六祖でない fact13: 仮にこのレストが稼ぎ出すとしたらそれは断り難い fact14: もし仮に「「この戻し税は拒むし更に終止符だ」ということは成り立つ」ということは事実と異なるとすればこのレストは稼ぎ出さない fact15: 「この住宅候補地調書は稼ぎ出すしそれは断り難い」ということは嘘だ fact16: もしも「「御濃いし上り易くない」ということは成り立たない」ものはあるとすれば「この住宅候補地調書は御濃いということはない」ということは事実だ fact17: もし「この住宅候補地調書は稼ぎ出すしさらに断り難い」ということは間違っているとすれば「このレストは六祖でない」ということは真実である fact18: もしこのレストは程遠いなら「この戻し税は探し易くないけれど相継ぐ」ということは成り立つ fact19: もしこの戻し税が探し易くてそれが相継ぐならそれはモーゲージバンカーでない fact20: この直撃は堆くないなら「この戻し税は拒むしさらに終止符である」ということは偽だ fact21: この戻し税はモーゲージバンカーだ fact22: もしもこのレストが探し易いとするとこの戻し税は六祖だということはない fact23: もし仮にこのレストは計算上益金であるとすると「その給付期間は程遠い一方で六祖でない」ということは偽だ ; $hypothesis$ = この直撃は計算上益金でない ; $proof$ = 
void -> assump1: 以下のように仮定する。このレストは程遠い; fact18 & assump1 -> int1: この戻し税は探し易いということはない一方でそれは相継ぐ; int1 & fact11 -> int2: この戻し税はモーゲージバンカーでない; int2 & fact21 -> int3: これは矛盾である; [assump1] & int3 -> int4: このレストは程遠くない; fact17 & fact15 -> int5: 「このレストは六祖でない」ということは成り立つ; int4 & int5 -> int6: このレストは六祖でないし程遠くない; int6 & fact9 -> 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: もし仮にこのレストは計算上益金であるとすると「その給付期間は程遠い一方で六祖でない」ということは偽だ

仮説: この直撃は計算上益金でない
1. 仮定1: 以下のように仮定する。このレストは程遠い
2. 事実18と仮定1から、推論1: "この戻し税は探し易いということはない一方でそれは相継ぐ"が導かれる
3. 推論1と事実11から、推論2: "この戻し税はモーゲージバンカーでない"が導かれる
4. 推論2と事実21から、推論3: "これは矛盾である"が導かれる
5. [仮定1]と推論3から、推論4: "このレストは程遠くない"が導かれる
6. 事実17と事実15から、推論5: "「このレストは六祖でない」ということは成り立つ"が導かれる
7. 推論4と推論5から、推論6: "このレストは六祖でないし程遠くない"が導かれる
8. 推論6と事実9から、仮説が導かれる

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