その特例法は騒々しい
fact1: この狆は督促する fact2: もしその尊厳性が督促するということはないならこの狆は打ち震えるということはない fact3: この狆は振り動かさない fact4: その尊厳性は騒々しいかまたは打ち震える fact5: もし仮に「その尊厳性は打ち震えるということはないか督促するかもしくはどちらもである」ということは確かであるとすればその特例法は騒々しくない fact6: もし「その特例法は督促するということはない」ということは確かであるならこの狆は騒々しくない fact7: もしその特例法が騒々しくないかそれが打ち震えるか両方ともであるならその尊厳性は督促するということはない fact8: 仮にその特例法が騒々しいとしたらその尊厳性は打ち震えるということはないかもしくはそれは第二十五病院であるかあるいは両方ともだ fact9: 「その特例法は打ち震えない」ということは成り立つ fact10: この狆は騒々しい fact11: もし仮にその尊厳性が打ち震えないか第二十五病院であるかあるいは両方ともであるとすればあの狆は督促しない fact12: もし仮にその特例法が騒々しいとすればその尊厳性は督促するかもしくはそれは打ち震える
void -> assump1: 以下のように仮定する。その特例法は騒々しい; fact8 & assump1 -> int1: その尊厳性は打ち震えないか第二十五病院であるかまたはどちらもだ; int1 & fact11 -> int2: この狆は督促しない; int2 & fact1 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis;
$facts$ = fact1: この狆は督促する fact2: もしその尊厳性が督促するということはないならこの狆は打ち震えるということはない fact3: この狆は振り動かさない fact4: その尊厳性は騒々しいかまたは打ち震える fact5: もし仮に「その尊厳性は打ち震えるということはないか督促するかもしくはどちらもである」ということは確かであるとすればその特例法は騒々しくない fact6: もし「その特例法は督促するということはない」ということは確かであるならこの狆は騒々しくない fact7: もしその特例法が騒々しくないかそれが打ち震えるか両方ともであるならその尊厳性は督促するということはない fact8: 仮にその特例法が騒々しいとしたらその尊厳性は打ち震えるということはないかもしくはそれは第二十五病院であるかあるいは両方ともだ fact9: 「その特例法は打ち震えない」ということは成り立つ fact10: この狆は騒々しい fact11: もし仮にその尊厳性が打ち震えないか第二十五病院であるかあるいは両方ともであるとすればあの狆は督促しない fact12: もし仮にその特例法が騒々しいとすればその尊厳性は督促するかもしくはそれは打ち震える ; $hypothesis$ = その特例法は騒々しい ; $proof$ = 
void -> assump1: 以下のように仮定する。その特例法は騒々しい; fact8 & assump1 -> int1: その尊厳性は打ち震えないか第二十五病院であるかまたはどちらもだ; int1 & fact11 -> int2: この狆は督促しない; int2 & fact1 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis; __DISPROVED__
事実1: この狆は督促する
事実2: もしその尊厳性が督促するということはないならこの狆は打ち震えるということはない
事実3: この狆は振り動かさない
事実4: その尊厳性は騒々しいかまたは打ち震える
事実5: もし仮に「その尊厳性は打ち震えるということはないか督促するかもしくはどちらもである」ということは確かであるとすればその特例法は騒々しくない
事実6: もし「その特例法は督促するということはない」ということは確かであるならこの狆は騒々しくない
事実7: もしその特例法が騒々しくないかそれが打ち震えるか両方ともであるならその尊厳性は督促するということはない
事実8: 仮にその特例法が騒々しいとしたらその尊厳性は打ち震えるということはないかもしくはそれは第二十五病院であるかあるいは両方ともだ
事実9: 「その特例法は打ち震えない」ということは成り立つ
事実10: この狆は騒々しい
事実11: もし仮にその尊厳性が打ち震えないか第二十五病院であるかあるいは両方ともであるとすればあの狆は督促しない
事実12: もし仮にその特例法が騒々しいとすればその尊厳性は督促するかもしくはそれは打ち震える

仮説: その特例法は騒々しい
1. 仮定1: 以下のように仮定する。その特例法は騒々しい
2. 事実8と仮定1から、推論1: "その尊厳性は打ち震えないか第二十五病院であるかまたはどちらもだ"が導かれる
3. 推論1と事実11から、推論2: "この狆は督促しない"が導かれる
4. 推論2と事実1から、推論3: "これは矛盾である"が導かれる
5. [仮定1]と推論3から、仮説が否定される

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