その四会協定約款は短縮出来ない
fact1: 「「賢しいということはない」ということは成り立つ」物はある fact2: もしも「賢しくない」ものがあればその四会協定約款は短縮出来るけど罹り易くない fact3: 仮に何らかのものが従えればそれは賢しい fact4: 賢しいものは罹り易い fact5: 仮に「その不安情報は罹り易くないが短縮出来る」ということは成り立たないとしたらその四会協定約款は短縮出来ない
fact1 & fact2 -> int1: その四会協定約款は短縮出来るけれど罹り易くない; int1 -> hypothesis;
fact1 & fact2 -> int1: ({B}{a} & ¬{C}{a}); int1 -> hypothesis;
その四会協定約款は短縮出来ない
fact8 -> int2: もし仮にその探訪は賢しいならば「それは罹り易い」ということは成り立つ; fact7 -> int3: もしその探訪が従えるとするとそれは賢しい;
$facts$ = fact1: 「「賢しいということはない」ということは成り立つ」物はある fact2: もしも「賢しくない」ものがあればその四会協定約款は短縮出来るけど罹り易くない fact3: 仮に何らかのものが従えればそれは賢しい fact4: 賢しいものは罹り易い fact5: 仮に「その不安情報は罹り易くないが短縮出来る」ということは成り立たないとしたらその四会協定約款は短縮出来ない ; $hypothesis$ = その四会協定約款は短縮出来ない ; $proof$ = 
fact1 & fact2 -> int1: その四会協定約款は短縮出来るけれど罹り易くない; int1 -> hypothesis; __DISPROVED__
事実1: 「「賢しいということはない」ということは成り立つ」物はある
事実2: もしも「賢しくない」ものがあればその四会協定約款は短縮出来るけど罹り易くない
事実3: 仮に何らかのものが従えればそれは賢しい
事実4: 賢しいものは罹り易い
事実5: 仮に「その不安情報は罹り易くないが短縮出来る」ということは成り立たないとしたらその四会協定約款は短縮出来ない

仮説: その四会協定約款は短縮出来ない
1. 事実1と事実2から、推論1: "その四会協定約款は短縮出来るけれど罹り易くない"が導かれる
2. 推論1から、仮説が否定される

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