この保健センターは大和国だ
fact1: 「「シュリンプで触れ合える」ということは間違いである」物があるとするとこの保健センターは大和国でない fact2: 「「「シュリンプだし触れ合える」ということは真実でない」ものはある」ということは成り立つとすればあのＮＳＳ‐ＣＡは大和国でない fact3: 「シュリンプであるし触れ合える」ものはある fact4: もしなんらかの物は竜騎士でないならそれは大和国であるししかももどかしい fact5: 「あるものは触れ合えない」ということは成り立つならこの保健センターは大和国でない fact6: 「あのＮＳＳ‐ＣＡはシュリンプだし加えてそれは触れ合える」ということは成り立たない fact7: 「あのＮＳＳ‐ＣＡは大和国であるししかもそれはシュリンプだ」ということは誤りだ fact8: 仮に「なんらかのものは取り扱い易くなくて豚挽き肉でない」ということは間違いならば竜騎士でない
fact6 -> int1: 「「シュリンプでその上触れ合える」ということは成り立たない」ものはある; int1 & fact1 -> hypothesis;
fact6 -> int1: (Ex): ¬({AA}x & {AB}x); int1 & fact1 -> hypothesis;
この保健センターは大和国である
fact10 -> int2: もし「この保健センターは竜騎士でない」ということは間違いでないなら大和国でもどかしい; fact9 -> int3: もし仮に「この保健センターは取り扱い易くないしその上それは豚挽き肉であるということはない」ということは誤りであるとすると竜騎士でない;
$facts$ = fact1: 「「シュリンプで触れ合える」ということは間違いである」物があるとするとこの保健センターは大和国でない fact2: 「「「シュリンプだし触れ合える」ということは真実でない」ものはある」ということは成り立つとすればあのＮＳＳ‐ＣＡは大和国でない fact3: 「シュリンプであるし触れ合える」ものはある fact4: もしなんらかの物は竜騎士でないならそれは大和国であるししかももどかしい fact5: 「あるものは触れ合えない」ということは成り立つならこの保健センターは大和国でない fact6: 「あのＮＳＳ‐ＣＡはシュリンプだし加えてそれは触れ合える」ということは成り立たない fact7: 「あのＮＳＳ‐ＣＡは大和国であるししかもそれはシュリンプだ」ということは誤りだ fact8: 仮に「なんらかのものは取り扱い易くなくて豚挽き肉でない」ということは間違いならば竜騎士でない ; $hypothesis$ = この保健センターは大和国だ ; $proof$ = 
fact6 -> int1: 「「シュリンプでその上触れ合える」ということは成り立たない」ものはある; int1 & fact1 -> hypothesis; __DISPROVED__
事実1: 「「シュリンプで触れ合える」ということは間違いである」物があるとするとこの保健センターは大和国でない
事実2: 「「「シュリンプだし触れ合える」ということは真実でない」ものはある」ということは成り立つとすればあのＮＳＳ‐ＣＡは大和国でない
事実3: 「シュリンプであるし触れ合える」ものはある
事実4: もしなんらかの物は竜騎士でないならそれは大和国であるししかももどかしい
事実5: 「あるものは触れ合えない」ということは成り立つならこの保健センターは大和国でない
事実6: 「あのＮＳＳ‐ＣＡはシュリンプだし加えてそれは触れ合える」ということは成り立たない
事実7: 「あのＮＳＳ‐ＣＡは大和国であるししかもそれはシュリンプだ」ということは誤りだ
事実8: 仮に「なんらかのものは取り扱い易くなくて豚挽き肉でない」ということは間違いならば竜騎士でない

仮説: この保健センターは大和国だ
1. 事実6から、推論1: "「「シュリンプでその上触れ合える」ということは成り立たない」ものはある"が導かれる
2. 推論1と事実1から、仮説が否定される

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