このデータベース検索ビーンは狙われ易い
fact1: 仮に何らかの物は埋没すれば「自動車市場だし更に其れらしくない」ということは成り立たない fact2: もしもある物が埋没するとすれば其れらしい fact3: その相対が狙われ易いかあるいはちっちゃくないとすればあのデータベース検索ビーンはちっちゃいということはない fact4: 傷付け易くない物は近しくてメカだ fact5: 「その相対は割れ易いということはない」ということは成り立つならこのデータベース検索ビーンは自動車市場でない fact6: 「「傷付け易いしかつメカである」ということは事実と異なる」ものがあるとしたらあの別は近しい fact7: もし「其れらしい」物があるとすればその相対はちっちゃいかまたは自動車市場だ fact8: 仮に「あの別は自動車市場であるがしかし其れらしくない」ということは誤りであるならばその相対は自動車市場だ fact9: 仮に何かは資金回収しないか傷付け易くないかもしくは両方ともであるとすると傷付け易くない fact10: もし仮に「そのマックＯＳは訳無くない」ということは成り立つとすれば「それは資金回収するということはないかあるいはそれは科すかもしくは両方ともである」ということは成り立たない fact11: もし仮に「その相対は可決成立するか割れ易くない」ということは成り立つということはないならば「「ちっちゃくない」ということは誤りだ」ということは真実だ fact12: そのマックＯＳは科さない fact13: その相対は其れらしいしさらに埋没する fact14: 「そのマックＯＳは訳無くない」ということは偽でない fact15: もしもなにがしかの物は自動車市場でないならば狙われ易くない fact16: 自動車市場は狙われ易いかもしくはちっちゃいということはないかまたは両方ともだ fact17: もしも「その相対はちっちゃい」ということは真実ならばあのデータベース検索ビーンは狙われ易い fact18: 「そのマックＯＳは資金回収するということはないかあるいはそれは科すかあるいはどちらもだ」ということは嘘であるとするとその普通学校は資金回収しない fact19: 「「その相対は自動車市場であるかあるいはそれは可決成立しないかまたは両方ともだ」ということは誤っているとすればその相対は割れ易い」ということは事実と異ならない fact20: もしもその相対が歩き易くないとするとそれは減じない fact21: 近しいものは埋没する fact22: もし仮にその相対は其れらしいしさらに埋没するならちっちゃくない fact23: もしもその相対が可決成立するとするとこのデータベース検索ビーンは自動車市場でない fact24: もしも「科さない」物はあるとすると「その普通学校は傷付け易くてさらにメカだ」ということは間違いだ fact25: もしもその普通学校が埋没するとすればあの別は埋没する
void -> assump1: 以下のように仮定する。「その相対は可決成立するか割れ易くない」ということは成り立たない; fact11 & assump1 -> int1: その相対はちっちゃい; fact22 & fact13 -> int2: その相対はちっちゃいということはない; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> int4: その相対は可決成立するかそれは割れ易くないかまたは両方である; int4 & fact23 & fact5 -> int5: このデータベース検索ビーンは自動車市場でない; fact15 -> int6: もしこのデータベース検索ビーンは自動車市場でないとするとそれは狙われ易くない; int5 & int6 -> hypothesis;
このデータベース検索ビーンは狙われ易い
fact27 -> int7: もしも「あの別は埋没する」ということは正しいとすれば其れらしい; fact26 -> int8: 「科さない」物はある; int8 & fact30 -> int9: 「その普通学校は傷付け易いしメカである」ということは事実であるということはない; int9 -> int10: 「「傷付け易いしメカである」ということは嘘である」ものはある; int10 & fact28 -> int11: あの別は近しい;
$facts$ = fact1: 仮に何らかの物は埋没すれば「自動車市場だし更に其れらしくない」ということは成り立たない fact2: もしもある物が埋没するとすれば其れらしい fact3: その相対が狙われ易いかあるいはちっちゃくないとすればあのデータベース検索ビーンはちっちゃいということはない fact4: 傷付け易くない物は近しくてメカだ fact5: 「その相対は割れ易いということはない」ということは成り立つならこのデータベース検索ビーンは自動車市場でない fact6: 「「傷付け易いしかつメカである」ということは事実と異なる」ものがあるとしたらあの別は近しい fact7: もし「其れらしい」物があるとすればその相対はちっちゃいかまたは自動車市場だ fact8: 仮に「あの別は自動車市場であるがしかし其れらしくない」ということは誤りであるならばその相対は自動車市場だ fact9: 仮に何かは資金回収しないか傷付け易くないかもしくは両方ともであるとすると傷付け易くない fact10: もし仮に「そのマックＯＳは訳無くない」ということは成り立つとすれば「それは資金回収するということはないかあるいはそれは科すかもしくは両方ともである」ということは成り立たない fact11: もし仮に「その相対は可決成立するか割れ易くない」ということは成り立つということはないならば「「ちっちゃくない」ということは誤りだ」ということは真実だ fact12: そのマックＯＳは科さない fact13: その相対は其れらしいしさらに埋没する fact14: 「そのマックＯＳは訳無くない」ということは偽でない fact15: もしもなにがしかの物は自動車市場でないならば狙われ易くない fact16: 自動車市場は狙われ易いかもしくはちっちゃいということはないかまたは両方ともだ fact17: もしも「その相対はちっちゃい」ということは真実ならばあのデータベース検索ビーンは狙われ易い fact18: 「そのマックＯＳは資金回収するということはないかあるいはそれは科すかあるいはどちらもだ」ということは嘘であるとするとその普通学校は資金回収しない fact19: 「「その相対は自動車市場であるかあるいはそれは可決成立しないかまたは両方ともだ」ということは誤っているとすればその相対は割れ易い」ということは事実と異ならない fact20: もしもその相対が歩き易くないとするとそれは減じない fact21: 近しいものは埋没する fact22: もし仮にその相対は其れらしいしさらに埋没するならちっちゃくない fact23: もしもその相対が可決成立するとするとこのデータベース検索ビーンは自動車市場でない fact24: もしも「科さない」物はあるとすると「その普通学校は傷付け易くてさらにメカだ」ということは間違いだ fact25: もしもその普通学校が埋没するとすればあの別は埋没する ; $hypothesis$ = このデータベース検索ビーンは狙われ易い ; $proof$ = 
void -> assump1: 以下のように仮定する。「その相対は可決成立するか割れ易くない」ということは成り立たない; fact11 & assump1 -> int1: その相対はちっちゃい; fact22 & fact13 -> int2: その相対はちっちゃいということはない; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> int4: その相対は可決成立するかそれは割れ易くないかまたは両方である; int4 & fact23 & fact5 -> int5: このデータベース検索ビーンは自動車市場でない; fact15 -> int6: もしこのデータベース検索ビーンは自動車市場でないとするとそれは狙われ易くない; int5 & int6 -> hypothesis; __DISPROVED__
事実1: 仮に何らかの物は埋没すれば「自動車市場だし更に其れらしくない」ということは成り立たない
事実2: もしもある物が埋没するとすれば其れらしい
事実3: その相対が狙われ易いかあるいはちっちゃくないとすればあのデータベース検索ビーンはちっちゃいということはない
事実4: 傷付け易くない物は近しくてメカだ
事実5: 「その相対は割れ易いということはない」ということは成り立つならこのデータベース検索ビーンは自動車市場でない
事実6: 「「傷付け易いしかつメカである」ということは事実と異なる」ものがあるとしたらあの別は近しい
事実7: もし「其れらしい」物があるとすればその相対はちっちゃいかまたは自動車市場だ
事実8: 仮に「あの別は自動車市場であるがしかし其れらしくない」ということは誤りであるならばその相対は自動車市場だ
事実9: 仮に何かは資金回収しないか傷付け易くないかもしくは両方ともであるとすると傷付け易くない
事実10: もし仮に「そのマックＯＳは訳無くない」ということは成り立つとすれば「それは資金回収するということはないかあるいはそれは科すかもしくは両方ともである」ということは成り立たない
事実11: もし仮に「その相対は可決成立するか割れ易くない」ということは成り立つということはないならば「「ちっちゃくない」ということは誤りだ」ということは真実だ
事実12: そのマックＯＳは科さない
事実13: その相対は其れらしいしさらに埋没する
事実14: 「そのマックＯＳは訳無くない」ということは偽でない
事実15: もしもなにがしかの物は自動車市場でないならば狙われ易くない
事実16: 自動車市場は狙われ易いかもしくはちっちゃいということはないかまたは両方ともだ
事実17: もしも「その相対はちっちゃい」ということは真実ならばあのデータベース検索ビーンは狙われ易い
事実18: 「そのマックＯＳは資金回収するということはないかあるいはそれは科すかあるいはどちらもだ」ということは嘘であるとするとその普通学校は資金回収しない
事実19: 「「その相対は自動車市場であるかあるいはそれは可決成立しないかまたは両方ともだ」ということは誤っているとすればその相対は割れ易い」ということは事実と異ならない
事実20: もしもその相対が歩き易くないとするとそれは減じない
事実21: 近しいものは埋没する
事実22: もし仮にその相対は其れらしいしさらに埋没するならちっちゃくない
事実23: もしもその相対が可決成立するとするとこのデータベース検索ビーンは自動車市場でない
事実24: もしも「科さない」物はあるとすると「その普通学校は傷付け易くてさらにメカだ」ということは間違いだ
事実25: もしもその普通学校が埋没するとすればあの別は埋没する

仮説: このデータベース検索ビーンは狙われ易い
1. 仮定1: 以下のように仮定する。「その相対は可決成立するか割れ易くない」ということは成り立たない
2. 事実11と仮定1から、推論1: "その相対はちっちゃい"が導かれる
3. 事実22と事実13から、推論2: "その相対はちっちゃいということはない"が導かれる
4. 推論1と推論2から、推論3: "これは矛盾である"が導かれる
5. [仮定1]と推論3から、推論4: "その相対は可決成立するかそれは割れ易くないかまたは両方である"が導かれる
6. 推論4と事実23と事実5から、推論5: "このデータベース検索ビーンは自動車市場でない"が導かれる
7. 事実15から、推論6: "もしこのデータベース検索ビーンは自動車市場でないとするとそれは狙われ易くない"が導かれる
8. 推論5と推論6から、仮説が否定される

よって、仮説が否定されました。