「このアタック隊はステートＳでないし青竜苑でない」ということは成り立たない
fact1: あの水上は閉会式でない fact2: もしこのアタック隊はステートＳでないならば提供し続けないし更に覚え込まない fact3: このアタック隊は閉会式でない fact4: 「この鶏頭はステートＳでない」ということは正しい fact5: この会員以外は青竜苑でない fact6: もしもその初演は細くないなら「それは青竜苑でない」ということは成り立つ fact7: このテビチは閉会式でない fact8: このアタック隊は耕作地でないしさらに厚しない fact9: その当該他は吉原会所でなくておまけに謝り為さらない fact10: このアタック隊が閉会式だということはないとするとステートＳでないし青竜苑でない fact11: このアタック隊は申し訳無いということはない fact12: もしもとあるものは閉会式でないならば分取しないし青竜苑でない fact13: このアタック隊は出店しなくて青竜苑であるということはない
fact10 & fact3 -> hypothesis;
fact10 & fact3 -> hypothesis;
あのメインバンク制は分取しないしおまけに青竜苑でない
fact14 -> int1: あのメインバンク制は閉会式でないならばそれは分取するということはなくてかつ青竜苑でない;
$facts$ = fact1: あの水上は閉会式でない fact2: もしこのアタック隊はステートＳでないならば提供し続けないし更に覚え込まない fact3: このアタック隊は閉会式でない fact4: 「この鶏頭はステートＳでない」ということは正しい fact5: この会員以外は青竜苑でない fact6: もしもその初演は細くないなら「それは青竜苑でない」ということは成り立つ fact7: このテビチは閉会式でない fact8: このアタック隊は耕作地でないしさらに厚しない fact9: その当該他は吉原会所でなくておまけに謝り為さらない fact10: このアタック隊が閉会式だということはないとするとステートＳでないし青竜苑でない fact11: このアタック隊は申し訳無いということはない fact12: もしもとあるものは閉会式でないならば分取しないし青竜苑でない fact13: このアタック隊は出店しなくて青竜苑であるということはない ; $hypothesis$ = 「このアタック隊はステートＳでないし青竜苑でない」ということは成り立たない ; $proof$ = 
fact10 & fact3 -> hypothesis; __DISPROVED__
事実1: あの水上は閉会式でない
事実2: もしこのアタック隊はステートＳでないならば提供し続けないし更に覚え込まない
事実3: このアタック隊は閉会式でない
事実4: 「この鶏頭はステートＳでない」ということは正しい
事実5: この会員以外は青竜苑でない
事実6: もしもその初演は細くないなら「それは青竜苑でない」ということは成り立つ
事実7: このテビチは閉会式でない
事実8: このアタック隊は耕作地でないしさらに厚しない
事実9: その当該他は吉原会所でなくておまけに謝り為さらない
事実10: このアタック隊が閉会式だということはないとするとステートＳでないし青竜苑でない
事実11: このアタック隊は申し訳無いということはない
事実12: もしもとあるものは閉会式でないならば分取しないし青竜苑でない
事実13: このアタック隊は出店しなくて青竜苑であるということはない

仮説: 「このアタック隊はステートＳでないし青竜苑でない」ということは成り立たない
1. 事実10と事実3から、仮説が否定される

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