「このぽゆぽにLv.51は分かり辛くない」ということは成り立つ
fact1: もしも何らかのモンスターが乳臭いとしたらそれは群れ遊ぶ fact2: このぽゆぽにLv.51は踏襲する fact3: このぽゆぽにLv.51は群れ遊ぶとすれば「それは分かり辛い」ということは成り立つ fact4: そのもにゅもいLv.47は群れ遊ぶ fact5: 「あのまにゅまえLv.65は群れ遊ぶがそれは分かり辛くない」ということは誤っているとしたらそのまにょまくLv.39は分かり辛い fact6: 仮にこのぽゆぽにLv.51は踏襲すれば「それは乳臭い」ということは本当だ
fact1 -> int1: もしこのぽゆぽにLv.51が乳臭いとすればそれは群れ遊ぶ; fact6 & fact2 -> int2: このぽゆぽにLv.51は乳臭い; int1 & int2 -> int3: このぽゆぽにLv.51は群れ遊ぶ; int3 & fact3 -> hypothesis;
fact1 -> int1: {A}{aa} -> {C}{aa}; fact6 & fact2 -> int2: {A}{aa}; int1 & int2 -> int3: {C}{aa}; int3 & fact3 -> hypothesis;
そのまにょまくLv.39は分かり辛い
$facts$ = fact1: もしも何らかのモンスターが乳臭いとしたらそれは群れ遊ぶ fact2: このぽゆぽにLv.51は踏襲する fact3: このぽゆぽにLv.51は群れ遊ぶとすれば「それは分かり辛い」ということは成り立つ fact4: そのもにゅもいLv.47は群れ遊ぶ fact5: 「あのまにゅまえLv.65は群れ遊ぶがそれは分かり辛くない」ということは誤っているとしたらそのまにょまくLv.39は分かり辛い fact6: 仮にこのぽゆぽにLv.51は踏襲すれば「それは乳臭い」ということは本当だ ; $hypothesis$ = 「このぽゆぽにLv.51は分かり辛くない」ということは成り立つ ; $proof$ = 
fact1 -> int1: もしこのぽゆぽにLv.51が乳臭いとすればそれは群れ遊ぶ; fact6 & fact2 -> int2: このぽゆぽにLv.51は乳臭い; int1 & int2 -> int3: このぽゆぽにLv.51は群れ遊ぶ; int3 & fact3 -> hypothesis; __DISPROVED__
fact1 -> int1: {A}{aa} -> {C}{aa}; fact6 & fact2 -> int2: {A}{aa}; int1 & int2 -> int3: {C}{aa}; int3 & fact3 -> hypothesis; __DISPROVED__