「「あの検索資料は馬鹿らしいということはない一方で製鉄遺跡である」ということは成り立たない」ということは真実である
fact1: あの任意事業は馬鹿らしくない fact2: あのウィルス種は根治する fact3: 「あの検索資料は製鉄遺跡だ」ということは真実である fact4: あの任意事業は根治する fact5: 「もし仮に「あの任意事業は逃走するし加えて女の子らしい」ということは偽だとするとあの任意事業は逃走しない」ということは真実である fact6: もし「あのウィルス種は製鉄遺跡でない」ということは本当だとすればあの検索資料は逃走しない一方で根治する fact7: あの生態観察は逃走する fact8: あの任意事業は消化し難くない fact9: もしあの任意事業は消化し難くないとすれば「読み難いししかも製鉄遺跡だ」ということは偽である fact10: 仮にあのウィルス種が根治するし逃走するならあの任意事業は読み難くない fact11: あのウィルス種は逃走する fact12: あの検索資料は読み難くない fact13: もしもこの芸能プロダクションは読み難くないとすれば「あの任意事業は逃走するしかつ女の子らしい」ということは間違っている fact14: もしも「あの任意事業は読み難くない」ということは成り立つとするとあの検索資料は製鉄遺跡である fact15: あの任意事業が読み難くないとすればあの検索資料は馬鹿らしくないがしかし製鉄遺跡だ fact16: もし「「読み難いし製鉄遺跡である」ということは成り立たない」物があればその奉天大会戦は製鉄遺跡でない fact17: 「あの検索資料は喘がないがしかしそれは楽士である」ということは本当だ
fact2 & fact11 -> int1: あのウィルス種は根治するし逃走する; int1 & fact10 -> int2: あの任意事業は読み難くない; int2 & fact15 -> hypothesis;
fact2 & fact11 -> int1: ({A}{a} & {B}{a}); int1 & fact10 -> int2: ¬{C}{b}; int2 & fact15 -> hypothesis;
「あの検索資料は馬鹿らしくないがしかし製鉄遺跡だ」ということは間違いだ
$facts$ = fact1: あの任意事業は馬鹿らしくない fact2: あのウィルス種は根治する fact3: 「あの検索資料は製鉄遺跡だ」ということは真実である fact4: あの任意事業は根治する fact5: 「もし仮に「あの任意事業は逃走するし加えて女の子らしい」ということは偽だとするとあの任意事業は逃走しない」ということは真実である fact6: もし「あのウィルス種は製鉄遺跡でない」ということは本当だとすればあの検索資料は逃走しない一方で根治する fact7: あの生態観察は逃走する fact8: あの任意事業は消化し難くない fact9: もしあの任意事業は消化し難くないとすれば「読み難いししかも製鉄遺跡だ」ということは偽である fact10: 仮にあのウィルス種が根治するし逃走するならあの任意事業は読み難くない fact11: あのウィルス種は逃走する fact12: あの検索資料は読み難くない fact13: もしもこの芸能プロダクションは読み難くないとすれば「あの任意事業は逃走するしかつ女の子らしい」ということは間違っている fact14: もしも「あの任意事業は読み難くない」ということは成り立つとするとあの検索資料は製鉄遺跡である fact15: あの任意事業が読み難くないとすればあの検索資料は馬鹿らしくないがしかし製鉄遺跡だ fact16: もし「「読み難いし製鉄遺跡である」ということは成り立たない」物があればその奉天大会戦は製鉄遺跡でない fact17: 「あの検索資料は喘がないがしかしそれは楽士である」ということは本当だ ; $hypothesis$ = 「「あの検索資料は馬鹿らしいということはない一方で製鉄遺跡である」ということは成り立たない」ということは真実である ; $proof$ = 
fact2 & fact11 -> int1: あのウィルス種は根治するし逃走する; int1 & fact10 -> int2: あの任意事業は読み難くない; int2 & fact15 -> hypothesis; __DISPROVED__
事実1: あの任意事業は馬鹿らしくない
事実2: あのウィルス種は根治する
事実3: 「あの検索資料は製鉄遺跡だ」ということは真実である
事実4: あの任意事業は根治する
事実5: 「もし仮に「あの任意事業は逃走するし加えて女の子らしい」ということは偽だとするとあの任意事業は逃走しない」ということは真実である
事実6: もし「あのウィルス種は製鉄遺跡でない」ということは本当だとすればあの検索資料は逃走しない一方で根治する
事実7: あの生態観察は逃走する
事実8: あの任意事業は消化し難くない
事実9: もしあの任意事業は消化し難くないとすれば「読み難いししかも製鉄遺跡だ」ということは偽である
事実10: 仮にあのウィルス種が根治するし逃走するならあの任意事業は読み難くない
事実11: あのウィルス種は逃走する
事実12: あの検索資料は読み難くない
事実13: もしもこの芸能プロダクションは読み難くないとすれば「あの任意事業は逃走するしかつ女の子らしい」ということは間違っている
事実14: もしも「あの任意事業は読み難くない」ということは成り立つとするとあの検索資料は製鉄遺跡である
事実15: あの任意事業が読み難くないとすればあの検索資料は馬鹿らしくないがしかし製鉄遺跡だ
事実16: もし「「読み難いし製鉄遺跡である」ということは成り立たない」物があればその奉天大会戦は製鉄遺跡でない
事実17: 「あの検索資料は喘がないがしかしそれは楽士である」ということは本当だ

仮説: 「「あの検索資料は馬鹿らしいということはない一方で製鉄遺跡である」ということは成り立たない」ということは真実である
1. 事実2と事実11から、推論1: "あのウィルス種は根治するし逃走する"が導かれる
2. 推論1と事実10から、推論2: "あの任意事業は読み難くない"が導かれる
3. 推論2と事実15から、仮説が否定される

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