その自動化は見捨てるということはない
fact1: もし仮にそのダウンロードは見捨てれば「その自動化は桃畑だ」ということは間違いでない fact2: 仮にそのダウンロードが桃畑でないかもしくはそれが見捨てないとすればその自動化は見捨てない fact3: もしもそのダウンロードが検出しないとしたらそれはバリアするしまた訂正す fact4: もしそのダウンロードが桃畑ならその自動化は見捨てる fact5: あのアーチストは見捨てる fact6: そのダウンロードは桃畑である fact7: もし何らかのものが男らしくないとすればそれは桃畑であるしそれは見捨てる fact8: 「何らかのものは見捨てるし男らしい」ということは誤っているとすると見捨てるということはない fact9: もし仮に何らかの物がバリアするとすればそれは男らしい fact10: その自動化は桃畑だ
fact4 & fact6 -> hypothesis;
fact4 & fact6 -> hypothesis;
この挨拶程度は桃畑だ
fact12 -> int1: この挨拶程度が男らしくないならば桃畑であるししかも見捨てる;
$facts$ = fact1: もし仮にそのダウンロードは見捨てれば「その自動化は桃畑だ」ということは間違いでない fact2: 仮にそのダウンロードが桃畑でないかもしくはそれが見捨てないとすればその自動化は見捨てない fact3: もしもそのダウンロードが検出しないとしたらそれはバリアするしまた訂正す fact4: もしそのダウンロードが桃畑ならその自動化は見捨てる fact5: あのアーチストは見捨てる fact6: そのダウンロードは桃畑である fact7: もし何らかのものが男らしくないとすればそれは桃畑であるしそれは見捨てる fact8: 「何らかのものは見捨てるし男らしい」ということは誤っているとすると見捨てるということはない fact9: もし仮に何らかの物がバリアするとすればそれは男らしい fact10: その自動化は桃畑だ ; $hypothesis$ = その自動化は見捨てるということはない ; $proof$ = 
fact4 & fact6 -> hypothesis; __DISPROVED__
事実1: もし仮にそのダウンロードは見捨てれば「その自動化は桃畑だ」ということは間違いでない
事実2: 仮にそのダウンロードが桃畑でないかもしくはそれが見捨てないとすればその自動化は見捨てない
事実3: もしもそのダウンロードが検出しないとしたらそれはバリアするしまた訂正す
事実4: もしそのダウンロードが桃畑ならその自動化は見捨てる
事実5: あのアーチストは見捨てる
事実6: そのダウンロードは桃畑である
事実7: もし何らかのものが男らしくないとすればそれは桃畑であるしそれは見捨てる
事実8: 「何らかのものは見捨てるし男らしい」ということは誤っているとすると見捨てるということはない
事実9: もし仮に何らかの物がバリアするとすればそれは男らしい
事実10: その自動化は桃畑だ

仮説: その自動化は見捨てるということはない
1. 事実4と事実6から、仮説が否定される

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