この三十五歳以下は結節でない
fact1: もしなにがしかの物が選択し易いとしたらそれは結節だ fact2: もし仮になんらかの物が覆い被さるならそれは慕わしい fact3: もしその真理ちゃんが慕わしいならこの三十五歳以下は結節だ fact4: その真理ちゃんは選択し易くて覆い被さる fact5: もし仮にこの大仏鐘銘は慕わしいということはないならば「その真理ちゃんは選択し易い一方でそれは覆い被さらない」ということは偽である
fact4 -> int1: その真理ちゃんは覆い被さる; fact2 -> int2: もしその真理ちゃんが覆い被さればそれは慕わしい; int1 & int2 -> int3: その真理ちゃんは慕わしい; int3 & fact3 -> hypothesis;
fact4 -> int1: {B}{a}; fact2 -> int2: {B}{a} -> {C}{a}; int1 & int2 -> int3: {C}{a}; int3 & fact3 -> hypothesis;
この三十五歳以下は結節でない
$facts$ = fact1: もしなにがしかの物が選択し易いとしたらそれは結節だ fact2: もし仮になんらかの物が覆い被さるならそれは慕わしい fact3: もしその真理ちゃんが慕わしいならこの三十五歳以下は結節だ fact4: その真理ちゃんは選択し易くて覆い被さる fact5: もし仮にこの大仏鐘銘は慕わしいということはないならば「その真理ちゃんは選択し易い一方でそれは覆い被さらない」ということは偽である ; $hypothesis$ = この三十五歳以下は結節でない ; $proof$ = 
fact4 -> int1: その真理ちゃんは覆い被さる; fact2 -> int2: もしその真理ちゃんが覆い被さればそれは慕わしい; int1 & int2 -> int3: その真理ちゃんは慕わしい; int3 & fact3 -> hypothesis; __DISPROVED__
事実1: もしなにがしかの物が選択し易いとしたらそれは結節だ
事実2: もし仮になんらかの物が覆い被さるならそれは慕わしい
事実3: もしその真理ちゃんが慕わしいならこの三十五歳以下は結節だ
事実4: その真理ちゃんは選択し易くて覆い被さる
事実5: もし仮にこの大仏鐘銘は慕わしいということはないならば「その真理ちゃんは選択し易い一方でそれは覆い被さらない」ということは偽である

仮説: この三十五歳以下は結節でない
1. 事実4から、推論1: "その真理ちゃんは覆い被さる"が導かれる
2. 事実2から、推論2: "もしその真理ちゃんが覆い被さればそれは慕わしい"が導かれる
3. 推論1と推論2から、推論3: "その真理ちゃんは慕わしい"が導かれる
4. 推論3と事実3から、仮説が否定される

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