あのみいみにゅLv.67はコントロールし易くない
fact1: 仮にそのみにょみよLv.47は慌ただしくないとしたら「そのまよまちゅLv.49は慌ただしくない一方で登山家らしい」ということは成り立たない fact2: あのぴくぴねLv.64が重々しいとしたらそのみにょみよLv.47は夏らしい fact3: 陥り易いモンスターはコントロールし易いということはない fact4: あのぴくぴねLv.64は陥り易いか重々しいかどちらもである fact5: 仮にあのぴくぴねLv.64が陥り易いならばそのみにょみよLv.47は夏らしい fact6: もしそのみにょみよLv.47が夏らしいかもしくはそれは恭しいかもしくはどちらもならば「そのみにょみよLv.47は慌ただしくない」ということは真実である fact7: もし「そのまよまちゅLv.49は慌ただしくないけれど登山家らしい」ということは誤っているとしたらあのみいみにゅLv.67はコントロールし易い
fact4 & fact5 & fact2 -> int1: そのみにょみよLv.47は夏らしい; int1 -> int2: そのみにょみよLv.47は夏らしいかまたは恭しい; int2 & fact6 -> int3: そのみにょみよLv.47は慌ただしくない; int3 & fact1 -> int4: 「そのまよまちゅLv.49は慌ただしくない一方でそれは登山家らしい」ということは嘘だ; int4 & fact7 -> hypothesis;
fact4 & fact5 & fact2 -> int1: {C}{c}; int1 -> int2: ({C}{c} v {D}{c}); int2 & fact6 -> int3: ¬{E}{c}; int3 & fact1 -> int4: ¬(¬{E}{b} & {F}{b}); int4 & fact7 -> hypothesis;
あのみいみにゅLv.67はコントロールし易くない
fact8 -> int5: 「もし仮にあのみいみにゅLv.67が陥り易いとしたらあのみいみにゅLv.67はコントロールし易いということはない」ということは本当だ;
$facts$ = fact1: 仮にそのみにょみよLv.47は慌ただしくないとしたら「そのまよまちゅLv.49は慌ただしくない一方で登山家らしい」ということは成り立たない fact2: あのぴくぴねLv.64が重々しいとしたらそのみにょみよLv.47は夏らしい fact3: 陥り易いモンスターはコントロールし易いということはない fact4: あのぴくぴねLv.64は陥り易いか重々しいかどちらもである fact5: 仮にあのぴくぴねLv.64が陥り易いならばそのみにょみよLv.47は夏らしい fact6: もしそのみにょみよLv.47が夏らしいかもしくはそれは恭しいかもしくはどちらもならば「そのみにょみよLv.47は慌ただしくない」ということは真実である fact7: もし「そのまよまちゅLv.49は慌ただしくないけれど登山家らしい」ということは誤っているとしたらあのみいみにゅLv.67はコントロールし易い ; $hypothesis$ = あのみいみにゅLv.67はコントロールし易くない ; $proof$ = 
fact4 & fact5 & fact2 -> int1: そのみにょみよLv.47は夏らしい; int1 -> int2: そのみにょみよLv.47は夏らしいかまたは恭しい; int2 & fact6 -> int3: そのみにょみよLv.47は慌ただしくない; int3 & fact1 -> int4: 「そのまよまちゅLv.49は慌ただしくない一方でそれは登山家らしい」ということは嘘だ; int4 & fact7 -> hypothesis; __DISPROVED__
fact4 & fact5 & fact2 -> int1: {C}{c}; int1 -> int2: ({C}{c} v {D}{c}); int2 & fact6 -> int3: ¬{E}{c}; int3 & fact1 -> int4: ¬(¬{E}{b} & {F}{b}); int4 & fact7 -> hypothesis; __DISPROVED__