「あの外縁は医師会病院でない」ということは成り立つ
fact1: もしも何らかの物が事らしいならば聞き易い fact2: もしあの爆発がふわっとしないならあの幹事は会話力であるけど事らしくない fact3: あの幹事が会話力であるがしかし事らしいということはないとしたらあの見た目チェックは事らしい fact4: もし仮にとある物が切り飛ばすとしたら下げるがしかし戦陣であるということはない fact5: もしあの外縁が極まるとすればそれは戦陣だ fact6: 仮にあの見た目チェックは下げないとすれば「あの外縁は極まるということはないしその上砕石位でない」ということは本当でない fact7: もしもなんらかのものが戦陣ならばそれは医師会病院である fact8: 「あの外縁は極まるけれど砕石位だということはない」ということは誤りだ fact9: もしとある物は聞き易いとすると「出血し易いということはなくて更に野太くない」ということは成り立つということはない fact10: もしある物が極まるとするとそれは戦陣だ fact11: あの見た目チェックは下げないとすれば「あの外縁は極まるが砕石位でない」ということは誤りだ fact12: あの見た目チェックが下げるとしたらあの外縁は医師会病院でない fact13: もしも「あるものは出血し易くないしそれは野太くない」ということは嘘であるとすると切り飛ばす fact14: あの見た目チェックは下げるということはない fact15: あの看護士は下げるということはない fact16: もし「何かは極まらないししかもそれは砕石位であるということはない」ということは事実と異なればそれは戦陣である
fact6 & fact14 -> int1: 「あの外縁は極まらないしそれは砕石位でない」ということは成り立たない; fact16 -> int2: もし仮に「あの外縁は極まるということはなくてそれは砕石位でない」ということは成り立たないならそれは戦陣だ; int1 & int2 -> int3: あの外縁は戦陣だ; fact7 -> int4: もしあの外縁は戦陣であるならそれは医師会病院である; int3 & int4 -> hypothesis;
「あの外縁は医師会病院でない」ということは成り立つ
fact17 -> int5: もし仮にあの見た目チェックが切り飛ばすならそれは下げるけれど戦陣でない; fact23 -> int6: もし仮に「あの見た目チェックは出血し易くないしまた野太くない」ということは誤っていれば切り飛ばす; fact18 -> int7: もし仮にあの見た目チェックは聞き易いならば「それは出血し易くないし加えてそれは野太くない」ということは間違いである; fact20 -> int8: もしもあの見た目チェックが事らしいならそれは聞き易い;
$facts$ = fact1: もしも何らかの物が事らしいならば聞き易い fact2: もしあの爆発がふわっとしないならあの幹事は会話力であるけど事らしくない fact3: あの幹事が会話力であるがしかし事らしいということはないとしたらあの見た目チェックは事らしい fact4: もし仮にとある物が切り飛ばすとしたら下げるがしかし戦陣であるということはない fact5: もしあの外縁が極まるとすればそれは戦陣だ fact6: 仮にあの見た目チェックは下げないとすれば「あの外縁は極まるということはないしその上砕石位でない」ということは本当でない fact7: もしもなんらかのものが戦陣ならばそれは医師会病院である fact8: 「あの外縁は極まるけれど砕石位だということはない」ということは誤りだ fact9: もしとある物は聞き易いとすると「出血し易いということはなくて更に野太くない」ということは成り立つということはない fact10: もしある物が極まるとするとそれは戦陣だ fact11: あの見た目チェックは下げないとすれば「あの外縁は極まるが砕石位でない」ということは誤りだ fact12: あの見た目チェックが下げるとしたらあの外縁は医師会病院でない fact13: もしも「あるものは出血し易くないしそれは野太くない」ということは嘘であるとすると切り飛ばす fact14: あの見た目チェックは下げるということはない fact15: あの看護士は下げるということはない fact16: もし「何かは極まらないししかもそれは砕石位であるということはない」ということは事実と異なればそれは戦陣である ; $hypothesis$ = 「あの外縁は医師会病院でない」ということは成り立つ ; $proof$ = 
fact6 & fact14 -> int1: 「あの外縁は極まらないしそれは砕石位でない」ということは成り立たない; fact16 -> int2: もし仮に「あの外縁は極まるということはなくてそれは砕石位でない」ということは成り立たないならそれは戦陣だ; int1 & int2 -> int3: あの外縁は戦陣だ; fact7 -> int4: もしあの外縁は戦陣であるならそれは医師会病院である; int3 & int4 -> hypothesis; __DISPROVED__
事実1: もしも何らかの物が事らしいならば聞き易い
事実2: もしあの爆発がふわっとしないならあの幹事は会話力であるけど事らしくない
事実3: あの幹事が会話力であるがしかし事らしいということはないとしたらあの見た目チェックは事らしい
事実4: もし仮にとある物が切り飛ばすとしたら下げるがしかし戦陣であるということはない
事実5: もしあの外縁が極まるとすればそれは戦陣だ
事実6: 仮にあの見た目チェックは下げないとすれば「あの外縁は極まるということはないしその上砕石位でない」ということは本当でない
事実7: もしもなんらかのものが戦陣ならばそれは医師会病院である
事実8: 「あの外縁は極まるけれど砕石位だということはない」ということは誤りだ
事実9: もしとある物は聞き易いとすると「出血し易いということはなくて更に野太くない」ということは成り立つということはない
事実10: もしある物が極まるとするとそれは戦陣だ
事実11: あの見た目チェックは下げないとすれば「あの外縁は極まるが砕石位でない」ということは誤りだ
事実12: あの見た目チェックが下げるとしたらあの外縁は医師会病院でない
事実13: もしも「あるものは出血し易くないしそれは野太くない」ということは嘘であるとすると切り飛ばす
事実14: あの見た目チェックは下げるということはない
事実15: あの看護士は下げるということはない
事実16: もし「何かは極まらないししかもそれは砕石位であるということはない」ということは事実と異なればそれは戦陣である

仮説: 「あの外縁は医師会病院でない」ということは成り立つ
1. 事実6と事実14から、推論1: "「あの外縁は極まらないしそれは砕石位でない」ということは成り立たない"が導かれる
2. 事実16から、推論2: "もし仮に「あの外縁は極まるということはなくてそれは砕石位でない」ということは成り立たないならそれは戦陣だ"が導かれる
3. 推論1と推論2から、推論3: "あの外縁は戦陣だ"が導かれる
4. 事実7から、推論4: "もしあの外縁は戦陣であるならそれは医師会病院である"が導かれる
5. 推論3と推論4から、仮説が否定される

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