「「あのワールドは狡くてそれにそれは御存じ有る」ということは誤っている」ということは正しい
fact1: あのワールドはフォント形式である fact2: その青竜寺は幅広いしそれに各振動数である fact3: この実態は御存じ有る fact4: その精神風土は御存じ有る fact5: そのＳＩ融液は狡い fact6: あのワールドは土産物である fact7: あのワールドは奏上する fact8: 何らかの物は借り受ければ「それは狡い一方で参事でない」ということは事実と異なる fact9: あのワールドは御存じ有る fact10: あのワールドは想像し易い fact11: その個人単位は御存じ有るしそれは外陰である fact12: 仮にとある物は借り受けないとすると「御存じ有るしさらにそれは狡い」ということは偽でない fact13: 「あのワールドは狡い」ということは事実である
fact13 & fact9 -> hypothesis;
fact13 & fact9 -> hypothesis;
あのアウフタクトは御存じ有る
fact14 -> int1: もしも「あのアウフタクトは借り受けるということはない」ということは成り立つとすればそれは御存じ有るし狡い;
$facts$ = fact1: あのワールドはフォント形式である fact2: その青竜寺は幅広いしそれに各振動数である fact3: この実態は御存じ有る fact4: その精神風土は御存じ有る fact5: そのＳＩ融液は狡い fact6: あのワールドは土産物である fact7: あのワールドは奏上する fact8: 何らかの物は借り受ければ「それは狡い一方で参事でない」ということは事実と異なる fact9: あのワールドは御存じ有る fact10: あのワールドは想像し易い fact11: その個人単位は御存じ有るしそれは外陰である fact12: 仮にとある物は借り受けないとすると「御存じ有るしさらにそれは狡い」ということは偽でない fact13: 「あのワールドは狡い」ということは事実である ; $hypothesis$ = 「「あのワールドは狡くてそれにそれは御存じ有る」ということは誤っている」ということは正しい ; $proof$ = 
fact13 & fact9 -> hypothesis; __DISPROVED__
事実1: あのワールドはフォント形式である
事実2: その青竜寺は幅広いしそれに各振動数である
事実3: この実態は御存じ有る
事実4: その精神風土は御存じ有る
事実5: そのＳＩ融液は狡い
事実6: あのワールドは土産物である
事実7: あのワールドは奏上する
事実8: 何らかの物は借り受ければ「それは狡い一方で参事でない」ということは事実と異なる
事実9: あのワールドは御存じ有る
事実10: あのワールドは想像し易い
事実11: その個人単位は御存じ有るしそれは外陰である
事実12: 仮にとある物は借り受けないとすると「御存じ有るしさらにそれは狡い」ということは偽でない
事実13: 「あのワールドは狡い」ということは事実である

仮説: 「「あのワールドは狡くてそれにそれは御存じ有る」ということは誤っている」ということは正しい
1. 事実13と事実9から、仮説が否定される

よって、仮説が否定されました。