このＤＮＡ考古学は乗り入れるということはない
fact1: もしも「何かは製造出来なくてそれは眺め渡さない」ということは間違っていれば眺め渡す fact2: この法的規制は乗り入れる fact3: このＤＮＡ考古学は眺め渡す fact4: 誇りっぽくない物は製造出来るがしかし眺め渡さない fact5: 「太田母斑でない」ものがあるならこの安全達成は清くない fact6: もしもあるものは製造出来るけど眺め渡すということはないならそれは乗り入れない fact7: このＤＮＡ考古学は太田母斑でなくて更に掛かり易くない fact8: 清くないものは乗り入れるしさらに誇りっぽい fact9: このＤＮＡ考古学は眺め渡すししかも製造出来る fact10: もし仮にとある物が製造出来るとすると乗り入れる fact11: もしとある物は乗り入れるとしたら「製造出来なくて眺め渡さない」ということは偽である
fact9 -> int1: 「このＤＮＡ考古学は製造出来る」ということは正しい; fact10 -> int2: もし仮にこのＤＮＡ考古学が製造出来れば乗り入れる; int1 & int2 -> hypothesis;
fact9 -> int1: {B}{a}; fact10 -> int2: {B}{a} -> {C}{a}; int1 & int2 -> hypothesis;
この安全達成は眺め渡す
fact13 -> int3: もし「この安全達成が製造出来ないしさらに眺め渡さない」ということは誤りであるならば眺め渡す; fact16 -> int4: もしも「この安全達成は乗り入れる」ということは正しいとすれば「それは製造出来るということはなくて眺め渡さない」ということは本当でない; fact15 -> int5: もしもこの安全達成が清いということはないならそれが乗り入れるしその上誇りっぽい; fact12 -> int6: このＤＮＡ考古学は太田母斑でない; int6 -> int7: なんらかの物は太田母斑でない; int7 & fact14 -> int8: この安全達成は清くない; int5 & int8 -> int9: この安全達成は乗り入れるししかも誇りっぽい; int9 -> int10: この安全達成は乗り入れる; int4 & int10 -> int11: 「この安全達成は製造出来なくてまた眺め渡さない」ということは嘘だ; int3 & int11 -> hypothesis;
$facts$ = fact1: もしも「何かは製造出来なくてそれは眺め渡さない」ということは間違っていれば眺め渡す fact2: この法的規制は乗り入れる fact3: このＤＮＡ考古学は眺め渡す fact4: 誇りっぽくない物は製造出来るがしかし眺め渡さない fact5: 「太田母斑でない」ものがあるならこの安全達成は清くない fact6: もしもあるものは製造出来るけど眺め渡すということはないならそれは乗り入れない fact7: このＤＮＡ考古学は太田母斑でなくて更に掛かり易くない fact8: 清くないものは乗り入れるしさらに誇りっぽい fact9: このＤＮＡ考古学は眺め渡すししかも製造出来る fact10: もし仮にとある物が製造出来るとすると乗り入れる fact11: もしとある物は乗り入れるとしたら「製造出来なくて眺め渡さない」ということは偽である ; $hypothesis$ = このＤＮＡ考古学は乗り入れるということはない ; $proof$ = 
fact9 -> int1: 「このＤＮＡ考古学は製造出来る」ということは正しい; fact10 -> int2: もし仮にこのＤＮＡ考古学が製造出来れば乗り入れる; int1 & int2 -> hypothesis; __DISPROVED__
事実1: もしも「何かは製造出来なくてそれは眺め渡さない」ということは間違っていれば眺め渡す
事実2: この法的規制は乗り入れる
事実3: このＤＮＡ考古学は眺め渡す
事実4: 誇りっぽくない物は製造出来るがしかし眺め渡さない
事実5: 「太田母斑でない」ものがあるならこの安全達成は清くない
事実6: もしもあるものは製造出来るけど眺め渡すということはないならそれは乗り入れない
事実7: このＤＮＡ考古学は太田母斑でなくて更に掛かり易くない
事実8: 清くないものは乗り入れるしさらに誇りっぽい
事実9: このＤＮＡ考古学は眺め渡すししかも製造出来る
事実10: もし仮にとある物が製造出来るとすると乗り入れる
事実11: もしとある物は乗り入れるとしたら「製造出来なくて眺め渡さない」ということは偽である

仮説: このＤＮＡ考古学は乗り入れるということはない
1. 事実9から、推論1: "「このＤＮＡ考古学は製造出来る」ということは正しい"が導かれる
2. 事実10から、推論2: "もし仮にこのＤＮＡ考古学が製造出来れば乗り入れる"が導かれる
3. 推論1と推論2から、仮説が否定される

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