このゴーストは洗う
fact1: 「あの社会的生活は洗う」ということは成り立つ fact2: もしもあの袱紗は選択し為さらないとすると「その証券化は通電するし慢性関節リウマチである」ということは嘘である fact3: このゴーストは妨げる fact4: もし仮にとある物が選択し為さらないとするとそれが通電するしその上それは慢性関節リウマチである fact5: この池沼は洗う fact6: もしあの袱紗が通じ易いとしたらそれは冗談っぽくない fact7: この分極は洗う fact8: このゴーストは洗う fact9: 冗談っぽくないものは選択し為さらない fact10: このゴーストは公平性だ fact11: あのボヘミア王国は洗う fact12: この教育目的は洗う fact13: もし仮に「このゴーストは通電する」ということは成り立つとすればその至らなさは洗う fact14: もしその証券化が冗談っぽいならばこのゴーストは選択し為さらないかまたは通じ易いかまたは両方だ fact15: 仮に何らかの物が選択し為さらないかあるいは通じ易いかもしくは両方ともであるとすると選択し為さらない fact16: このゴーストは崇敬する fact17: 仮に何らかの物が弊でないとすれば冗談っぽい
fact8 -> hypothesis;
fact8 -> hypothesis;
その至らなさは洗う
fact18 -> int1: 「このゴーストは選択し為さらない」ということは成り立つとしたら通電するし慢性関節リウマチだ; fact22 -> int2: もし仮にこのゴーストが選択し為さらないかあるいはそれは通じ易いかまたはどちらもだとすればそれは選択し為さらない; fact20 -> int3: もしその証券化が弊でないとすれば冗談っぽい;
$facts$ = fact1: 「あの社会的生活は洗う」ということは成り立つ fact2: もしもあの袱紗は選択し為さらないとすると「その証券化は通電するし慢性関節リウマチである」ということは嘘である fact3: このゴーストは妨げる fact4: もし仮にとある物が選択し為さらないとするとそれが通電するしその上それは慢性関節リウマチである fact5: この池沼は洗う fact6: もしあの袱紗が通じ易いとしたらそれは冗談っぽくない fact7: この分極は洗う fact8: このゴーストは洗う fact9: 冗談っぽくないものは選択し為さらない fact10: このゴーストは公平性だ fact11: あのボヘミア王国は洗う fact12: この教育目的は洗う fact13: もし仮に「このゴーストは通電する」ということは成り立つとすればその至らなさは洗う fact14: もしその証券化が冗談っぽいならばこのゴーストは選択し為さらないかまたは通じ易いかまたは両方だ fact15: 仮に何らかの物が選択し為さらないかあるいは通じ易いかもしくは両方ともであるとすると選択し為さらない fact16: このゴーストは崇敬する fact17: 仮に何らかの物が弊でないとすれば冗談っぽい ; $hypothesis$ = このゴーストは洗う ; $proof$ = 
fact8 -> hypothesis; __PROVED__
事実1: 「あの社会的生活は洗う」ということは成り立つ
事実2: もしもあの袱紗は選択し為さらないとすると「その証券化は通電するし慢性関節リウマチである」ということは嘘である
事実3: このゴーストは妨げる
事実4: もし仮にとある物が選択し為さらないとするとそれが通電するしその上それは慢性関節リウマチである
事実5: この池沼は洗う
事実6: もしあの袱紗が通じ易いとしたらそれは冗談っぽくない
事実7: この分極は洗う
事実8: このゴーストは洗う
事実9: 冗談っぽくないものは選択し為さらない
事実10: このゴーストは公平性だ
事実11: あのボヘミア王国は洗う
事実12: この教育目的は洗う
事実13: もし仮に「このゴーストは通電する」ということは成り立つとすればその至らなさは洗う
事実14: もしその証券化が冗談っぽいならばこのゴーストは選択し為さらないかまたは通じ易いかまたは両方だ
事実15: 仮に何らかの物が選択し為さらないかあるいは通じ易いかもしくは両方ともであるとすると選択し為さらない
事実16: このゴーストは崇敬する
事実17: 仮に何らかの物が弊でないとすれば冗談っぽい

仮説: このゴーストは洗う
1. 事実8から、仮説が導かれる

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