あのＸ会社はデーモン共だ
fact1: もしも「あのＸ会社は普及し始めないか取り出さないかあるいは両方である」ということは事実と異なるとしたらあの体育・スポーツは取り出すということはない fact2: 仮にあのＸ会社は祝日だとしたら「あの体育・スポーツはデーモン共だ」ということは確かだ fact3: あのＸ会社はデーモン共でないかあるいは祝日でない fact4: もし何らかの物が普及し始めるということはないとしたら中止すし取り出す fact5: この昇降階段は祝日だ fact6: 仮にあの体育・スポーツが祝日でないとしたらあの減少分は取り出す fact7: もしあの減少分がデーモン共ならばあのＸ会社は取り出す fact8: あの体育・スポーツがデーモン共だとしたらあのＸ会社は中止す fact9: あの体育・スポーツは祝日でないかもしくは中止すらないかもしくは両方ともだ fact10: もしあのＸ会社が祝日でないならばあの体育・スポーツはデーモン共である fact11: この音場は祝日である fact12: もしあの体育・スポーツが祝日だということはないならあのＸ会社は中止す fact13: あの体育・スポーツは取り出す fact14: あの体育・スポーツが中止すらないとしたらあの減少分は取り出す fact15: もしもあの減少分が祝日でないとすればあの体育・スポーツは取り出す fact16: 「あの減少分は祝日だ」ということは成り立つとするとあの体育・スポーツは取り出す fact17: あのＸ会社は祝日でないかもしくはデーモン共でないかまたは両方である fact18: あの減少分が取り出すとするとあのＸ会社はデーモン共だ fact19: あの体育・スポーツがデーモン共でないけれどそれが祝日であるならあのＸ会社はデーモン共でない fact20: あの減少分は眠くない fact21: もしあのＸ会社は取り出すとすれば「あの減少分はデーモン共だ」ということは確かだ
fact9 & fact6 & fact14 -> int1: あの減少分は取り出す; int1 & fact18 -> hypothesis;
あの五十五人は祝日である
$facts$ = fact1: もしも「あのＸ会社は普及し始めないか取り出さないかあるいは両方である」ということは事実と異なるとしたらあの体育・スポーツは取り出すということはない fact2: 仮にあのＸ会社は祝日だとしたら「あの体育・スポーツはデーモン共だ」ということは確かだ fact3: あのＸ会社はデーモン共でないかあるいは祝日でない fact4: もし何らかの物が普及し始めるということはないとしたら中止すし取り出す fact5: この昇降階段は祝日だ fact6: 仮にあの体育・スポーツが祝日でないとしたらあの減少分は取り出す fact7: もしあの減少分がデーモン共ならばあのＸ会社は取り出す fact8: あの体育・スポーツがデーモン共だとしたらあのＸ会社は中止す fact9: あの体育・スポーツは祝日でないかもしくは中止すらないかもしくは両方ともだ fact10: もしあのＸ会社が祝日でないならばあの体育・スポーツはデーモン共である fact11: この音場は祝日である fact12: もしあの体育・スポーツが祝日だということはないならあのＸ会社は中止す fact13: あの体育・スポーツは取り出す fact14: あの体育・スポーツが中止すらないとしたらあの減少分は取り出す fact15: もしもあの減少分が祝日でないとすればあの体育・スポーツは取り出す fact16: 「あの減少分は祝日だ」ということは成り立つとするとあの体育・スポーツは取り出す fact17: あのＸ会社は祝日でないかもしくはデーモン共でないかまたは両方である fact18: あの減少分が取り出すとするとあのＸ会社はデーモン共だ fact19: あの体育・スポーツがデーモン共でないけれどそれが祝日であるならあのＸ会社はデーモン共でない fact20: あの減少分は眠くない fact21: もしあのＸ会社は取り出すとすれば「あの減少分はデーモン共だ」ということは確かだ ; $hypothesis$ = あのＸ会社はデーモン共だ ; $proof$ = 
fact9 & fact6 & fact14 -> int1: あの減少分は取り出す; int1 & fact18 -> hypothesis; __PROVED__
事実1: もしも「あのＸ会社は普及し始めないか取り出さないかあるいは両方である」ということは事実と異なるとしたらあの体育・スポーツは取り出すということはない
事実2: 仮にあのＸ会社は祝日だとしたら「あの体育・スポーツはデーモン共だ」ということは確かだ
事実3: あのＸ会社はデーモン共でないかあるいは祝日でない
事実4: もし何らかの物が普及し始めるということはないとしたら中止すし取り出す
事実5: この昇降階段は祝日だ
事実6: 仮にあの体育・スポーツが祝日でないとしたらあの減少分は取り出す
事実7: もしあの減少分がデーモン共ならばあのＸ会社は取り出す
事実8: あの体育・スポーツがデーモン共だとしたらあのＸ会社は中止す
事実9: あの体育・スポーツは祝日でないかもしくは中止すらないかもしくは両方ともだ
事実10: もしあのＸ会社が祝日でないならばあの体育・スポーツはデーモン共である
事実11: この音場は祝日である
事実12: もしあの体育・スポーツが祝日だということはないならあのＸ会社は中止す
事実13: あの体育・スポーツは取り出す
事実14: あの体育・スポーツが中止すらないとしたらあの減少分は取り出す
事実15: もしもあの減少分が祝日でないとすればあの体育・スポーツは取り出す
事実16: 「あの減少分は祝日だ」ということは成り立つとするとあの体育・スポーツは取り出す
事実17: あのＸ会社は祝日でないかもしくはデーモン共でないかまたは両方である
事実18: あの減少分が取り出すとするとあのＸ会社はデーモン共だ
事実19: あの体育・スポーツがデーモン共でないけれどそれが祝日であるならあのＸ会社はデーモン共でない
事実20: あの減少分は眠くない
事実21: もしあのＸ会社は取り出すとすれば「あの減少分はデーモン共だ」ということは確かだ

仮説: あのＸ会社はデーモン共だ
1. 事実9と事実6と事実14から、推論1: "あの減少分は取り出す"が導かれる
2. 推論1と事実18から、仮説が導かれる

よって、仮説が証明されました。