そのぷちゃぷにLv.72は不自由しない
fact1: そのぷちゃぷにLv.72は妊娠出来る fact2: もしもそのぷちゃぷにLv.72が賃貸するしまた気安いならばそのぷちゃぷにLv.72は不自由するということはない fact3: あのぴにょぴにゃLv.0は傷付き易くてかつべた付き易い fact4: このみやみなLv.40は薄汚い fact5: そのぷちゃぷにLv.72は他愛無くてさらに小賢しい fact6: そのぷちゃぷにLv.72が他愛無いとすればそれは薄汚い fact7: もしそのぷちゃぷにLv.72が薄汚いなら賃貸する fact8: そのぷちゃぷにLv.72は気安い
fact5 -> int1: そのぷちゃぷにLv.72は他愛無い; int1 & fact6 -> int2: 「そのぷちゃぷにLv.72は薄汚い」ということは成り立つ; int2 & fact7 -> int3: 「そのぷちゃぷにLv.72は賃貸する」ということは正しい; int3 & fact8 -> int4: そのぷちゃぷにLv.72は賃貸するしその上気安い; int4 & fact2 -> hypothesis;
fact5 -> int1: {A}{a}; int1 & fact6 -> int2: {C}{a}; int2 & fact7 -> int3: {D}{a}; int3 & fact8 -> int4: ({D}{a} & {E}{a}); int4 & fact2 -> hypothesis;
$facts$ = fact1: そのぷちゃぷにLv.72は妊娠出来る fact2: もしもそのぷちゃぷにLv.72が賃貸するしまた気安いならばそのぷちゃぷにLv.72は不自由するということはない fact3: あのぴにょぴにゃLv.0は傷付き易くてかつべた付き易い fact4: このみやみなLv.40は薄汚い fact5: そのぷちゃぷにLv.72は他愛無くてさらに小賢しい fact6: そのぷちゃぷにLv.72が他愛無いとすればそれは薄汚い fact7: もしそのぷちゃぷにLv.72が薄汚いなら賃貸する fact8: そのぷちゃぷにLv.72は気安い ; $hypothesis$ = そのぷちゃぷにLv.72は不自由しない ; $proof$ = 
fact5 -> int1: そのぷちゃぷにLv.72は他愛無い; int1 & fact6 -> int2: 「そのぷちゃぷにLv.72は薄汚い」ということは成り立つ; int2 & fact7 -> int3: 「そのぷちゃぷにLv.72は賃貸する」ということは正しい; int3 & fact8 -> int4: そのぷちゃぷにLv.72は賃貸するしその上気安い; int4 & fact2 -> hypothesis; __PROVED__
fact5 -> int1: {A}{a}; int1 & fact6 -> int2: {C}{a}; int2 & fact7 -> int3: {D}{a}; int3 & fact8 -> int4: ({D}{a} & {E}{a}); int4 & fact2 -> hypothesis; __PROVED__