その移ろいは見分け難い
fact1: 「もし仮にそのＣＡＬＳが嫉妬深いかあるいは嫌しないとするとこの各所属長は重たくない」ということは確かである fact2: もし「何かは療養担当規則でない」ということは成り立つとするとそれは見分け難くない fact3: 仮に何らかのものは見分け難くないならば「それは割れ難くないがしかし重たい」ということは嘘である fact4: もし「何かは割れ難くないがしかし重たい」ということは成り立たないならば重たくない fact5: その移ろいは見分け難いかまたはそれは嫉妬深くないかまたはどちらもである fact6: 仮にこの各所属長が重たくないとしたらその移ろいは見分け難くない fact7: そのＣＡＬＳは嫉妬深いかまたはそれは嫌しないかまたは両方である fact8: 「何らかの物は割れ難いが重たくない」ということは成り立たないとしたら見分け難い fact9: 「そのＣＡＬＳは嫉妬深いかあるいはそれは嫌する」ということは正しい
fact1 & fact7 -> int1: この各所属長は重たくない; int1 & fact6 -> hypothesis;
fact1 & fact7 -> int1: ¬{B}{b}; int1 & fact6 -> hypothesis;
その移ろいは見分け難い
fact10 -> int2: 「その移ろいは割れ難いが重たいということはない」ということは誤りであるとしたらそれは見分け難い;
$facts$ = fact1: 「もし仮にそのＣＡＬＳが嫉妬深いかあるいは嫌しないとするとこの各所属長は重たくない」ということは確かである fact2: もし「何かは療養担当規則でない」ということは成り立つとするとそれは見分け難くない fact3: 仮に何らかのものは見分け難くないならば「それは割れ難くないがしかし重たい」ということは嘘である fact4: もし「何かは割れ難くないがしかし重たい」ということは成り立たないならば重たくない fact5: その移ろいは見分け難いかまたはそれは嫉妬深くないかまたはどちらもである fact6: 仮にこの各所属長が重たくないとしたらその移ろいは見分け難くない fact7: そのＣＡＬＳは嫉妬深いかまたはそれは嫌しないかまたは両方である fact8: 「何らかの物は割れ難いが重たくない」ということは成り立たないとしたら見分け難い fact9: 「そのＣＡＬＳは嫉妬深いかあるいはそれは嫌する」ということは正しい ; $hypothesis$ = その移ろいは見分け難い ; $proof$ = 
fact1 & fact7 -> int1: この各所属長は重たくない; int1 & fact6 -> hypothesis; __DISPROVED__
事実1: 「もし仮にそのＣＡＬＳが嫉妬深いかあるいは嫌しないとするとこの各所属長は重たくない」ということは確かである
事実2: もし「何かは療養担当規則でない」ということは成り立つとするとそれは見分け難くない
事実3: 仮に何らかのものは見分け難くないならば「それは割れ難くないがしかし重たい」ということは嘘である
事実4: もし「何かは割れ難くないがしかし重たい」ということは成り立たないならば重たくない
事実5: その移ろいは見分け難いかまたはそれは嫉妬深くないかまたはどちらもである
事実6: 仮にこの各所属長が重たくないとしたらその移ろいは見分け難くない
事実7: そのＣＡＬＳは嫉妬深いかまたはそれは嫌しないかまたは両方である
事実8: 「何らかの物は割れ難いが重たくない」ということは成り立たないとしたら見分け難い
事実9: 「そのＣＡＬＳは嫉妬深いかあるいはそれは嫌する」ということは正しい

仮説: その移ろいは見分け難い
1. 事実1と事実7から、推論1: "この各所属長は重たくない"が導かれる
2. 推論1と事実6から、仮説が否定される

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