その科学・技術は狡賢い
fact1: もしあの存在論的中心が狡賢いとすればそれは育ち難くない fact2: 「「どうして良い」ということは確かである」ものはある fact3: あの存在論的中心が上がり過ぎるしおまけにきっちりするとしたらその科学・技術は狡賢くない fact4: あの存在論的中心が取り掛かり易いかまたは育ち難いとしたら密入国しない fact5: このシナ屋はきっちりする fact6: 「どうして良いということはない」物はある fact7: もしも「どうして良いということはない」物があるとしたらあの存在論的中心は育ち難い fact8: どうして良い物は狡賢い fact9: その科学・技術はきっちりする fact10: そのわいがやは密入国するしおまけに積である fact11: もし仮にあの存在論的中心が密入国しないならそれは上がり過ぎる fact12: あの存在論的中心は取り掛かり易いかもしくは狡賢い fact13: あの存在論的中心はきっちりする
fact6 & fact7 -> int1: あの存在論的中心は育ち難い; int1 -> int2: あの存在論的中心は取り掛かり易いか育ち難いかもしくは両方だ; int2 & fact4 -> int3: あの存在論的中心は密入国しない; int3 & fact11 -> int4: あの存在論的中心は上がり過ぎる; int4 & fact13 -> int5: あの存在論的中心は上がり過ぎるししかもそれはきっちりする; int5 & fact3 -> hypothesis;
その科学・技術は狡賢い
fact14 -> int6: その科学・技術がどうして良いならそれは狡賢い;
$facts$ = fact1: もしあの存在論的中心が狡賢いとすればそれは育ち難くない fact2: 「「どうして良い」ということは確かである」ものはある fact3: あの存在論的中心が上がり過ぎるしおまけにきっちりするとしたらその科学・技術は狡賢くない fact4: あの存在論的中心が取り掛かり易いかまたは育ち難いとしたら密入国しない fact5: このシナ屋はきっちりする fact6: 「どうして良いということはない」物はある fact7: もしも「どうして良いということはない」物があるとしたらあの存在論的中心は育ち難い fact8: どうして良い物は狡賢い fact9: その科学・技術はきっちりする fact10: そのわいがやは密入国するしおまけに積である fact11: もし仮にあの存在論的中心が密入国しないならそれは上がり過ぎる fact12: あの存在論的中心は取り掛かり易いかもしくは狡賢い fact13: あの存在論的中心はきっちりする ; $hypothesis$ = その科学・技術は狡賢い ; $proof$ = 
fact6 & fact7 -> int1: あの存在論的中心は育ち難い; int1 -> int2: あの存在論的中心は取り掛かり易いか育ち難いかもしくは両方だ; int2 & fact4 -> int3: あの存在論的中心は密入国しない; int3 & fact11 -> int4: あの存在論的中心は上がり過ぎる; int4 & fact13 -> int5: あの存在論的中心は上がり過ぎるししかもそれはきっちりする; int5 & fact3 -> hypothesis; __DISPROVED__
事実1: もしあの存在論的中心が狡賢いとすればそれは育ち難くない
事実2: 「「どうして良い」ということは確かである」ものはある
事実3: あの存在論的中心が上がり過ぎるしおまけにきっちりするとしたらその科学・技術は狡賢くない
事実4: あの存在論的中心が取り掛かり易いかまたは育ち難いとしたら密入国しない
事実5: このシナ屋はきっちりする
事実6: 「どうして良いということはない」物はある
事実7: もしも「どうして良いということはない」物があるとしたらあの存在論的中心は育ち難い
事実8: どうして良い物は狡賢い
事実9: その科学・技術はきっちりする
事実10: そのわいがやは密入国するしおまけに積である
事実11: もし仮にあの存在論的中心が密入国しないならそれは上がり過ぎる
事実12: あの存在論的中心は取り掛かり易いかもしくは狡賢い
事実13: あの存在論的中心はきっちりする

仮説: その科学・技術は狡賢い
1. 事実6と事実7から、推論1: "あの存在論的中心は育ち難い"が導かれる
2. 推論1から、推論2: "あの存在論的中心は取り掛かり易いか育ち難いかもしくは両方だ"が導かれる
3. 推論2と事実4から、推論3: "あの存在論的中心は密入国しない"が導かれる
4. 推論3と事実11から、推論4: "あの存在論的中心は上がり過ぎる"が導かれる
5. 推論4と事実13から、推論5: "あの存在論的中心は上がり過ぎるししかもそれはきっちりする"が導かれる
6. 推論5と事実3から、仮説が否定される

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