このまのまちゃLv.33は所らしい
fact1: そのみくみいLv.23は姉らしい fact2: もしそのみくみいLv.23が書き難い一方で会計処理するということはないならこのまのまちゃLv.33は所らしくない fact3: そのみくみいLv.23が書き難くないが会計処理するとしたらこのまのまちゃLv.33は所らしいということはない fact4: このまのまちゃLv.33は姉らしくない fact5: もしも「そのみくみいLv.23は姉らしい」ということは真実なら書き難くないしまた会計処理しない fact6: 仮にそのみくみいLv.23が書き難くないし加えてそれが会計処理しないとしたらこのまのまちゃLv.33は所らしくない
fact5 & fact1 -> int1: そのみくみいLv.23は書き難くないししかもそれは会計処理しない; int1 & fact6 -> hypothesis;
fact5 & fact1 -> int1: (¬{AA}{a} & ¬{AB}{a}); int1 & fact6 -> hypothesis;
$facts$ = fact1: そのみくみいLv.23は姉らしい fact2: もしそのみくみいLv.23が書き難い一方で会計処理するということはないならこのまのまちゃLv.33は所らしくない fact3: そのみくみいLv.23が書き難くないが会計処理するとしたらこのまのまちゃLv.33は所らしいということはない fact4: このまのまちゃLv.33は姉らしくない fact5: もしも「そのみくみいLv.23は姉らしい」ということは真実なら書き難くないしまた会計処理しない fact6: 仮にそのみくみいLv.23が書き難くないし加えてそれが会計処理しないとしたらこのまのまちゃLv.33は所らしくない ; $hypothesis$ = このまのまちゃLv.33は所らしい ; $proof$ = 
fact5 & fact1 -> int1: そのみくみいLv.23は書き難くないししかもそれは会計処理しない; int1 & fact6 -> hypothesis; __DISPROVED__
fact5 & fact1 -> int1: (¬{AA}{a} & ¬{AB}{a}); int1 & fact6 -> hypothesis; __DISPROVED__