「その梅毒院は聡いししかも海蛇だ」ということは成り立たない
fact1: 仮にこの律法が言い辛いしその上カムバックするなら「この処置時間は聡くない」ということは成り立つ fact2: もしもなんらかのものが静注するならカムバックする fact3: 切り替えるがしかししぶとくないという物はない fact4: もし仮にこの律法が譲るとしたらそれは言い辛い fact5: 引き易い物はカムバックする fact6: 何らかのものがしぶといとすればそれは譲る fact7: 「なにかは切り替える一方でしぶとくない」ということは成り立たないとすれば譲る fact8: 仮にこの処置時間が聡くないとするとその梅毒院は聡くて海蛇だ fact9: この律法は読み難いということはない fact10: もしもこの律法が読み難くないとしたら静注するかあるいは引き易い
fact7 -> int1: もし仮に「この律法は切り替えるがそれはしぶとくない」ということは成り立たないとしたら「譲る」ということは偽でない; fact3 -> int2: 「この律法は切り替えるがしかしそれはしぶとくない」ということは嘘である; int1 & int2 -> int3: この律法は譲る; int3 & fact4 -> int4: この律法は言い辛い; fact9 & fact10 -> int5: この律法は静注するかまたは引き易いかあるいはどちらもである; fact2 -> int6: もし仮にこの律法が静注するとするとカムバックする; fact5 -> int7: もしこの律法が引き易いとするとそれはカムバックする; int5 & int6 & int7 -> int8: この律法はカムバックする; int4 & int8 -> int9: この律法は言い辛いしまたカムバックする; int9 & fact1 -> int10: この処置時間は聡くない; int10 & fact8 -> hypothesis;
$facts$ = fact1: 仮にこの律法が言い辛いしその上カムバックするなら「この処置時間は聡くない」ということは成り立つ fact2: もしもなんらかのものが静注するならカムバックする fact3: 切り替えるがしかししぶとくないという物はない fact4: もし仮にこの律法が譲るとしたらそれは言い辛い fact5: 引き易い物はカムバックする fact6: 何らかのものがしぶといとすればそれは譲る fact7: 「なにかは切り替える一方でしぶとくない」ということは成り立たないとすれば譲る fact8: 仮にこの処置時間が聡くないとするとその梅毒院は聡くて海蛇だ fact9: この律法は読み難いということはない fact10: もしもこの律法が読み難くないとしたら静注するかあるいは引き易い ; $hypothesis$ = 「その梅毒院は聡いししかも海蛇だ」ということは成り立たない ; $proof$ = 
fact7 -> int1: もし仮に「この律法は切り替えるがそれはしぶとくない」ということは成り立たないとしたら「譲る」ということは偽でない; fact3 -> int2: 「この律法は切り替えるがしかしそれはしぶとくない」ということは嘘である; int1 & int2 -> int3: この律法は譲る; int3 & fact4 -> int4: この律法は言い辛い; fact9 & fact10 -> int5: この律法は静注するかまたは引き易いかあるいはどちらもである; fact2 -> int6: もし仮にこの律法が静注するとするとカムバックする; fact5 -> int7: もしこの律法が引き易いとするとそれはカムバックする; int5 & int6 & int7 -> int8: この律法はカムバックする; int4 & int8 -> int9: この律法は言い辛いしまたカムバックする; int9 & fact1 -> int10: この処置時間は聡くない; int10 & fact8 -> hypothesis; __DISPROVED__
事実1: 仮にこの律法が言い辛いしその上カムバックするなら「この処置時間は聡くない」ということは成り立つ
事実2: もしもなんらかのものが静注するならカムバックする
事実3: 切り替えるがしかししぶとくないという物はない
事実4: もし仮にこの律法が譲るとしたらそれは言い辛い
事実5: 引き易い物はカムバックする
事実6: 何らかのものがしぶといとすればそれは譲る
事実7: 「なにかは切り替える一方でしぶとくない」ということは成り立たないとすれば譲る
事実8: 仮にこの処置時間が聡くないとするとその梅毒院は聡くて海蛇だ
事実9: この律法は読み難いということはない
事実10: もしもこの律法が読み難くないとしたら静注するかあるいは引き易い

仮説: 「その梅毒院は聡いししかも海蛇だ」ということは成り立たない
1. 事実7から、推論1: "もし仮に「この律法は切り替えるがそれはしぶとくない」ということは成り立たないとしたら「譲る」ということは偽でない"が導かれる
2. 事実3から、推論2: "「この律法は切り替えるがしかしそれはしぶとくない」ということは嘘である"が導かれる
3. 推論1と推論2から、推論3: "この律法は譲る"が導かれる
4. 推論3と事実4から、推論4: "この律法は言い辛い"が導かれる
5. 事実9と事実10から、推論5: "この律法は静注するかまたは引き易いかあるいはどちらもである"が導かれる
6. 事実2から、推論6: "もし仮にこの律法が静注するとするとカムバックする"が導かれる
7. 事実5から、推論7: "もしこの律法が引き易いとするとそれはカムバックする"が導かれる
8. 推論5と推論6と推論7から、推論8: "この律法はカムバックする"が導かれる
9. 推論4と推論8から、推論9: "この律法は言い辛いしまたカムバックする"が導かれる
10. 推論9と事実1から、推論10: "この処置時間は聡くない"が導かれる
11. 推論10と事実8から、仮説が否定される

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