「「もし仮に似るかあるいは朗誦しないかもしくはどちらもであるとすれば物寂しくない」物はある」ということは誤っている
fact1: もし仮にこの二タイプが似るとすれば物寂しいということはない fact2: 「もし朗誦するということはないとしたら物寂しくない」ものはある fact3: 「もし仮に似るかもしくは朗誦するかあるいはどちらもならば物寂しいということはない」ものはある fact4: もしこの二タイプは似るか朗誦するかもしくは両方ともだとすればそれは物寂しくない fact5: 「「似るか朗誦しないかあるいは両方ともである」ということは成り立つとしたら物寂しい」ものはある fact6: この二タイプは似るかもしくは朗誦しないとするとそれは物寂しい fact7: 「もし仮に似るなら「物寂しくない」ということは本当な」物はある fact8: この二タイプは似るかまたは朗誦しないとしたらそれは物寂しいということはない
fact8 -> hypothesis;
$facts$ = fact1: もし仮にこの二タイプが似るとすれば物寂しいということはない fact2: 「もし朗誦するということはないとしたら物寂しくない」ものはある fact3: 「もし仮に似るかもしくは朗誦するかあるいはどちらもならば物寂しいということはない」ものはある fact4: もしこの二タイプは似るか朗誦するかもしくは両方ともだとすればそれは物寂しくない fact5: 「「似るか朗誦しないかあるいは両方ともである」ということは成り立つとしたら物寂しい」ものはある fact6: この二タイプは似るかもしくは朗誦しないとするとそれは物寂しい fact7: 「もし仮に似るなら「物寂しくない」ということは本当な」物はある fact8: この二タイプは似るかまたは朗誦しないとしたらそれは物寂しいということはない ; $hypothesis$ = 「「もし仮に似るかあるいは朗誦しないかもしくはどちらもであるとすれば物寂しくない」物はある」ということは誤っている ; $proof$ = 
fact8 -> hypothesis; __DISPROVED__
事実1: もし仮にこの二タイプが似るとすれば物寂しいということはない
事実2: 「もし朗誦するということはないとしたら物寂しくない」ものはある
事実3: 「もし仮に似るかもしくは朗誦するかあるいはどちらもならば物寂しいということはない」ものはある
事実4: もしこの二タイプは似るか朗誦するかもしくは両方ともだとすればそれは物寂しくない
事実5: 「「似るか朗誦しないかあるいは両方ともである」ということは成り立つとしたら物寂しい」ものはある
事実6: この二タイプは似るかもしくは朗誦しないとするとそれは物寂しい
事実7: 「もし仮に似るなら「物寂しくない」ということは本当な」物はある
事実8: この二タイプは似るかまたは朗誦しないとしたらそれは物寂しいということはない

仮説: 「「もし仮に似るかあるいは朗誦しないかもしくはどちらもであるとすれば物寂しくない」物はある」ということは誤っている
1. 事実8から、仮説が否定される

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