その階層毎は御紹介しない
fact1: 神々しいということはないものは寝過ごさなくて倹しかない fact2: あの資格取得は寝過ごす fact3: この東京タワーは寝過ごす fact4: もし「この配列サイズは就寝するかあるいはそれは御招きするかあるいはどちらもだ」ということは成り立たないとすればその濃緑は受験しない fact5: その階層毎は斜線だ fact6: 「この東京タワーは御紹介する」ということは成り立つ fact7: 仮に「この東京タワーは寝過ごす」ということは正しいとするとその階層毎は御紹介する fact8: 「この配列サイズは就寝するか御招きするかあるいはどちらもである」ということは成り立つということはない fact9: 仮にその濃緑は受験するということはないとすれば「それは愛し得るし加えて密封する」ということは事実と異なる fact10: もし「「愛し得るし密封する」ということは成り立たない」ものがあるとするとあの言い分は先日でない fact11: この晩飯は寝過ごす fact12: この留保国は御紹介する fact13: その階層毎が寝過ごすとすればこの東京タワーは御紹介する fact14: 「あの言い分は注意深いししかもそれは留意す」ということは確かでないとするとそれは神々しかない fact15: 何らかの物は先日でないとすると「注意深いししかも留意す」ということは事実と異なる fact16: この東京タワーが御紹介するしその上胴上げするとしたらその階層毎は御紹介しない
fact7 & fact3 -> hypothesis;
fact7 & fact3 -> hypothesis;
その階層毎は御紹介しない
fact17 -> int1: 「あの言い分は神々しかない」ということは成り立つとすると寝過ごさなくて更に倹しいということはない; fact22 -> int2: もしあの言い分は先日でないならば「それは注意深くて留意す」ということは成り立たない; fact23 & fact20 -> int3: その濃緑は受験しない; fact21 & int3 -> int4: 「その濃緑は愛し得るしさらにそれは密封する」ということは事実と異なる; int4 -> int5: 「「愛し得るし密封する」ということは事実と異なる」ものはある; int5 & fact24 -> int6: あの言い分は先日でない; int2 & int6 -> int7: 「あの言い分は注意深いし更に留意す」ということは成り立たない; fact19 & int7 -> int8: 「あの言い分は神々しかない」ということは成り立つ; int1 & int8 -> int9: あの言い分は寝過ごすということはなくてかつ倹しかない; int9 -> int10: あの言い分は寝過ごさない; int10 -> int11: 「「寝過ごさない」ということは真実である」物はある;
$facts$ = fact1: 神々しいということはないものは寝過ごさなくて倹しかない fact2: あの資格取得は寝過ごす fact3: この東京タワーは寝過ごす fact4: もし「この配列サイズは就寝するかあるいはそれは御招きするかあるいはどちらもだ」ということは成り立たないとすればその濃緑は受験しない fact5: その階層毎は斜線だ fact6: 「この東京タワーは御紹介する」ということは成り立つ fact7: 仮に「この東京タワーは寝過ごす」ということは正しいとするとその階層毎は御紹介する fact8: 「この配列サイズは就寝するか御招きするかあるいはどちらもである」ということは成り立つということはない fact9: 仮にその濃緑は受験するということはないとすれば「それは愛し得るし加えて密封する」ということは事実と異なる fact10: もし「「愛し得るし密封する」ということは成り立たない」ものがあるとするとあの言い分は先日でない fact11: この晩飯は寝過ごす fact12: この留保国は御紹介する fact13: その階層毎が寝過ごすとすればこの東京タワーは御紹介する fact14: 「あの言い分は注意深いししかもそれは留意す」ということは確かでないとするとそれは神々しかない fact15: 何らかの物は先日でないとすると「注意深いししかも留意す」ということは事実と異なる fact16: この東京タワーが御紹介するしその上胴上げするとしたらその階層毎は御紹介しない ; $hypothesis$ = その階層毎は御紹介しない ; $proof$ = 
fact7 & fact3 -> hypothesis; __DISPROVED__
事実1: 神々しいということはないものは寝過ごさなくて倹しかない
事実2: あの資格取得は寝過ごす
事実3: この東京タワーは寝過ごす
事実4: もし「この配列サイズは就寝するかあるいはそれは御招きするかあるいはどちらもだ」ということは成り立たないとすればその濃緑は受験しない
事実5: その階層毎は斜線だ
事実6: 「この東京タワーは御紹介する」ということは成り立つ
事実7: 仮に「この東京タワーは寝過ごす」ということは正しいとするとその階層毎は御紹介する
事実8: 「この配列サイズは就寝するか御招きするかあるいはどちらもである」ということは成り立つということはない
事実9: 仮にその濃緑は受験するということはないとすれば「それは愛し得るし加えて密封する」ということは事実と異なる
事実10: もし「「愛し得るし密封する」ということは成り立たない」ものがあるとするとあの言い分は先日でない
事実11: この晩飯は寝過ごす
事実12: この留保国は御紹介する
事実13: その階層毎が寝過ごすとすればこの東京タワーは御紹介する
事実14: 「あの言い分は注意深いししかもそれは留意す」ということは確かでないとするとそれは神々しかない
事実15: 何らかの物は先日でないとすると「注意深いししかも留意す」ということは事実と異なる
事実16: この東京タワーが御紹介するしその上胴上げするとしたらその階層毎は御紹介しない

仮説: その階層毎は御紹介しない
1. 事実7と事実3から、仮説が否定される

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