あのバレーは出没しない
fact1: あのバレーは落選する fact2: 「落選するしまた開所する」ものはある fact3: あのバレーがペアだしそれは踏む fact4: 「その準備完了は開所する」ということは事実と異なるということはない fact5: もしも「何らかの物は柱であるがそれは勤続しない」ということは誤りだとすると出没しない fact6: 仮に何かは落選するし開所するとすると「あのバレーは登校する」ということは本当だ fact7: なんらかのものは踏むし更に登校する fact8: あるものは踏まないとしたら「登校するしペアである」ということは間違いである fact9: 何かは出没しないとするとそれはペアだしさらに登校する fact10: もし「「登校する」ものはある」ということは成り立てば「あのバレーは開所する一方で落選するということはない」ということは間違いである fact11: 「あのバレーは聞き齧るということはない」ということは成り立つ fact12: 仮に「あのバレーは開所するけれど落選しない」ということは成り立つということはないとすればこの三十分以上は踏む fact13: もしもある物は登校するし更にペアだとすれば出没しない fact14: 「踏むしそれに出没する」ものはある fact15: 「落選する」物はある
fact2 & fact6 -> int1: あのバレーは登校する; fact3 -> int2: あのバレーはペアである; int1 & int2 -> int3: あのバレーは登校するししかもペアである; fact13 -> int4: もし仮にあのバレーは登校するしさらにペアであるならば出没しない; int3 & int4 -> hypothesis;
fact2 & fact6 -> int1: {C}{a}; fact3 -> int2: {D}{a}; int1 & int2 -> int3: ({C}{a} & {D}{a}); fact13 -> int4: ({C}{a} & {D}{a}) -> ¬{E}{a}; int3 & int4 -> hypothesis;
この三十分以上は踏む
fact16 -> int5: 「もしも「この校正は柱であるけれど勤続しない」ということは事実と異なればこの校正は出没しない」ということは成り立つ; fact18 -> int6: 「仮にこの校正が出没するということはないとするとこの校正はペアでおまけに登校する」ということは成り立つ;
$facts$ = fact1: あのバレーは落選する fact2: 「落選するしまた開所する」ものはある fact3: あのバレーがペアだしそれは踏む fact4: 「その準備完了は開所する」ということは事実と異なるということはない fact5: もしも「何らかの物は柱であるがそれは勤続しない」ということは誤りだとすると出没しない fact6: 仮に何かは落選するし開所するとすると「あのバレーは登校する」ということは本当だ fact7: なんらかのものは踏むし更に登校する fact8: あるものは踏まないとしたら「登校するしペアである」ということは間違いである fact9: 何かは出没しないとするとそれはペアだしさらに登校する fact10: もし「「登校する」ものはある」ということは成り立てば「あのバレーは開所する一方で落選するということはない」ということは間違いである fact11: 「あのバレーは聞き齧るということはない」ということは成り立つ fact12: 仮に「あのバレーは開所するけれど落選しない」ということは成り立つということはないとすればこの三十分以上は踏む fact13: もしもある物は登校するし更にペアだとすれば出没しない fact14: 「踏むしそれに出没する」ものはある fact15: 「落選する」物はある ; $hypothesis$ = あのバレーは出没しない ; $proof$ = 
fact2 & fact6 -> int1: あのバレーは登校する; fact3 -> int2: あのバレーはペアである; int1 & int2 -> int3: あのバレーは登校するししかもペアである; fact13 -> int4: もし仮にあのバレーは登校するしさらにペアであるならば出没しない; int3 & int4 -> hypothesis; __PROVED__
事実1: あのバレーは落選する
事実2: 「落選するしまた開所する」ものはある
事実3: あのバレーがペアだしそれは踏む
事実4: 「その準備完了は開所する」ということは事実と異なるということはない
事実5: もしも「何らかの物は柱であるがそれは勤続しない」ということは誤りだとすると出没しない
事実6: 仮に何かは落選するし開所するとすると「あのバレーは登校する」ということは本当だ
事実7: なんらかのものは踏むし更に登校する
事実8: あるものは踏まないとしたら「登校するしペアである」ということは間違いである
事実9: 何かは出没しないとするとそれはペアだしさらに登校する
事実10: もし「「登校する」ものはある」ということは成り立てば「あのバレーは開所する一方で落選するということはない」ということは間違いである
事実11: 「あのバレーは聞き齧るということはない」ということは成り立つ
事実12: 仮に「あのバレーは開所するけれど落選しない」ということは成り立つということはないとすればこの三十分以上は踏む
事実13: もしもある物は登校するし更にペアだとすれば出没しない
事実14: 「踏むしそれに出没する」ものはある
事実15: 「落選する」物はある

仮説: あのバレーは出没しない
1. 事実2と事実6から、推論1: "あのバレーは登校する"が導かれる
2. 事実3から、推論2: "あのバレーはペアである"が導かれる
3. 推論1と推論2から、推論3: "あのバレーは登校するししかもペアである"が導かれる
4. 事実13から、推論4: "もし仮にあのバレーは登校するしさらにペアであるならば出没しない"が導かれる
5. 推論3と推論4から、仮説が導かれる

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