「そのまよまえLv.33はまだるっこしいかもしくは言い辛いか両方ともだ」ということは成り立たない
fact1: もし「そのみよみちゅLv.15はたわいない」ということは成り立つとすればそのまよまえLv.33は言い辛い fact2: そのみよみちゅLv.15は疲れ易くないか認識し始めないかもしくは両方である fact3: 「もしもなんらかのモンスターが疲れ易くないかもしくは認識し始めるということはないか両方ともならばそれは不審がる」ということは真実だ fact4: もし仮にそのみよみちゅLv.15が不審がるとしたらそれはたわいない fact5: ねちっこくないかまたは木らしくないかあるいは両方なモンスターは著しい fact6: 「もしなにがしかのモンスターは認識し始めないかまたはまだるっこしくないかあるいは両方ともならそれは不審がる」ということは誤りでない
fact3 -> int1: そのみよみちゅLv.15が疲れ易くないかあるいは認識し始めないなら「そのみよみちゅLv.15は不審がらない」ということは本当でない; int1 & fact2 -> int2: そのみよみちゅLv.15は不審がる; int2 & fact4 -> int3: そのみよみちゅLv.15はたわいない; int3 & fact1 -> int4: そのまよまえLv.33は言い辛い; int4 -> hypothesis;
fact3 -> int1: (¬{AA}{aa} v ¬{AB}{aa}) -> {B}{aa}; int1 & fact2 -> int2: {B}{aa}; int2 & fact4 -> int3: {A}{aa}; int3 & fact1 -> int4: {C}{a}; int4 -> hypothesis;
もしもそのみよみちゅLv.15がねちっこくないかもしくはそれが木らしくないなら著しい
fact7 -> hypothesis;
$facts$ = fact1: もし「そのみよみちゅLv.15はたわいない」ということは成り立つとすればそのまよまえLv.33は言い辛い fact2: そのみよみちゅLv.15は疲れ易くないか認識し始めないかもしくは両方である fact3: 「もしもなんらかのモンスターが疲れ易くないかもしくは認識し始めるということはないか両方ともならばそれは不審がる」ということは真実だ fact4: もし仮にそのみよみちゅLv.15が不審がるとしたらそれはたわいない fact5: ねちっこくないかまたは木らしくないかあるいは両方なモンスターは著しい fact6: 「もしなにがしかのモンスターは認識し始めないかまたはまだるっこしくないかあるいは両方ともならそれは不審がる」ということは誤りでない ; $hypothesis$ = 「そのまよまえLv.33はまだるっこしいかもしくは言い辛いか両方ともだ」ということは成り立たない ; $proof$ = 
fact3 -> int1: そのみよみちゅLv.15が疲れ易くないかあるいは認識し始めないなら「そのみよみちゅLv.15は不審がらない」ということは本当でない; int1 & fact2 -> int2: そのみよみちゅLv.15は不審がる; int2 & fact4 -> int3: そのみよみちゅLv.15はたわいない; int3 & fact1 -> int4: そのまよまえLv.33は言い辛い; int4 -> hypothesis; __DISPROVED__
fact3 -> int1: (¬{AA}{aa} v ¬{AB}{aa}) -> {B}{aa}; int1 & fact2 -> int2: {B}{aa}; int2 & fact4 -> int3: {A}{aa}; int3 & fact1 -> int4: {C}{a}; int4 -> hypothesis; __DISPROVED__