あのシリンジは大人しない
fact1: もしもその救急センターが夥しいならそれは誓い合う fact2: 「もしあのシリンジが誓い合うとしたらその救急センターは御気に為さる」ということは成り立つ fact3: その救急センターは御気に為さる fact4: もし仮に「その救急センターは誓い合う」ということは誤りでないならあのシリンジは御気に為さる fact5: その救急センターは夥しい fact6: 「その救急センターは大人し」ということは真実であるならあのシリンジは夥しい fact7: もし仮になにがしかの物が御気に為さるとすれば大人し fact8: 仮にその救急センターは大人しとすれば「その和平条約は大人し」ということは真実である fact9: 仮に「あのシリンジは誓い合わないかまたは夥しいかまたはどちらもである」ということは嘘ならば大人しということはない
fact1 & fact5 -> int1: その救急センターは誓い合う; int1 & fact4 -> int2: あのシリンジは御気に為さる; fact7 -> int3: もしあのシリンジが御気に為さるとすると大人し; int2 & int3 -> hypothesis;
あのシリンジは大人しということはない
$facts$ = fact1: もしもその救急センターが夥しいならそれは誓い合う fact2: 「もしあのシリンジが誓い合うとしたらその救急センターは御気に為さる」ということは成り立つ fact3: その救急センターは御気に為さる fact4: もし仮に「その救急センターは誓い合う」ということは誤りでないならあのシリンジは御気に為さる fact5: その救急センターは夥しい fact6: 「その救急センターは大人し」ということは真実であるならあのシリンジは夥しい fact7: もし仮になにがしかの物が御気に為さるとすれば大人し fact8: 仮にその救急センターは大人しとすれば「その和平条約は大人し」ということは真実である fact9: 仮に「あのシリンジは誓い合わないかまたは夥しいかまたはどちらもである」ということは嘘ならば大人しということはない ; $hypothesis$ = あのシリンジは大人しない ; $proof$ = 
fact1 & fact5 -> int1: その救急センターは誓い合う; int1 & fact4 -> int2: あのシリンジは御気に為さる; fact7 -> int3: もしあのシリンジが御気に為さるとすると大人し; int2 & int3 -> hypothesis; __DISPROVED__
事実1: もしもその救急センターが夥しいならそれは誓い合う
事実2: 「もしあのシリンジが誓い合うとしたらその救急センターは御気に為さる」ということは成り立つ
事実3: その救急センターは御気に為さる
事実4: もし仮に「その救急センターは誓い合う」ということは誤りでないならあのシリンジは御気に為さる
事実5: その救急センターは夥しい
事実6: 「その救急センターは大人し」ということは真実であるならあのシリンジは夥しい
事実7: もし仮になにがしかの物が御気に為さるとすれば大人し
事実8: 仮にその救急センターは大人しとすれば「その和平条約は大人し」ということは真実である
事実9: 仮に「あのシリンジは誓い合わないかまたは夥しいかまたはどちらもである」ということは嘘ならば大人しということはない

仮説: あのシリンジは大人しない
1. 事実1と事実5から、推論1: "その救急センターは誓い合う"が導かれる
2. 推論1と事実4から、推論2: "あのシリンジは御気に為さる"が導かれる
3. 事実7から、推論3: "もしあのシリンジが御気に為さるとすると大人し"が導かれる
4. 推論2と推論3から、仮説が否定される

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