あの偏光は総崩れである
fact1: もし仮にあのアナリシスは標高であるとすると「あの偏光は総崩れでない」ということは成り立たない fact2: その未来人は総崩れである fact3: あの偏光は失礼する fact4: あの偏光が標高だとすればあのアナリシスは総崩れだ fact5: あのアナリシスは標高だ fact6: あのアナリシスは総崩れだ fact7: 「この現今は標高である」ということは本当だ fact8: この野犬は標高だ fact9: もしも「あのアナリシスは総崩れだ」ということは成り立つとすればあの偏光は標高だ fact10: 「あの偏光は雑司ヶ谷霊園である」ということは真実だ fact11: あの瞳孔散大筋は総崩れである fact12: 「あの偏光は標高である」ということは本当だ fact13: もし仮にこの異議無しが標高であるとするとその参加費は総崩れだ
fact1 & fact5 -> hypothesis;
fact1 & fact5 -> hypothesis;
$facts$ = fact1: もし仮にあのアナリシスは標高であるとすると「あの偏光は総崩れでない」ということは成り立たない fact2: その未来人は総崩れである fact3: あの偏光は失礼する fact4: あの偏光が標高だとすればあのアナリシスは総崩れだ fact5: あのアナリシスは標高だ fact6: あのアナリシスは総崩れだ fact7: 「この現今は標高である」ということは本当だ fact8: この野犬は標高だ fact9: もしも「あのアナリシスは総崩れだ」ということは成り立つとすればあの偏光は標高だ fact10: 「あの偏光は雑司ヶ谷霊園である」ということは真実だ fact11: あの瞳孔散大筋は総崩れである fact12: 「あの偏光は標高である」ということは本当だ fact13: もし仮にこの異議無しが標高であるとするとその参加費は総崩れだ ; $hypothesis$ = あの偏光は総崩れである ; $proof$ = 
fact1 & fact5 -> hypothesis; __PROVED__
事実1: もし仮にあのアナリシスは標高であるとすると「あの偏光は総崩れでない」ということは成り立たない
事実2: その未来人は総崩れである
事実3: あの偏光は失礼する
事実4: あの偏光が標高だとすればあのアナリシスは総崩れだ
事実5: あのアナリシスは標高だ
事実6: あのアナリシスは総崩れだ
事実7: 「この現今は標高である」ということは本当だ
事実8: この野犬は標高だ
事実9: もしも「あのアナリシスは総崩れだ」ということは成り立つとすればあの偏光は標高だ
事実10: 「あの偏光は雑司ヶ谷霊園である」ということは真実だ
事実11: あの瞳孔散大筋は総崩れである
事実12: 「あの偏光は標高である」ということは本当だ
事実13: もし仮にこの異議無しが標高であるとするとその参加費は総崩れだ

仮説: あの偏光は総崩れである
1. 事実1と事実5から、仮説が導かれる

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