そのまちゃまちゃLv.17は疲れ難い
fact1: そのまちゃまちゃLv.17は天狗らしい fact2: もし仮にそのまちゃまちゃLv.17が取り組み始めるしその上天狗らしいならばそのまちゃまちゃLv.17は疲れ難いということはない fact3: あのまちゃまよLv.23は切り下げるがしかしそれはほらない fact4: もし仮にあのまちゃまよLv.23が切り下げるけれどほらないとするとそのまちゃまちゃLv.17は取り組み始める
fact4 & fact3 -> int1: そのまちゃまちゃLv.17は取り組み始める; int1 & fact1 -> int2: そのまちゃまちゃLv.17は取り組み始めるしそれに天狗らしい; int2 & fact2 -> hypothesis;
fact4 & fact3 -> int1: {B}{b}; int1 & fact1 -> int2: ({B}{b} & {A}{b}); int2 & fact2 -> hypothesis;
$facts$ = fact1: そのまちゃまちゃLv.17は天狗らしい fact2: もし仮にそのまちゃまちゃLv.17が取り組み始めるしその上天狗らしいならばそのまちゃまちゃLv.17は疲れ難いということはない fact3: あのまちゃまよLv.23は切り下げるがしかしそれはほらない fact4: もし仮にあのまちゃまよLv.23が切り下げるけれどほらないとするとそのまちゃまちゃLv.17は取り組み始める ; $hypothesis$ = そのまちゃまちゃLv.17は疲れ難い ; $proof$ = 
fact4 & fact3 -> int1: そのまちゃまちゃLv.17は取り組み始める; int1 & fact1 -> int2: そのまちゃまちゃLv.17は取り組み始めるしそれに天狗らしい; int2 & fact2 -> hypothesis; __DISPROVED__
fact4 & fact3 -> int1: {B}{b}; int1 & fact1 -> int2: ({B}{b} & {A}{b}); int2 & fact2 -> hypothesis; __DISPROVED__