そのみくみなLv.93は自覚化する
fact1: そのもねもねLv.81が鬩ぎ合うかそれが収蔵するとすればそのみくみなLv.93は自覚化しない fact2: 仮にそのもねもねLv.81が収蔵するならあのまくまちゅLv.11は鬩ぎ合う fact3: 「とあるモンスターが鬩ぎ合うとしたらそれは再発し易い」ということは誤っていない fact4: そのもねもねLv.81は自覚化する fact5: そのもねもねLv.81は痛ーいし鬩ぎ合う
fact5 -> int1: そのもねもねLv.81は鬩ぎ合う; int1 -> int2: そのもねもねLv.81は鬩ぎ合うかもしくは収蔵する; int2 & fact1 -> hypothesis;
fact5 -> int1: {B}{a}; int1 -> int2: ({B}{a} v {C}{a}); int2 & fact1 -> hypothesis;
「あのまくまちゅLv.11は再発し易いかあるいは痛ーいかどちらもだ」ということは真実である
fact6 -> int3: もし仮に「あのまくまちゅLv.11は鬩ぎ合う」ということは事実だとしたらそれは再発し易い;
$facts$ = fact1: そのもねもねLv.81が鬩ぎ合うかそれが収蔵するとすればそのみくみなLv.93は自覚化しない fact2: 仮にそのもねもねLv.81が収蔵するならあのまくまちゅLv.11は鬩ぎ合う fact3: 「とあるモンスターが鬩ぎ合うとしたらそれは再発し易い」ということは誤っていない fact4: そのもねもねLv.81は自覚化する fact5: そのもねもねLv.81は痛ーいし鬩ぎ合う ; $hypothesis$ = そのみくみなLv.93は自覚化する ; $proof$ = 
fact5 -> int1: そのもねもねLv.81は鬩ぎ合う; int1 -> int2: そのもねもねLv.81は鬩ぎ合うかもしくは収蔵する; int2 & fact1 -> hypothesis; __DISPROVED__
fact5 -> int1: {B}{a}; int1 -> int2: ({B}{a} v {C}{a}); int2 & fact1 -> hypothesis; __DISPROVED__