その古着は与太者である
fact1: その古着はマクロ構造でない fact2: 「このスパゲティは与太者でないがしかし揉み洗いする」ということは事実と異なる fact3: その古着は揉み洗いしない fact4: もし仮に「何かは御花見でない一方で奥床しい」ということは真実でないとしたらそれは与太者である fact5: 「このスパゲティはマクロ構造だということはなくてそれは揉み洗いしない」ということは誤っている fact6: もしもその古着がマクロ構造だとしたらこのスパゲティは揉み洗いしない fact7: 「このスパゲティはマクロ構造であるということはなくてそれは揉み洗いしない」ということは本当であるということはないとするとその古着は与太者であるということはない fact8: もし「このスパゲティは与太者だ」ということは確かならその古着は揉み洗いしない
fact7 & fact5 -> hypothesis;
fact7 & fact5 -> hypothesis;
その古着は与太者だ
fact9 -> int1: もし仮に「その古着は御花見でない一方で奥床しい」ということは成り立たないならそれは与太者である;
$facts$ = fact1: その古着はマクロ構造でない fact2: 「このスパゲティは与太者でないがしかし揉み洗いする」ということは事実と異なる fact3: その古着は揉み洗いしない fact4: もし仮に「何かは御花見でない一方で奥床しい」ということは真実でないとしたらそれは与太者である fact5: 「このスパゲティはマクロ構造だということはなくてそれは揉み洗いしない」ということは誤っている fact6: もしもその古着がマクロ構造だとしたらこのスパゲティは揉み洗いしない fact7: 「このスパゲティはマクロ構造であるということはなくてそれは揉み洗いしない」ということは本当であるということはないとするとその古着は与太者であるということはない fact8: もし「このスパゲティは与太者だ」ということは確かならその古着は揉み洗いしない ; $hypothesis$ = その古着は与太者である ; $proof$ = 
fact7 & fact5 -> hypothesis; __DISPROVED__
事実1: その古着はマクロ構造でない
事実2: 「このスパゲティは与太者でないがしかし揉み洗いする」ということは事実と異なる
事実3: その古着は揉み洗いしない
事実4: もし仮に「何かは御花見でない一方で奥床しい」ということは真実でないとしたらそれは与太者である
事実5: 「このスパゲティはマクロ構造だということはなくてそれは揉み洗いしない」ということは誤っている
事実6: もしもその古着がマクロ構造だとしたらこのスパゲティは揉み洗いしない
事実7: 「このスパゲティはマクロ構造であるということはなくてそれは揉み洗いしない」ということは本当であるということはないとするとその古着は与太者であるということはない
事実8: もし「このスパゲティは与太者だ」ということは確かならその古着は揉み洗いしない

仮説: その古着は与太者である
1. 事実7と事実5から、仮説が否定される

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