この種目はアナーキストだ
fact1: その開花時期が礁であるとすればあの降臨は礁である fact2: もし「「ある物は占領するということはないかきったなくないか両方ともだ」ということは真実だ」ということは間違っているとするとそれは悲しいということはない fact3: 仮にあの降臨は如才無いなら「占領するということはないかあるいはきったないということはないかまたはどちらもである」ということは事実と異なる fact4: もしとある物は書き難いがしかしグレリンでないならば「アナーキストでない」ということは正しい fact5: もし何かは礁ならそれは如才無い fact6: もし仮にあのコンクリート面が伝道しないとすればこの種目は書き難い一方でそれはグレリンでない fact7: あのコンクリート面はグレリンだ fact8: 「マークする」ものはある fact9: 仮に「この種目は書き難くないかまたはアナーキストでないかもしくはどちらもだ」ということは間違いであるとするとあのコンクリート面はアナーキストだ fact10: もし仮にあのコンクリート面はグレリンであるならば「この種目はアナーキストだ」ということは成り立つ fact11: この種目はグレリンである fact12: もしも何らかのものは悲しくないなら「手招きするし小賢しくない」ということは誤っている fact13: あのコンクリート面はアナーキストである fact14: もし仮に「マークする」ものがあるとするとその開花時期は礁であるかまたは報いるか両方ともだ fact15: この流行はグレリンだ
fact10 & fact7 -> hypothesis;
この種目はアナーキストでない
fact24 -> int1: もし仮にこの種目は書き難いがグレリンでないならばそれはアナーキストだということはない; fact22 -> int2: もしも「あの降臨は悲しくない」ということは成り立つとすれば「それは手招きする一方で小賢しくない」ということは成り立たない; fact18 -> int3: 「あの降臨は占領しないかきったなくないかもしくはどちらもである」ということは成り立たないとしたらそれは悲しくない; fact20 -> int4: もし仮にあの降臨が礁だとすればそれは如才無い; fact16 & fact21 -> int5: その開花時期は礁であるかそれは報いるかもしくは両方ともだ;
$facts$ = fact1: その開花時期が礁であるとすればあの降臨は礁である fact2: もし「「ある物は占領するということはないかきったなくないか両方ともだ」ということは真実だ」ということは間違っているとするとそれは悲しいということはない fact3: 仮にあの降臨は如才無いなら「占領するということはないかあるいはきったないということはないかまたはどちらもである」ということは事実と異なる fact4: もしとある物は書き難いがしかしグレリンでないならば「アナーキストでない」ということは正しい fact5: もし何かは礁ならそれは如才無い fact6: もし仮にあのコンクリート面が伝道しないとすればこの種目は書き難い一方でそれはグレリンでない fact7: あのコンクリート面はグレリンだ fact8: 「マークする」ものはある fact9: 仮に「この種目は書き難くないかまたはアナーキストでないかもしくはどちらもだ」ということは間違いであるとするとあのコンクリート面はアナーキストだ fact10: もし仮にあのコンクリート面はグレリンであるならば「この種目はアナーキストだ」ということは成り立つ fact11: この種目はグレリンである fact12: もしも何らかのものは悲しくないなら「手招きするし小賢しくない」ということは誤っている fact13: あのコンクリート面はアナーキストである fact14: もし仮に「マークする」ものがあるとするとその開花時期は礁であるかまたは報いるか両方ともだ fact15: この流行はグレリンだ ; $hypothesis$ = この種目はアナーキストだ ; $proof$ = 
fact10 & fact7 -> hypothesis; __PROVED__
事実1: その開花時期が礁であるとすればあの降臨は礁である
事実2: もし「「ある物は占領するということはないかきったなくないか両方ともだ」ということは真実だ」ということは間違っているとするとそれは悲しいということはない
事実3: 仮にあの降臨は如才無いなら「占領するということはないかあるいはきったないということはないかまたはどちらもである」ということは事実と異なる
事実4: もしとある物は書き難いがしかしグレリンでないならば「アナーキストでない」ということは正しい
事実5: もし何かは礁ならそれは如才無い
事実6: もし仮にあのコンクリート面が伝道しないとすればこの種目は書き難い一方でそれはグレリンでない
事実7: あのコンクリート面はグレリンだ
事実8: 「マークする」ものはある
事実9: 仮に「この種目は書き難くないかまたはアナーキストでないかもしくはどちらもだ」ということは間違いであるとするとあのコンクリート面はアナーキストだ
事実10: もし仮にあのコンクリート面はグレリンであるならば「この種目はアナーキストだ」ということは成り立つ
事実11: この種目はグレリンである
事実12: もしも何らかのものは悲しくないなら「手招きするし小賢しくない」ということは誤っている
事実13: あのコンクリート面はアナーキストである
事実14: もし仮に「マークする」ものがあるとするとその開花時期は礁であるかまたは報いるか両方ともだ
事実15: この流行はグレリンだ

仮説: この種目はアナーキストだ
1. 事実10と事実7から、仮説が導かれる

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