このまにょまにゅLv.76は焦げ臭くない
fact1: 仮に小汚いモンスターが洒落臭いとしたらこのまにょまにゅLv.76は焦げ臭い fact2: 「このみやみねLv.50は小汚い」ということは嘘でない fact3: もしこのまえまにゅLv.69が醜いけれど消化し難くないならこのみやみねLv.50は洒落臭い fact4: 仮にこのまえまにゅLv.69は小汚いとすれば「このまにょまにゅLv.76は焦げ臭くない」ということは確かである fact5: このまえまにゅLv.69は醜いがしかし消化し難いということはない
fact3 & fact5 -> int1: このみやみねLv.50は洒落臭い; int1 & fact2 -> int2: このみやみねLv.50は小汚くて加えて洒落臭い; int2 -> int3: 小汚くて更に洒落臭いモンスターはいる; int3 & fact1 -> hypothesis;
fact3 & fact5 -> int1: {B}{b}; int1 & fact2 -> int2: ({A}{b} & {B}{b}); int2 -> int3: (Ex): ({A}x & {B}x); int3 & fact1 -> hypothesis;
このまにょまにゅLv.76は焦げ臭くない
$facts$ = fact1: 仮に小汚いモンスターが洒落臭いとしたらこのまにょまにゅLv.76は焦げ臭い fact2: 「このみやみねLv.50は小汚い」ということは嘘でない fact3: もしこのまえまにゅLv.69が醜いけれど消化し難くないならこのみやみねLv.50は洒落臭い fact4: 仮にこのまえまにゅLv.69は小汚いとすれば「このまにょまにゅLv.76は焦げ臭くない」ということは確かである fact5: このまえまにゅLv.69は醜いがしかし消化し難いということはない ; $hypothesis$ = このまにょまにゅLv.76は焦げ臭くない ; $proof$ = 
fact3 & fact5 -> int1: このみやみねLv.50は洒落臭い; int1 & fact2 -> int2: このみやみねLv.50は小汚くて加えて洒落臭い; int2 -> int3: 小汚くて更に洒落臭いモンスターはいる; int3 & fact1 -> hypothesis; __DISPROVED__
fact3 & fact5 -> int1: {B}{b}; int1 & fact2 -> int2: ({A}{b} & {B}{b}); int2 -> int3: (Ex): ({A}x & {B}x); int3 & fact1 -> hypothesis; __DISPROVED__