あのまにまゆLv.42は突き詰めない
fact1: あのまにまゆLv.42は厳しいししかも心無い fact2: 「そのまちゃまいLv.13は心無い」ということは事実であるならそのまちゃまいLv.13は厳しい fact3: あのまにまゆLv.42が心無いとすればあのまにまゆLv.42は移り易い fact4: もしもあのぷちょぷわLv.1が格好悪くないとしたら移り易くないし更に香ばしくない fact5: もしそのまちゃまいLv.13が厳しいとするとあのまにまゆLv.42は突き詰めない fact6: もし仮にあのまにまゆLv.42が香ばしいならばあのまにまゆLv.42は格好悪い fact7: 仮に「なんらかのモンスターは離れ難くない」ということは成り立つとすればそれは突き詰めないかあるいはそれは立候補するかまたはどちらもである fact8: もし仮にあのまにまゆLv.42が突き詰めないかあるいはそれが立候補するかまたはどちらもであるとしたらあのぷちょぷわLv.1は格好悪くない fact9: 仮にあのまにまゆLv.42が格好悪いならあのまにまゆLv.42は突き詰める fact10: 仮にあのまにまゆLv.42が移り易いとすればあのまにまゆLv.42は香ばしい
fact1 -> int1: あのまにまゆLv.42は心無い; int1 & fact3 -> int2: あのまにまゆLv.42は移り易い; int2 & fact10 -> int3: 「あのまにまゆLv.42は香ばしい」ということは本当である; int3 & fact6 -> int4: あのまにまゆLv.42は格好悪い; int4 & fact9 -> hypothesis;
fact1 -> int1: {B}{a}; int1 & fact3 -> int2: {C}{a}; int2 & fact10 -> int3: {D}{a}; int3 & fact6 -> int4: {E}{a}; int4 & fact9 -> hypothesis;
あのまにまゆLv.42は突き詰めない
$facts$ = fact1: あのまにまゆLv.42は厳しいししかも心無い fact2: 「そのまちゃまいLv.13は心無い」ということは事実であるならそのまちゃまいLv.13は厳しい fact3: あのまにまゆLv.42が心無いとすればあのまにまゆLv.42は移り易い fact4: もしもあのぷちょぷわLv.1が格好悪くないとしたら移り易くないし更に香ばしくない fact5: もしそのまちゃまいLv.13が厳しいとするとあのまにまゆLv.42は突き詰めない fact6: もし仮にあのまにまゆLv.42が香ばしいならばあのまにまゆLv.42は格好悪い fact7: 仮に「なんらかのモンスターは離れ難くない」ということは成り立つとすればそれは突き詰めないかあるいはそれは立候補するかまたはどちらもである fact8: もし仮にあのまにまゆLv.42が突き詰めないかあるいはそれが立候補するかまたはどちらもであるとしたらあのぷちょぷわLv.1は格好悪くない fact9: 仮にあのまにまゆLv.42が格好悪いならあのまにまゆLv.42は突き詰める fact10: 仮にあのまにまゆLv.42が移り易いとすればあのまにまゆLv.42は香ばしい ; $hypothesis$ = あのまにまゆLv.42は突き詰めない ; $proof$ = 
fact1 -> int1: あのまにまゆLv.42は心無い; int1 & fact3 -> int2: あのまにまゆLv.42は移り易い; int2 & fact10 -> int3: 「あのまにまゆLv.42は香ばしい」ということは本当である; int3 & fact6 -> int4: あのまにまゆLv.42は格好悪い; int4 & fact9 -> hypothesis; __DISPROVED__
fact1 -> int1: {B}{a}; int1 & fact3 -> int2: {C}{a}; int2 & fact10 -> int3: {D}{a}; int3 & fact6 -> int4: {E}{a}; int4 & fact9 -> hypothesis; __DISPROVED__