この伝導イミュニティ試験はおろおろする
fact1: あのＨＣＶ‐ＲＮＡが移り易くないとしたらこの伝導イミュニティ試験はおろおろするということはないしかつ移り易くない fact2: あのＨＣＶ‐ＲＮＡは受けるけどハミングしない fact3: あの併用時は分解され難くない fact4: もしあのＨＣＶ‐ＲＮＡが移り易い一方で御箱でないならばそれはおろおろしない fact5: そのコスモポリタンはおろおろするということはない fact6: この朝食は分解され難くない fact7: もしもこの伝導イミュニティ試験がおろおろしないならばあのＨＣＶ‐ＲＮＡは分解され難くないししかもおろおろしない fact8: 痛み易い物はおろおろする fact9: あのＢ案は移り易いということはない fact10: もし仮にこの伝導イミュニティ試験は御箱だけど分解され難くないとすると「おろおろするということはない」ということは成り立つ fact11: あのＨＣＶ‐ＲＮＡがおろおろしないとしたらこの伝導イミュニティ試験は分解され難くない fact12: 「あのＨＣＶ‐ＲＮＡは移り易い」ということは正しい fact13: あのＨＣＶ‐ＲＮＡは入所定員でない fact14: この伝導イミュニティ試験は分解され難くない fact15: あのＨＣＶ‐ＲＮＡは分解され難くない fact16: あのＨＣＶ‐ＲＮＡは移り易いがそれは御箱でない fact17: その分化度は痛ーくないしそれはかわゆくない fact18: もしもあのＨＣＶ‐ＲＮＡがおろおろしないならこの伝導イミュニティ試験は分解され難くないしそれにおろおろしない fact19: なんらかのものが分解され難いとすると痛み易い
fact4 & fact16 -> int1: あのＨＣＶ‐ＲＮＡはおろおろしない; int1 & fact18 -> int2: 「この伝導イミュニティ試験は分解され難くないしその上おろおろしない」ということは成り立つ; int2 -> hypothesis;
この伝導イミュニティ試験はおろおろする
fact21 -> int3: もしもこの伝導イミュニティ試験が痛み易いとすればそれはおろおろする; fact20 -> int4: もしこの伝導イミュニティ試験が分解され難いならば痛み易い;
$facts$ = fact1: あのＨＣＶ‐ＲＮＡが移り易くないとしたらこの伝導イミュニティ試験はおろおろするということはないしかつ移り易くない fact2: あのＨＣＶ‐ＲＮＡは受けるけどハミングしない fact3: あの併用時は分解され難くない fact4: もしあのＨＣＶ‐ＲＮＡが移り易い一方で御箱でないならばそれはおろおろしない fact5: そのコスモポリタンはおろおろするということはない fact6: この朝食は分解され難くない fact7: もしもこの伝導イミュニティ試験がおろおろしないならばあのＨＣＶ‐ＲＮＡは分解され難くないししかもおろおろしない fact8: 痛み易い物はおろおろする fact9: あのＢ案は移り易いということはない fact10: もし仮にこの伝導イミュニティ試験は御箱だけど分解され難くないとすると「おろおろするということはない」ということは成り立つ fact11: あのＨＣＶ‐ＲＮＡがおろおろしないとしたらこの伝導イミュニティ試験は分解され難くない fact12: 「あのＨＣＶ‐ＲＮＡは移り易い」ということは正しい fact13: あのＨＣＶ‐ＲＮＡは入所定員でない fact14: この伝導イミュニティ試験は分解され難くない fact15: あのＨＣＶ‐ＲＮＡは分解され難くない fact16: あのＨＣＶ‐ＲＮＡは移り易いがそれは御箱でない fact17: その分化度は痛ーくないしそれはかわゆくない fact18: もしもあのＨＣＶ‐ＲＮＡがおろおろしないならこの伝導イミュニティ試験は分解され難くないしそれにおろおろしない fact19: なんらかのものが分解され難いとすると痛み易い ; $hypothesis$ = この伝導イミュニティ試験はおろおろする ; $proof$ = 
fact4 & fact16 -> int1: あのＨＣＶ‐ＲＮＡはおろおろしない; int1 & fact18 -> int2: 「この伝導イミュニティ試験は分解され難くないしその上おろおろしない」ということは成り立つ; int2 -> hypothesis; __DISPROVED__
事実1: あのＨＣＶ‐ＲＮＡが移り易くないとしたらこの伝導イミュニティ試験はおろおろするということはないしかつ移り易くない
事実2: あのＨＣＶ‐ＲＮＡは受けるけどハミングしない
事実3: あの併用時は分解され難くない
事実4: もしあのＨＣＶ‐ＲＮＡが移り易い一方で御箱でないならばそれはおろおろしない
事実5: そのコスモポリタンはおろおろするということはない
事実6: この朝食は分解され難くない
事実7: もしもこの伝導イミュニティ試験がおろおろしないならばあのＨＣＶ‐ＲＮＡは分解され難くないししかもおろおろしない
事実8: 痛み易い物はおろおろする
事実9: あのＢ案は移り易いということはない
事実10: もし仮にこの伝導イミュニティ試験は御箱だけど分解され難くないとすると「おろおろするということはない」ということは成り立つ
事実11: あのＨＣＶ‐ＲＮＡがおろおろしないとしたらこの伝導イミュニティ試験は分解され難くない
事実12: 「あのＨＣＶ‐ＲＮＡは移り易い」ということは正しい
事実13: あのＨＣＶ‐ＲＮＡは入所定員でない
事実14: この伝導イミュニティ試験は分解され難くない
事実15: あのＨＣＶ‐ＲＮＡは分解され難くない
事実16: あのＨＣＶ‐ＲＮＡは移り易いがそれは御箱でない
事実17: その分化度は痛ーくないしそれはかわゆくない
事実18: もしもあのＨＣＶ‐ＲＮＡがおろおろしないならこの伝導イミュニティ試験は分解され難くないしそれにおろおろしない
事実19: なんらかのものが分解され難いとすると痛み易い

仮説: この伝導イミュニティ試験はおろおろする
1. 事実4と事実16から、推論1: "あのＨＣＶ‐ＲＮＡはおろおろしない"が導かれる
2. 推論1と事実18から、推論2: "「この伝導イミュニティ試験は分解され難くないしその上おろおろしない」ということは成り立つ"が導かれる
3. 推論2から、仮説が否定される

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