そのマントルは暴漢であるということはないししかも繋がりであるということはない
fact1: 仮になにかは甘いなら「暴漢であるしかつ繋がりでない」ということは嘘である fact2: そのマントルは甘い fact3: 何らかの物は甘いとすれば「それは暴漢だということはないしまた繋がりでない」ということは嘘だ
fact3 -> int1: もし仮にそのマントルは甘いならば「暴漢でないしさらにそれは繋がりでない」ということは間違っている; int1 & fact2 -> hypothesis;
fact3 -> int1: {A}{aa} -> ¬(¬{AA}{aa} & ¬{AB}{aa}); int1 & fact2 -> hypothesis;
$facts$ = fact1: 仮になにかは甘いなら「暴漢であるしかつ繋がりでない」ということは嘘である fact2: そのマントルは甘い fact3: 何らかの物は甘いとすれば「それは暴漢だということはないしまた繋がりでない」ということは嘘だ ; $hypothesis$ = そのマントルは暴漢であるということはないししかも繋がりであるということはない ; $proof$ = 
fact3 -> int1: もし仮にそのマントルは甘いならば「暴漢でないしさらにそれは繋がりでない」ということは間違っている; int1 & fact2 -> hypothesis; __DISPROVED__
事実1: 仮になにかは甘いなら「暴漢であるしかつ繋がりでない」ということは嘘である
事実2: そのマントルは甘い
事実3: 何らかの物は甘いとすれば「それは暴漢だということはないしまた繋がりでない」ということは嘘だ

仮説: そのマントルは暴漢であるということはないししかも繋がりであるということはない
1. 事実3から、推論1: "もし仮にそのマントルは甘いならば「暴漢でないしさらにそれは繋がりでない」ということは間違っている"が導かれる
2. 推論1と事実2から、仮説が否定される

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