あの奉仕活動は使い辛くない
fact1: もし仮に「この牽連犯は要求量であるかまたはそれは悪評である」ということは偽であるならば「あの奉仕活動は使い辛くない」ということは成り立つ fact2: その個人的権利が山遊びである一方で尽かさないとするとあの桐は出で来ない fact3: 「あの奉仕活動は使い辛くなくておまけに退院・社会復帰でない」ということは嘘であるならこの牽連犯は使い辛くない fact4: あの黒揚羽は好ましかそれは作成す fact5: もし仮に扱い難くない物が使い辛くないならばそれは崩れ易い fact6: もしあの遺伝子治療が分割後でないとすれば古めかしくて加えてそれはＨＯＷだ fact7: あの黒揚羽は地下深くてどうしても欲しいなら「あの遺伝子治療は分割後でない」ということは成り立つ fact8: この作品目録は悪評でない fact9: もし仮にあの遺伝子治療は物凄いとすれば「あの奉仕活動は使い辛くないしまたそれは退院・社会復帰でない」ということは成り立つということはない fact10: すべての物は出で来るということはない fact11: 仮にあの黒揚羽が作成すとすればそれはどうしても欲しい fact12: あの黒揚羽は育て易くて発現し易い fact13: その個人的権利は山遊びであるけれどそれは尽かすということはない fact14: もし仮にあるものはＨＯＷであるとすると物凄い fact15: 仮にあの黒揚羽が育て易いとするとそれは地下深い fact16: もし「出で来ない」物があるならばあの牽連犯は扱い難くない fact17: もしもあの黒揚羽が好ましならばどうしても欲しい fact18: 「この牽連犯は要求量であるかもしくは悪評であるかまたは両方ともだ」ということは偽だ
fact1 & fact18 -> hypothesis;
fact1 & fact18 -> hypothesis;
あの奉仕活動は使い辛い
fact19 -> int1: 「この牽連犯は出で来る」ということは成り立たない; int1 -> int2: 「出で来ない」ものはある;
$facts$ = fact1: もし仮に「この牽連犯は要求量であるかまたはそれは悪評である」ということは偽であるならば「あの奉仕活動は使い辛くない」ということは成り立つ fact2: その個人的権利が山遊びである一方で尽かさないとするとあの桐は出で来ない fact3: 「あの奉仕活動は使い辛くなくておまけに退院・社会復帰でない」ということは嘘であるならこの牽連犯は使い辛くない fact4: あの黒揚羽は好ましかそれは作成す fact5: もし仮に扱い難くない物が使い辛くないならばそれは崩れ易い fact6: もしあの遺伝子治療が分割後でないとすれば古めかしくて加えてそれはＨＯＷだ fact7: あの黒揚羽は地下深くてどうしても欲しいなら「あの遺伝子治療は分割後でない」ということは成り立つ fact8: この作品目録は悪評でない fact9: もし仮にあの遺伝子治療は物凄いとすれば「あの奉仕活動は使い辛くないしまたそれは退院・社会復帰でない」ということは成り立つということはない fact10: すべての物は出で来るということはない fact11: 仮にあの黒揚羽が作成すとすればそれはどうしても欲しい fact12: あの黒揚羽は育て易くて発現し易い fact13: その個人的権利は山遊びであるけれどそれは尽かすということはない fact14: もし仮にあるものはＨＯＷであるとすると物凄い fact15: 仮にあの黒揚羽が育て易いとするとそれは地下深い fact16: もし「出で来ない」物があるならばあの牽連犯は扱い難くない fact17: もしもあの黒揚羽が好ましならばどうしても欲しい fact18: 「この牽連犯は要求量であるかもしくは悪評であるかまたは両方ともだ」ということは偽だ ; $hypothesis$ = あの奉仕活動は使い辛くない ; $proof$ = 
fact1 & fact18 -> hypothesis; __PROVED__
事実1: もし仮に「この牽連犯は要求量であるかまたはそれは悪評である」ということは偽であるならば「あの奉仕活動は使い辛くない」ということは成り立つ
事実2: その個人的権利が山遊びである一方で尽かさないとするとあの桐は出で来ない
事実3: 「あの奉仕活動は使い辛くなくておまけに退院・社会復帰でない」ということは嘘であるならこの牽連犯は使い辛くない
事実4: あの黒揚羽は好ましかそれは作成す
事実5: もし仮に扱い難くない物が使い辛くないならばそれは崩れ易い
事実6: もしあの遺伝子治療が分割後でないとすれば古めかしくて加えてそれはＨＯＷだ
事実7: あの黒揚羽は地下深くてどうしても欲しいなら「あの遺伝子治療は分割後でない」ということは成り立つ
事実8: この作品目録は悪評でない
事実9: もし仮にあの遺伝子治療は物凄いとすれば「あの奉仕活動は使い辛くないしまたそれは退院・社会復帰でない」ということは成り立つということはない
事実10: すべての物は出で来るということはない
事実11: 仮にあの黒揚羽が作成すとすればそれはどうしても欲しい
事実12: あの黒揚羽は育て易くて発現し易い
事実13: その個人的権利は山遊びであるけれどそれは尽かすということはない
事実14: もし仮にあるものはＨＯＷであるとすると物凄い
事実15: 仮にあの黒揚羽が育て易いとするとそれは地下深い
事実16: もし「出で来ない」物があるならばあの牽連犯は扱い難くない
事実17: もしもあの黒揚羽が好ましならばどうしても欲しい
事実18: 「この牽連犯は要求量であるかもしくは悪評であるかまたは両方ともだ」ということは偽だ

仮説: あの奉仕活動は使い辛くない
1. 事実1と事実18から、仮説が導かれる

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