「「もしも慕わしくないとすると受託残高だということはないかあるいは荒くない」ものはある」ということは嘘である
fact1: 仮にその本性が慕わしくないとすれば受託残高であるかあるいは荒くないかもしくはどちらもである fact2: その本性が慕わしくないとすればそれは勧業掛かりでないか和めないかあるいは両方ともである fact3: 「もし慕わしいとすると受託残高でないか荒いということはないかあるいはどちらもな」物はある fact4: もしこの示指が本箱であるなら荒くないかまたは御示しに成らないかもしくは両方だ fact5: もし仮に何かはタイイング難度でないとしたら「それは愛しくないかもしくは伐期でないかもしくは両方ともである」ということは正しい fact6: もしもその本性が慕わしくないならば受託残高でないか荒くない
fact6 -> hypothesis;
その古木はタイイング難度でないならばそれは愛しくないかまたは伐期だということはないかあるいは両方ともだ
fact7 -> hypothesis;
$facts$ = fact1: 仮にその本性が慕わしくないとすれば受託残高であるかあるいは荒くないかもしくはどちらもである fact2: その本性が慕わしくないとすればそれは勧業掛かりでないか和めないかあるいは両方ともである fact3: 「もし慕わしいとすると受託残高でないか荒いということはないかあるいはどちらもな」物はある fact4: もしこの示指が本箱であるなら荒くないかまたは御示しに成らないかもしくは両方だ fact5: もし仮に何かはタイイング難度でないとしたら「それは愛しくないかもしくは伐期でないかもしくは両方ともである」ということは正しい fact6: もしもその本性が慕わしくないならば受託残高でないか荒くない ; $hypothesis$ = 「「もしも慕わしくないとすると受託残高だということはないかあるいは荒くない」ものはある」ということは嘘である ; $proof$ = 
fact6 -> hypothesis; __DISPROVED__
事実1: 仮にその本性が慕わしくないとすれば受託残高であるかあるいは荒くないかもしくはどちらもである
事実2: その本性が慕わしくないとすればそれは勧業掛かりでないか和めないかあるいは両方ともである
事実3: 「もし慕わしいとすると受託残高でないか荒いということはないかあるいはどちらもな」物はある
事実4: もしこの示指が本箱であるなら荒くないかまたは御示しに成らないかもしくは両方だ
事実5: もし仮に何かはタイイング難度でないとしたら「それは愛しくないかもしくは伐期でないかもしくは両方ともである」ということは正しい
事実6: もしもその本性が慕わしくないならば受託残高でないか荒くない

仮説: 「「もしも慕わしくないとすると受託残高だということはないかあるいは荒くない」ものはある」ということは嘘である
1. 事実6から、仮説が否定される

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