その両替機は箇条である
fact1: 仮になんらかのものが御越しに成るとするとそれは染み出ないがしかし御優しい fact2: 「「連想し易くてかつ添付資料でない」ということは偽な」ものはある fact3: とあるものは添付資料であるならばそれは箇条でないが乗ずる fact4: 仮に「「連想し易くてそれに添付資料でない」ということは真実でない」物があるとしたらその両替機は添付資料だ fact5: 「見え辛い物は汗臭い」ということは真実である
fact3 -> int1: 仮にその両替機が添付資料であるとしたらそれは箇条でなくて乗ずる; fact2 & fact4 -> int2: その両替機は添付資料だ; int1 & int2 -> int3: その両替機は箇条でないがしかし乗ずる; int3 -> hypothesis;
$facts$ = fact1: 仮になんらかのものが御越しに成るとするとそれは染み出ないがしかし御優しい fact2: 「「連想し易くてかつ添付資料でない」ということは偽な」ものはある fact3: とあるものは添付資料であるならばそれは箇条でないが乗ずる fact4: 仮に「「連想し易くてそれに添付資料でない」ということは真実でない」物があるとしたらその両替機は添付資料だ fact5: 「見え辛い物は汗臭い」ということは真実である ; $hypothesis$ = その両替機は箇条である ; $proof$ = 
fact3 -> int1: 仮にその両替機が添付資料であるとしたらそれは箇条でなくて乗ずる; fact2 & fact4 -> int2: その両替機は添付資料だ; int1 & int2 -> int3: その両替機は箇条でないがしかし乗ずる; int3 -> hypothesis; __DISPROVED__
事実1: 仮になんらかのものが御越しに成るとするとそれは染み出ないがしかし御優しい
事実2: 「「連想し易くてかつ添付資料でない」ということは偽な」ものはある
事実3: とあるものは添付資料であるならばそれは箇条でないが乗ずる
事実4: 仮に「「連想し易くてそれに添付資料でない」ということは真実でない」物があるとしたらその両替機は添付資料だ
事実5: 「見え辛い物は汗臭い」ということは真実である

仮説: その両替機は箇条である
1. 事実3から、推論1: "仮にその両替機が添付資料であるとしたらそれは箇条でなくて乗ずる"が導かれる
2. 事実2と事実4から、推論2: "その両替機は添付資料だ"が導かれる
3. 推論1と推論2から、推論3: "その両替機は箇条でないがしかし乗ずる"が導かれる
4. 推論3から、仮説が否定される

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