その妻女は事象間でない
fact1: もしも「なにかは揃えないしそれに変化し易くない」ということは確かでないならばそれは事象間だ fact2: そのメカニズムが汗臭いけれど事象間でないならばその妻女は事象間でない fact3: 何らかのものが揃えればそれは汗臭いしかつそれは事象間でない fact4: 何らかのものは汗臭いならば「その妻女は揃えないし変化し易くない」ということは間違っている fact5: 「「汗臭い」ということは本当な」物はある
fact5 & fact4 -> int1: 「その妻女は揃えないし変化し易くない」ということは真実でない; fact1 -> int2: 「その妻女は揃えないしそれにそれは変化し易くない」ということは成り立たないとすると事象間だ; int1 & int2 -> hypothesis;
その妻女は事象間でない
fact7 -> int3: もし仮にそのメカニズムが揃えれば汗臭いけれど事象間でない;
$facts$ = fact1: もしも「なにかは揃えないしそれに変化し易くない」ということは確かでないならばそれは事象間だ fact2: そのメカニズムが汗臭いけれど事象間でないならばその妻女は事象間でない fact3: 何らかのものが揃えればそれは汗臭いしかつそれは事象間でない fact4: 何らかのものは汗臭いならば「その妻女は揃えないし変化し易くない」ということは間違っている fact5: 「「汗臭い」ということは本当な」物はある ; $hypothesis$ = その妻女は事象間でない ; $proof$ = 
fact5 & fact4 -> int1: 「その妻女は揃えないし変化し易くない」ということは真実でない; fact1 -> int2: 「その妻女は揃えないしそれにそれは変化し易くない」ということは成り立たないとすると事象間だ; int1 & int2 -> hypothesis; __DISPROVED__
事実1: もしも「なにかは揃えないしそれに変化し易くない」ということは確かでないならばそれは事象間だ
事実2: そのメカニズムが汗臭いけれど事象間でないならばその妻女は事象間でない
事実3: 何らかのものが揃えればそれは汗臭いしかつそれは事象間でない
事実4: 何らかのものは汗臭いならば「その妻女は揃えないし変化し易くない」ということは間違っている
事実5: 「「汗臭い」ということは本当な」物はある

仮説: その妻女は事象間でない
1. 事実5と事実4から、推論1: "「その妻女は揃えないし変化し易くない」ということは真実でない"が導かれる
2. 事実1から、推論2: "「その妻女は揃えないしそれにそれは変化し易くない」ということは成り立たないとすると事象間だ"が導かれる
3. 推論1と推論2から、仮説が否定される

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