そのぷちゃぷちゃLv.36はリフレッシュするということはない
fact1: このぽやぽにLv.17は起こし易い fact2: もし仮に「そのぴちょぴねLv.17は寒し」ということは真実だとすればこのぽやぽにLv.17は素晴らし fact3: もし仮にこのぽやぽにLv.17が素晴らしとすればそのぷちゃぷちゃLv.36はリフレッシュする fact4: そのぴちょぴねLv.17は起こし易くてそれは娘らしい fact5: もしもそのぴちょぴねLv.17が起こし易いならそれは輝かしい fact6: 仮にそのぴちょぴねLv.17が輝かしいとすると寒し
fact4 -> int1: 「そのぴちょぴねLv.17は起こし易い」ということは正しい; int1 & fact5 -> int2: そのぴちょぴねLv.17は輝かしい; int2 & fact6 -> int3: そのぴちょぴねLv.17は寒し; int3 & fact2 -> int4: このぽやぽにLv.17は素晴らし; int4 & fact3 -> hypothesis;
fact4 -> int1: {A}{a}; int1 & fact5 -> int2: {C}{a}; int2 & fact6 -> int3: {D}{a}; int3 & fact2 -> int4: {E}{b}; int4 & fact3 -> hypothesis;
$facts$ = fact1: このぽやぽにLv.17は起こし易い fact2: もし仮に「そのぴちょぴねLv.17は寒し」ということは真実だとすればこのぽやぽにLv.17は素晴らし fact3: もし仮にこのぽやぽにLv.17が素晴らしとすればそのぷちゃぷちゃLv.36はリフレッシュする fact4: そのぴちょぴねLv.17は起こし易くてそれは娘らしい fact5: もしもそのぴちょぴねLv.17が起こし易いならそれは輝かしい fact6: 仮にそのぴちょぴねLv.17が輝かしいとすると寒し ; $hypothesis$ = そのぷちゃぷちゃLv.36はリフレッシュするということはない ; $proof$ = 
fact4 -> int1: 「そのぴちょぴねLv.17は起こし易い」ということは正しい; int1 & fact5 -> int2: そのぴちょぴねLv.17は輝かしい; int2 & fact6 -> int3: そのぴちょぴねLv.17は寒し; int3 & fact2 -> int4: このぽやぽにLv.17は素晴らし; int4 & fact3 -> hypothesis; __DISPROVED__
fact4 -> int1: {A}{a}; int1 & fact5 -> int2: {C}{a}; int2 & fact6 -> int3: {D}{a}; int3 & fact2 -> int4: {E}{b}; int4 & fact3 -> hypothesis; __DISPROVED__