その当該資料は当たり難くないか保有しないかまたはどちらもである
fact1: 「無視する」ものはある fact2: この検索結果は主導するしそれは小魚である fact3: もしもその当該資料はむんむんしないなら「「当たり難くないかまたはそれは保有しないかあるいは両方ともである」ということは成り立つ」ということは間違いだ fact4: もしも「その当該資料は時間節約で加えて小魚である」ということは成り立つとすればむんむんしない fact5: 「もし仮に「無視する」物があるとすればその当該資料は時間節約だしまた小魚だ」ということは成り立つ
fact1 & fact5 -> int1: その当該資料は時間節約でそれにそれは小魚である; int1 & fact4 -> int2: その当該資料はむんむんしない; int2 & fact3 -> hypothesis;
fact1 & fact5 -> int1: ({B}{a} & {C}{a}); int1 & fact4 -> int2: ¬{D}{a}; int2 & fact3 -> hypothesis;
$facts$ = fact1: 「無視する」ものはある fact2: この検索結果は主導するしそれは小魚である fact3: もしもその当該資料はむんむんしないなら「「当たり難くないかまたはそれは保有しないかあるいは両方ともである」ということは成り立つ」ということは間違いだ fact4: もしも「その当該資料は時間節約で加えて小魚である」ということは成り立つとすればむんむんしない fact5: 「もし仮に「無視する」物があるとすればその当該資料は時間節約だしまた小魚だ」ということは成り立つ ; $hypothesis$ = その当該資料は当たり難くないか保有しないかまたはどちらもである ; $proof$ = 
fact1 & fact5 -> int1: その当該資料は時間節約でそれにそれは小魚である; int1 & fact4 -> int2: その当該資料はむんむんしない; int2 & fact3 -> hypothesis; __DISPROVED__
事実1: 「無視する」ものはある
事実2: この検索結果は主導するしそれは小魚である
事実3: もしもその当該資料はむんむんしないなら「「当たり難くないかまたはそれは保有しないかあるいは両方ともである」ということは成り立つ」ということは間違いだ
事実4: もしも「その当該資料は時間節約で加えて小魚である」ということは成り立つとすればむんむんしない
事実5: 「もし仮に「無視する」物があるとすればその当該資料は時間節約だしまた小魚だ」ということは成り立つ

仮説: その当該資料は当たり難くないか保有しないかまたはどちらもである
1. 事実1と事実5から、推論1: "その当該資料は時間節約でそれにそれは小魚である"が導かれる
2. 推論1と事実4から、推論2: "その当該資料はむんむんしない"が導かれる
3. 推論2と事実3から、仮説が否定される

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