その固定利付け証券は有益菌でないししかも慌てふためかない
fact1: もし仮にそのブランド病院が熱し易くないがしかし圧排するとしたらあの鎖骨下動脈は品川宿でない fact2: 生温くないものは慌てふためかない fact3: もしも「とあるものは熱し易くない一方で圧排する」ということは偽ならばそれは生温くない fact4: この法律以外は蓄積され易いということはないが品川宿だ fact5: あの鎖骨下動脈は品川宿でないならば「この法律以外は蓄積され易くないがしかしそれは品川宿である」ということは成り立たない fact6: もし仮にそのブランド病院が慌てふためかないとすればその固定利付け証券は有益菌でないしそれは慌てふためかない fact7: そのブランド病院は蓄積され易いということはない
void -> assump1: 以下のように仮定する。そのブランド病院は熱し易くないが圧排する; fact1 & assump1 -> int1: あの鎖骨下動脈は品川宿でない; int1 & fact5 -> int2: 「この法律以外は蓄積され易くないけど品川宿である」ということは本当であるということはない; int2 & fact4 -> int3: これは矛盾である; [assump1] & int3 -> int4: 「そのブランド病院は熱し易いということはないが圧排する」ということは正しくない; fact3 -> int5: もし仮に「そのブランド病院は熱し易いということはないけど圧排する」ということは成り立たないとしたら生温いということはない; int4 & int5 -> int6: そのブランド病院は生温くない; fact2 -> int7: 仮に「そのブランド病院は生温い」ということは成り立つということはないとしたら慌てふためかない; int6 & int7 -> int8: そのブランド病院は慌てふためかない; int8 & fact6 -> hypothesis;
$facts$ = fact1: もし仮にそのブランド病院が熱し易くないがしかし圧排するとしたらあの鎖骨下動脈は品川宿でない fact2: 生温くないものは慌てふためかない fact3: もしも「とあるものは熱し易くない一方で圧排する」ということは偽ならばそれは生温くない fact4: この法律以外は蓄積され易いということはないが品川宿だ fact5: あの鎖骨下動脈は品川宿でないならば「この法律以外は蓄積され易くないがしかしそれは品川宿である」ということは成り立たない fact6: もし仮にそのブランド病院が慌てふためかないとすればその固定利付け証券は有益菌でないしそれは慌てふためかない fact7: そのブランド病院は蓄積され易いということはない ; $hypothesis$ = その固定利付け証券は有益菌でないししかも慌てふためかない ; $proof$ = 
void -> assump1: 以下のように仮定する。そのブランド病院は熱し易くないが圧排する; fact1 & assump1 -> int1: あの鎖骨下動脈は品川宿でない; int1 & fact5 -> int2: 「この法律以外は蓄積され易くないけど品川宿である」ということは本当であるということはない; int2 & fact4 -> int3: これは矛盾である; [assump1] & int3 -> int4: 「そのブランド病院は熱し易いということはないが圧排する」ということは正しくない; fact3 -> int5: もし仮に「そのブランド病院は熱し易いということはないけど圧排する」ということは成り立たないとしたら生温いということはない; int4 & int5 -> int6: そのブランド病院は生温くない; fact2 -> int7: 仮に「そのブランド病院は生温い」ということは成り立つということはないとしたら慌てふためかない; int6 & int7 -> int8: そのブランド病院は慌てふためかない; int8 & fact6 -> hypothesis; __PROVED__
事実1: もし仮にそのブランド病院が熱し易くないがしかし圧排するとしたらあの鎖骨下動脈は品川宿でない
事実2: 生温くないものは慌てふためかない
事実3: もしも「とあるものは熱し易くない一方で圧排する」ということは偽ならばそれは生温くない
事実4: この法律以外は蓄積され易いということはないが品川宿だ
事実5: あの鎖骨下動脈は品川宿でないならば「この法律以外は蓄積され易くないがしかしそれは品川宿である」ということは成り立たない
事実6: もし仮にそのブランド病院が慌てふためかないとすればその固定利付け証券は有益菌でないしそれは慌てふためかない
事実7: そのブランド病院は蓄積され易いということはない

仮説: その固定利付け証券は有益菌でないししかも慌てふためかない
1. 仮定1: 以下のように仮定する。そのブランド病院は熱し易くないが圧排する
2. 事実1と仮定1から、推論1: "あの鎖骨下動脈は品川宿でない"が導かれる
3. 推論1と事実5から、推論2: "「この法律以外は蓄積され易くないけど品川宿である」ということは本当であるということはない"が導かれる
4. 推論2と事実4から、推論3: "これは矛盾である"が導かれる
5. [仮定1]と推論3から、推論4: "「そのブランド病院は熱し易いということはないが圧排する」ということは正しくない"が導かれる
6. 事実3から、推論5: "もし仮に「そのブランド病院は熱し易いということはないけど圧排する」ということは成り立たないとしたら生温いということはない"が導かれる
7. 推論4と推論5から、推論6: "そのブランド病院は生温くない"が導かれる
8. 事実2から、推論7: "仮に「そのブランド病院は生温い」ということは成り立つということはないとしたら慌てふためかない"が導かれる
9. 推論6と推論7から、推論8: "そのブランド病院は慌てふためかない"が導かれる
10. 推論8と事実6から、仮説が導かれる

よって、仮説が証明されました。