このＲＳは流され易いということはない
fact1: この蕗は評価出来る fact2: 「その免許証はラッキー方位だということはないか評価出来るかあるいは両方である」ということは嘘である fact3: もしもこのさ行が売り込めなくてかつそれは転向しないなら「その免許証は転向しない」ということは確かだ fact4: もし仮にある物が売り込めるしかつそれが配るとしたらこのＲＳは流され易いということはない fact5: もしこの上大神宮が転向しないとしたらその免許証はラッキー方位でないかまたは評価出来るかまたは両方ともだ fact6: この上大神宮は配る fact7: 「転向する」ものはある fact8: この上大神宮は活用し易くてかつ評価出来る fact9: このＲＳはうつらうつらするししかも配る fact10: 「運び易くて加えて評価出来る」物はある fact11: この上大神宮は流され易いとすると「このＲＳは流され易い」ということは真実である fact12: もしその免許証が転向するということはないならばこの上大神宮は評価出来るしそれは流され易い fact13: あの当該離島は転向する fact14: その免許証はラッキー方位であるし転向する fact15: この上大神宮は当て嵌まるない fact16: その下顎角は去留でない fact17: この上大神宮が管理能力でないしさらにそれが運び易くないとすればそれは転向しない fact18: その免許証は流され易い fact19: もし仮に「この上大神宮は管理能力でないしそれは運び易くない」ということは誤っているならそれは売り込める
void -> assump1: 以下のように仮定する。この上大神宮は管理能力だということはなくて運び易くない; fact17 & assump1 -> int1: この上大神宮は転向しない; int1 & fact5 -> int2: その免許証はラッキー方位でないかもしくは評価出来るかもしくはどちらもだ; int2 & fact2 -> int3: これは矛盾である; [assump1] & int3 -> int4: 「この上大神宮は管理能力でないしそれは運び易くない」ということは誤りである; int4 & fact19 -> int5: 「この上大神宮は売り込める」ということは正しい; int5 & fact6 -> int6: この上大神宮は売り込めるしさらに配る; int6 -> int7: なんらかのものは売り込めるし配る; int7 & fact4 -> hypothesis;
このＲＳは流され易い
fact20 -> int8: なにがしかの物は去留でない;
$facts$ = fact1: この蕗は評価出来る fact2: 「その免許証はラッキー方位だということはないか評価出来るかあるいは両方である」ということは嘘である fact3: もしもこのさ行が売り込めなくてかつそれは転向しないなら「その免許証は転向しない」ということは確かだ fact4: もし仮にある物が売り込めるしかつそれが配るとしたらこのＲＳは流され易いということはない fact5: もしこの上大神宮が転向しないとしたらその免許証はラッキー方位でないかまたは評価出来るかまたは両方ともだ fact6: この上大神宮は配る fact7: 「転向する」ものはある fact8: この上大神宮は活用し易くてかつ評価出来る fact9: このＲＳはうつらうつらするししかも配る fact10: 「運び易くて加えて評価出来る」物はある fact11: この上大神宮は流され易いとすると「このＲＳは流され易い」ということは真実である fact12: もしその免許証が転向するということはないならばこの上大神宮は評価出来るしそれは流され易い fact13: あの当該離島は転向する fact14: その免許証はラッキー方位であるし転向する fact15: この上大神宮は当て嵌まるない fact16: その下顎角は去留でない fact17: この上大神宮が管理能力でないしさらにそれが運び易くないとすればそれは転向しない fact18: その免許証は流され易い fact19: もし仮に「この上大神宮は管理能力でないしそれは運び易くない」ということは誤っているならそれは売り込める ; $hypothesis$ = このＲＳは流され易いということはない ; $proof$ = 
void -> assump1: 以下のように仮定する。この上大神宮は管理能力だということはなくて運び易くない; fact17 & assump1 -> int1: この上大神宮は転向しない; int1 & fact5 -> int2: その免許証はラッキー方位でないかもしくは評価出来るかもしくはどちらもだ; int2 & fact2 -> int3: これは矛盾である; [assump1] & int3 -> int4: 「この上大神宮は管理能力でないしそれは運び易くない」ということは誤りである; int4 & fact19 -> int5: 「この上大神宮は売り込める」ということは正しい; int5 & fact6 -> int6: この上大神宮は売り込めるしさらに配る; int6 -> int7: なんらかのものは売り込めるし配る; int7 & fact4 -> hypothesis; __PROVED__
事実1: この蕗は評価出来る
事実2: 「その免許証はラッキー方位だということはないか評価出来るかあるいは両方である」ということは嘘である
事実3: もしもこのさ行が売り込めなくてかつそれは転向しないなら「その免許証は転向しない」ということは確かだ
事実4: もし仮にある物が売り込めるしかつそれが配るとしたらこのＲＳは流され易いということはない
事実5: もしこの上大神宮が転向しないとしたらその免許証はラッキー方位でないかまたは評価出来るかまたは両方ともだ
事実6: この上大神宮は配る
事実7: 「転向する」ものはある
事実8: この上大神宮は活用し易くてかつ評価出来る
事実9: このＲＳはうつらうつらするししかも配る
事実10: 「運び易くて加えて評価出来る」物はある
事実11: この上大神宮は流され易いとすると「このＲＳは流され易い」ということは真実である
事実12: もしその免許証が転向するということはないならばこの上大神宮は評価出来るしそれは流され易い
事実13: あの当該離島は転向する
事実14: その免許証はラッキー方位であるし転向する
事実15: この上大神宮は当て嵌まるない
事実16: その下顎角は去留でない
事実17: この上大神宮が管理能力でないしさらにそれが運び易くないとすればそれは転向しない
事実18: その免許証は流され易い
事実19: もし仮に「この上大神宮は管理能力でないしそれは運び易くない」ということは誤っているならそれは売り込める

仮説: このＲＳは流され易いということはない
1. 仮定1: 以下のように仮定する。この上大神宮は管理能力だということはなくて運び易くない
2. 事実17と仮定1から、推論1: "この上大神宮は転向しない"が導かれる
3. 推論1と事実5から、推論2: "その免許証はラッキー方位でないかもしくは評価出来るかもしくはどちらもだ"が導かれる
4. 推論2と事実2から、推論3: "これは矛盾である"が導かれる
5. [仮定1]と推論3から、推論4: "「この上大神宮は管理能力でないしそれは運び易くない」ということは誤りである"が導かれる
6. 推論4と事実19から、推論5: "「この上大神宮は売り込める」ということは正しい"が導かれる
7. 推論5と事実6から、推論6: "この上大神宮は売り込めるしさらに配る"が導かれる
8. 推論6から、推論7: "なんらかのものは売り込めるし配る"が導かれる
9. 推論7と事実4から、仮説が導かれる

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