「このもくもいLv.28は当たり易いし照れ臭い」ということは成り立つということはない
fact1: もしそのぴにゃぴゆLv.39が変化し易いとしたら扱い易い fact2: 仮に扱い易いモンスターは血腥いならば「「このもくもいLv.28は照れ臭くない」ということは真実でない」ということは真実である fact3: 仮に何らかのモンスターが当たり易くて清いとするとそのぴにゃぴゆLv.39は照れ臭くない fact4: このもくもいLv.28は当たり易い fact5: そのまわまえLv.18は当たり易いし更に清い fact6: 「そのぴにゃぴゆLv.39は血腥い」ということは成り立つ fact7: そのぴにゃぴゆLv.39は変化し易い fact8: 「このもくもいLv.28は扱い易い」ということは成り立つ fact9: もしあるモンスターは変化し易くないとしたら「それは当たり易いし照れ臭い」ということは嘘である fact10: 「「扱い易い」ということは誤りでない」モンスターはいる
fact1 & fact7 -> int1: そのぴにゃぴゆLv.39は扱い易い; int1 & fact6 -> int2: そのぴにゃぴゆLv.39は扱い易くてそれは血腥い; int2 -> int3: 「扱い易いしその上血腥い」モンスターはいる; int3 & fact2 -> int4: このもくもいLv.28は照れ臭い; int4 & fact4 -> hypothesis;
fact1 & fact7 -> int1: {B}{a}; int1 & fact6 -> int2: ({B}{a} & {C}{a}); int2 -> int3: (Ex): ({B}x & {C}x); int3 & fact2 -> int4: {D}{b}; int4 & fact4 -> hypothesis;
このもくもいLv.28は血腥い
fact11 -> int5: 「当たり易いしその上清い」モンスターはいる; int5 & fact12 -> int6: そのぴにゃぴゆLv.39は照れ臭くない; int6 -> int7: 「照れ臭くない」モンスターはいる;
$facts$ = fact1: もしそのぴにゃぴゆLv.39が変化し易いとしたら扱い易い fact2: 仮に扱い易いモンスターは血腥いならば「「このもくもいLv.28は照れ臭くない」ということは真実でない」ということは真実である fact3: 仮に何らかのモンスターが当たり易くて清いとするとそのぴにゃぴゆLv.39は照れ臭くない fact4: このもくもいLv.28は当たり易い fact5: そのまわまえLv.18は当たり易いし更に清い fact6: 「そのぴにゃぴゆLv.39は血腥い」ということは成り立つ fact7: そのぴにゃぴゆLv.39は変化し易い fact8: 「このもくもいLv.28は扱い易い」ということは成り立つ fact9: もしあるモンスターは変化し易くないとしたら「それは当たり易いし照れ臭い」ということは嘘である fact10: 「「扱い易い」ということは誤りでない」モンスターはいる ; $hypothesis$ = 「このもくもいLv.28は当たり易いし照れ臭い」ということは成り立つということはない ; $proof$ = 
fact1 & fact7 -> int1: そのぴにゃぴゆLv.39は扱い易い; int1 & fact6 -> int2: そのぴにゃぴゆLv.39は扱い易くてそれは血腥い; int2 -> int3: 「扱い易いしその上血腥い」モンスターはいる; int3 & fact2 -> int4: このもくもいLv.28は照れ臭い; int4 & fact4 -> hypothesis; __DISPROVED__
fact1 & fact7 -> int1: {B}{a}; int1 & fact6 -> int2: ({B}{a} & {C}{a}); int2 -> int3: (Ex): ({B}x & {C}x); int3 & fact2 -> int4: {D}{b}; int4 & fact4 -> hypothesis; __DISPROVED__