このＥＡはコミュニケーション出来るけれどくどくない
fact1: 御弟子さんが適合度であるならその宋船はコミュニケーション出来ない fact2: その撓りは御弟子さんであるしまたそれは移行し易い fact3: 仮にそのミスディレクションが無駄遣いしないならばその撓りは適合度でその上それは移行し易い fact4: 仮にその撓りが保管状況だとするとそれは無駄遣いする fact5: 仮にそのミスディレクションは錯綜でないならば「その撓りはくどくない」ということは事実だ fact6: そのミスディレクションがくどくないならばあのＥＡはくどくない fact7: 「その撓りは錯綜であるし保管状況である」ということは成り立つ fact8: その撓りは探偵小説であるけれどそれはモニタリングするということはない fact9: その撓りは錯綜だ fact10: もしそのミスディレクションがくどくないならこのＥＡはコミュニケーション出来るけどくどくない fact11: もしもその宋船は適合度でないとしたら「そのミスディレクションはくどくない」ということは真実である fact12: このＥＡはくどくない fact13: あるものは御弟子さんでないけど適合度であるとすればそれは移行し易くない fact14: そのミスディレクションは適合度でない fact15: その宋船は御弟子さんでない fact16: もし仮にその宋船が御弟子さんならこのＥＡは御弟子さんだ fact17: もしも「その宋船は移行し易くない」ということは事実だとしたらその撓りは無駄遣いしない fact18: もし仮にその一定期間経過後が錯綜であるということはないけどそれは蟄居すれば「提供し始めない」ということは成り立つ fact19: もし仮になんらかの物は御弟子さんであるなら「コミュニケーション出来るしくどいということはない」ということは間違いだ
void -> assump1: 以下のように仮定する。その宋船は適合度である; fact15 & assump1 -> int1: その宋船は御弟子さんであるということはないけど適合度だ; fact13 -> int2: 仮にその宋船が御弟子さんでないがそれは適合度であるなら「移行し易いということはない」ということは事実と異ならない; int1 & int2 -> int3: その宋船は移行し易くない; int3 & fact17 -> int4: その撓りは無駄遣いするということはない; fact7 -> int5: その撓りは保管状況である; int5 & fact4 -> int6: その撓りは無駄遣いする; int4 & int6 -> int7: これは矛盾である; [assump1] & int7 -> int8: その宋船は適合度であるということはない; int8 & fact11 -> int9: そのミスディレクションはくどくない; int9 & fact10 -> hypothesis;
「このＥＡはコミュニケーション出来る一方でそれはくどくない」ということは成り立たない
fact21 -> int10: その撓りは御弟子さんだ;
$facts$ = fact1: 御弟子さんが適合度であるならその宋船はコミュニケーション出来ない fact2: その撓りは御弟子さんであるしまたそれは移行し易い fact3: 仮にそのミスディレクションが無駄遣いしないならばその撓りは適合度でその上それは移行し易い fact4: 仮にその撓りが保管状況だとするとそれは無駄遣いする fact5: 仮にそのミスディレクションは錯綜でないならば「その撓りはくどくない」ということは事実だ fact6: そのミスディレクションがくどくないならばあのＥＡはくどくない fact7: 「その撓りは錯綜であるし保管状況である」ということは成り立つ fact8: その撓りは探偵小説であるけれどそれはモニタリングするということはない fact9: その撓りは錯綜だ fact10: もしそのミスディレクションがくどくないならこのＥＡはコミュニケーション出来るけどくどくない fact11: もしもその宋船は適合度でないとしたら「そのミスディレクションはくどくない」ということは真実である fact12: このＥＡはくどくない fact13: あるものは御弟子さんでないけど適合度であるとすればそれは移行し易くない fact14: そのミスディレクションは適合度でない fact15: その宋船は御弟子さんでない fact16: もし仮にその宋船が御弟子さんならこのＥＡは御弟子さんだ fact17: もしも「その宋船は移行し易くない」ということは事実だとしたらその撓りは無駄遣いしない fact18: もし仮にその一定期間経過後が錯綜であるということはないけどそれは蟄居すれば「提供し始めない」ということは成り立つ fact19: もし仮になんらかの物は御弟子さんであるなら「コミュニケーション出来るしくどいということはない」ということは間違いだ ; $hypothesis$ = このＥＡはコミュニケーション出来るけれどくどくない ; $proof$ = 
void -> assump1: 以下のように仮定する。その宋船は適合度である; fact15 & assump1 -> int1: その宋船は御弟子さんであるということはないけど適合度だ; fact13 -> int2: 仮にその宋船が御弟子さんでないがそれは適合度であるなら「移行し易いということはない」ということは事実と異ならない; int1 & int2 -> int3: その宋船は移行し易くない; int3 & fact17 -> int4: その撓りは無駄遣いするということはない; fact7 -> int5: その撓りは保管状況である; int5 & fact4 -> int6: その撓りは無駄遣いする; int4 & int6 -> int7: これは矛盾である; [assump1] & int7 -> int8: その宋船は適合度であるということはない; int8 & fact11 -> int9: そのミスディレクションはくどくない; int9 & fact10 -> hypothesis; __PROVED__
事実1: 御弟子さんが適合度であるならその宋船はコミュニケーション出来ない
事実2: その撓りは御弟子さんであるしまたそれは移行し易い
事実3: 仮にそのミスディレクションが無駄遣いしないならばその撓りは適合度でその上それは移行し易い
事実4: 仮にその撓りが保管状況だとするとそれは無駄遣いする
事実5: 仮にそのミスディレクションは錯綜でないならば「その撓りはくどくない」ということは事実だ
事実6: そのミスディレクションがくどくないならばあのＥＡはくどくない
事実7: 「その撓りは錯綜であるし保管状況である」ということは成り立つ
事実8: その撓りは探偵小説であるけれどそれはモニタリングするということはない
事実9: その撓りは錯綜だ
事実10: もしそのミスディレクションがくどくないならこのＥＡはコミュニケーション出来るけどくどくない
事実11: もしもその宋船は適合度でないとしたら「そのミスディレクションはくどくない」ということは真実である
事実12: このＥＡはくどくない
事実13: あるものは御弟子さんでないけど適合度であるとすればそれは移行し易くない
事実14: そのミスディレクションは適合度でない
事実15: その宋船は御弟子さんでない
事実16: もし仮にその宋船が御弟子さんならこのＥＡは御弟子さんだ
事実17: もしも「その宋船は移行し易くない」ということは事実だとしたらその撓りは無駄遣いしない
事実18: もし仮にその一定期間経過後が錯綜であるということはないけどそれは蟄居すれば「提供し始めない」ということは成り立つ
事実19: もし仮になんらかの物は御弟子さんであるなら「コミュニケーション出来るしくどいということはない」ということは間違いだ

仮説: このＥＡはコミュニケーション出来るけれどくどくない
1. 仮定1: 以下のように仮定する。その宋船は適合度である
2. 事実15と仮定1から、推論1: "その宋船は御弟子さんであるということはないけど適合度だ"が導かれる
3. 事実13から、推論2: "仮にその宋船が御弟子さんでないがそれは適合度であるなら「移行し易いということはない」ということは事実と異ならない"が導かれる
4. 推論1と推論2から、推論3: "その宋船は移行し易くない"が導かれる
5. 推論3と事実17から、推論4: "その撓りは無駄遣いするということはない"が導かれる
6. 事実7から、推論5: "その撓りは保管状況である"が導かれる
7. 推論5と事実4から、推論6: "その撓りは無駄遣いする"が導かれる
8. 推論4と推論6から、推論7: "これは矛盾である"が導かれる
9. [仮定1]と推論7から、推論8: "その宋船は適合度であるということはない"が導かれる
10. 推論8と事実11から、推論9: "そのミスディレクションはくどくない"が導かれる
11. 推論9と事実10から、仮説が導かれる

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