その七日付けは相殺であるしそれは数十人である
fact1: その七日付けはジャンプ台でない fact2: 「そのエレベーターは通り易い」ということは本当だとすればあのプロカルシトニンは形成され易い fact3: あのプロカルシトニンは印象深い fact4: その七日付けは印象深いか相殺であるかまたはどちらもである fact5: その七日付けはセロハンであるし更に出版出来る fact6: 仮にあのプロカルシトニンが相殺でないならその七日付けは相殺であるし更にそれは数十人である fact7: あのプロカルシトニンは一般身体疾患であるかスポーツシャツであるかあるいはどちらもだ fact8: あのプロカルシトニンが相殺であるかまたはそれは形成され易いかまたは両方だとするとそれは数十人でない fact9: 仮にあのプロカルシトニンが相殺であるかまたはそれは数十人であるかもしくは両方ともだとするとそれは形成され易いということはない fact10: なにがしかのものは数十人であるかあるいは相殺だとすると形成され易くない fact11: 仮にその七日付けが印象深くないとするとあのプロカルシトニンは印象深いししかも形成され易い fact12: その電信実験は形成され易い fact13: 「その七日付けは形成され易くない」ということは成り立つ fact14: もしその七日付けが監視し易くないとすればあのプロカルシトニンは変貌する fact15: 仮に「そのエレベーターは遣り辛くない一方で印象深い」ということは間違いであるとすればあの七日付けは印象深い fact16: あのプロカルシトニンは軍紀だ fact17: 形成され易いものは数十人でない fact18: あのプロカルシトニンは事欠く fact19: もしもあのプロカルシトニンは形成され易いとしたら「印象深いし遣り辛くない」ということは嘘である fact20: あの発話速度は泥沼化であるかもしくは十分するかまたはどちらもだ fact21: 仮に何かは印象深いかもしくは形成され易いかもしくは両方だとすると「相殺でない」ということは成り立つ fact22: もし仮にこの仁和寺は道路脇であるかまたは心苦しいかまたはどちらもならば足裏全体でない fact23: もし仮にあのプロカルシトニンが形成され易いかもしくは相殺であるかあるいは両方ともならば数十人でない
fact3 -> int1: あのプロカルシトニンは印象深いかあるいはそれは形成され易いかまたは両方ともである; fact21 -> int2: 仮にあのプロカルシトニンが印象深いかもしくは形成され易いかまたはどちらもならそれは相殺でない; int1 & int2 -> int3: あのプロカルシトニンは相殺でない; int3 & fact6 -> hypothesis;
fact3 -> int1: ({A}{a} v {B}{a}); fact21 -> int2: ({A}{a} v {B}{a}) -> ¬{C}{a}; int1 & int2 -> int3: ¬{C}{a}; int3 & fact6 -> hypothesis;
「その七日付けは相殺だしかつ数十人だ」ということは事実と異なる
$facts$ = fact1: その七日付けはジャンプ台でない fact2: 「そのエレベーターは通り易い」ということは本当だとすればあのプロカルシトニンは形成され易い fact3: あのプロカルシトニンは印象深い fact4: その七日付けは印象深いか相殺であるかまたはどちらもである fact5: その七日付けはセロハンであるし更に出版出来る fact6: 仮にあのプロカルシトニンが相殺でないならその七日付けは相殺であるし更にそれは数十人である fact7: あのプロカルシトニンは一般身体疾患であるかスポーツシャツであるかあるいはどちらもだ fact8: あのプロカルシトニンが相殺であるかまたはそれは形成され易いかまたは両方だとするとそれは数十人でない fact9: 仮にあのプロカルシトニンが相殺であるかまたはそれは数十人であるかもしくは両方ともだとするとそれは形成され易いということはない fact10: なにがしかのものは数十人であるかあるいは相殺だとすると形成され易くない fact11: 仮にその七日付けが印象深くないとするとあのプロカルシトニンは印象深いししかも形成され易い fact12: その電信実験は形成され易い fact13: 「その七日付けは形成され易くない」ということは成り立つ fact14: もしその七日付けが監視し易くないとすればあのプロカルシトニンは変貌する fact15: 仮に「そのエレベーターは遣り辛くない一方で印象深い」ということは間違いであるとすればあの七日付けは印象深い fact16: あのプロカルシトニンは軍紀だ fact17: 形成され易いものは数十人でない fact18: あのプロカルシトニンは事欠く fact19: もしもあのプロカルシトニンは形成され易いとしたら「印象深いし遣り辛くない」ということは嘘である fact20: あの発話速度は泥沼化であるかもしくは十分するかまたはどちらもだ fact21: 仮に何かは印象深いかもしくは形成され易いかもしくは両方だとすると「相殺でない」ということは成り立つ fact22: もし仮にこの仁和寺は道路脇であるかまたは心苦しいかまたはどちらもならば足裏全体でない fact23: もし仮にあのプロカルシトニンが形成され易いかもしくは相殺であるかあるいは両方ともならば数十人でない ; $hypothesis$ = その七日付けは相殺であるしそれは数十人である ; $proof$ = 
fact3 -> int1: あのプロカルシトニンは印象深いかあるいはそれは形成され易いかまたは両方ともである; fact21 -> int2: 仮にあのプロカルシトニンが印象深いかもしくは形成され易いかまたはどちらもならそれは相殺でない; int1 & int2 -> int3: あのプロカルシトニンは相殺でない; int3 & fact6 -> hypothesis; __PROVED__
事実1: その七日付けはジャンプ台でない
事実2: 「そのエレベーターは通り易い」ということは本当だとすればあのプロカルシトニンは形成され易い
事実3: あのプロカルシトニンは印象深い
事実4: その七日付けは印象深いか相殺であるかまたはどちらもである
事実5: その七日付けはセロハンであるし更に出版出来る
事実6: 仮にあのプロカルシトニンが相殺でないならその七日付けは相殺であるし更にそれは数十人である
事実7: あのプロカルシトニンは一般身体疾患であるかスポーツシャツであるかあるいはどちらもだ
事実8: あのプロカルシトニンが相殺であるかまたはそれは形成され易いかまたは両方だとするとそれは数十人でない
事実9: 仮にあのプロカルシトニンが相殺であるかまたはそれは数十人であるかもしくは両方ともだとするとそれは形成され易いということはない
事実10: なにがしかのものは数十人であるかあるいは相殺だとすると形成され易くない
事実11: 仮にその七日付けが印象深くないとするとあのプロカルシトニンは印象深いししかも形成され易い
事実12: その電信実験は形成され易い
事実13: 「その七日付けは形成され易くない」ということは成り立つ
事実14: もしその七日付けが監視し易くないとすればあのプロカルシトニンは変貌する
事実15: 仮に「そのエレベーターは遣り辛くない一方で印象深い」ということは間違いであるとすればあの七日付けは印象深い
事実16: あのプロカルシトニンは軍紀だ
事実17: 形成され易いものは数十人でない
事実18: あのプロカルシトニンは事欠く
事実19: もしもあのプロカルシトニンは形成され易いとしたら「印象深いし遣り辛くない」ということは嘘である
事実20: あの発話速度は泥沼化であるかもしくは十分するかまたはどちらもだ
事実21: 仮に何かは印象深いかもしくは形成され易いかもしくは両方だとすると「相殺でない」ということは成り立つ
事実22: もし仮にこの仁和寺は道路脇であるかまたは心苦しいかまたはどちらもならば足裏全体でない
事実23: もし仮にあのプロカルシトニンが形成され易いかもしくは相殺であるかあるいは両方ともならば数十人でない

仮説: その七日付けは相殺であるしそれは数十人である
1. 事実3から、推論1: "あのプロカルシトニンは印象深いかあるいはそれは形成され易いかまたは両方ともである"が導かれる
2. 事実21から、推論2: "仮にあのプロカルシトニンが印象深いかもしくは形成され易いかまたはどちらもならそれは相殺でない"が導かれる
3. 推論1と推論2から、推論3: "あのプロカルシトニンは相殺でない"が導かれる
4. 推論3と事実6から、仮説が導かれる

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