そのみちゃみえLv.82はだらし無くない
fact1: あのまくまねLv.2はおどおどする fact2: もし仮にあのまくまねLv.2がおどおどするならそのぷにゅぷにゅLv.65は変え難い fact3: もしもそのぷにゅぷにゅLv.65が変え難いとすればあのまえまにゃLv.25は変え難いけど紳士らしくない fact4: もしもあのまえまにゃLv.25が変え難いがしかしそれが紳士らしくないとするとそのみちゃみえLv.82は借り入れする fact5: そのぷにゅぷにゅLv.65はだらし無い fact6: 仮に「そのみちゃみえLv.82は借り入れする」ということは成り立つとしたらそれは若者らしい fact7: もしもそのみちゃみえLv.82が若者らしいとするとだらし無い
fact2 & fact1 -> int1: そのぷにゅぷにゅLv.65は変え難い; int1 & fact3 -> int2: あのまえまにゃLv.25は変え難いがそれは紳士らしくない; int2 & fact4 -> int3: そのみちゃみえLv.82は借り入れする; int3 & fact6 -> int4: そのみちゃみえLv.82は若者らしい; int4 & fact7 -> hypothesis;
fact2 & fact1 -> int1: {B}{b}; int1 & fact3 -> int2: ({B}{c} & ¬{D}{c}); int2 & fact4 -> int3: {C}{d}; int3 & fact6 -> int4: {E}{d}; int4 & fact7 -> hypothesis;
$facts$ = fact1: あのまくまねLv.2はおどおどする fact2: もし仮にあのまくまねLv.2がおどおどするならそのぷにゅぷにゅLv.65は変え難い fact3: もしもそのぷにゅぷにゅLv.65が変え難いとすればあのまえまにゃLv.25は変え難いけど紳士らしくない fact4: もしもあのまえまにゃLv.25が変え難いがしかしそれが紳士らしくないとするとそのみちゃみえLv.82は借り入れする fact5: そのぷにゅぷにゅLv.65はだらし無い fact6: 仮に「そのみちゃみえLv.82は借り入れする」ということは成り立つとしたらそれは若者らしい fact7: もしもそのみちゃみえLv.82が若者らしいとするとだらし無い ; $hypothesis$ = そのみちゃみえLv.82はだらし無くない ; $proof$ = 
fact2 & fact1 -> int1: そのぷにゅぷにゅLv.65は変え難い; int1 & fact3 -> int2: あのまえまにゃLv.25は変え難いがそれは紳士らしくない; int2 & fact4 -> int3: そのみちゃみえLv.82は借り入れする; int3 & fact6 -> int4: そのみちゃみえLv.82は若者らしい; int4 & fact7 -> hypothesis; __DISPROVED__
fact2 & fact1 -> int1: {B}{b}; int1 & fact3 -> int2: ({B}{c} & ¬{D}{c}); int2 & fact4 -> int3: {C}{d}; int3 & fact6 -> int4: {E}{d}; int4 & fact7 -> hypothesis; __DISPROVED__