その甲種は変わる
fact1: もしも何らかのものはパロディでなくて更に照らし始めないとすると変わらない fact2: もし仮にあのタオルが掛け易いとするとその甲種はパロディでなくて照らし始めない fact3: あのタオルは掛け易い fact4: 仮に「あのタオルは掛け易い」ということは真実であるとするとその甲種は照らし始めない fact5: その甲種は照らし始めるということはない
fact2 & fact3 -> int1: その甲種はパロディでなくてかつ照らし始めるということはない; fact1 -> int2: もしその甲種はパロディであるということはないしおまけに照らし始めないなら「それは変わらない」ということは真実である; int1 & int2 -> hypothesis;
$facts$ = fact1: もしも何らかのものはパロディでなくて更に照らし始めないとすると変わらない fact2: もし仮にあのタオルが掛け易いとするとその甲種はパロディでなくて照らし始めない fact3: あのタオルは掛け易い fact4: 仮に「あのタオルは掛け易い」ということは真実であるとするとその甲種は照らし始めない fact5: その甲種は照らし始めるということはない ; $hypothesis$ = その甲種は変わる ; $proof$ = 
fact2 & fact3 -> int1: その甲種はパロディでなくてかつ照らし始めるということはない; fact1 -> int2: もしその甲種はパロディであるということはないしおまけに照らし始めないなら「それは変わらない」ということは真実である; int1 & int2 -> hypothesis; __DISPROVED__
事実1: もしも何らかのものはパロディでなくて更に照らし始めないとすると変わらない
事実2: もし仮にあのタオルが掛け易いとするとその甲種はパロディでなくて照らし始めない
事実3: あのタオルは掛け易い
事実4: 仮に「あのタオルは掛け易い」ということは真実であるとするとその甲種は照らし始めない
事実5: その甲種は照らし始めるということはない

仮説: その甲種は変わる
1. 事実2と事実3から、推論1: "その甲種はパロディでなくてかつ照らし始めるということはない"が導かれる
2. 事実1から、推論2: "もしその甲種はパロディであるということはないしおまけに照らし始めないなら「それは変わらない」ということは真実である"が導かれる
3. 推論1と推論2から、仮説が否定される

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