このまのまにゃLv.29は危なっかしい
fact1: このみにょみくLv.11が耐え難いならばこのまのまにゃLv.29は危なっかしい fact2: もしもそのまやまなLv.90がむさいとしたらこのみにょみくLv.11は耐え難い fact3: 「そのまやまなLv.90は神がかるが気高くない」ということは正しくない fact4: そのまやまなLv.90は待ち遠しいなら「そのまやまなLv.90はむさい」ということは確かだ fact5: 気高いモンスターは待ち遠しい fact6: 仮に「「このまのまにゃLv.29は近付き易い一方でむさくない」ということは成り立つ」ということは成り立たないとすればむさい fact7: むさいモンスターは危なっかしい fact8: 「もしも「とあるモンスターは神がかるけどそれは気高くない」ということは嘘だとしたら「待ち遠しくない」ということは成り立たない」ということは真実だ
fact8 -> int1: もしも「そのまやまなLv.90は神がかるけど気高くない」ということは偽であるならば待ち遠しい; int1 & fact3 -> int2: そのまやまなLv.90は待ち遠しい; int2 & fact4 -> int3: そのまやまなLv.90はむさい; int3 & fact2 -> int4: このみにょみくLv.11は耐え難い; int4 & fact1 -> hypothesis;
fact8 -> int1: ¬({AA}{aa} & ¬{AB}{aa}) -> {B}{aa}; int1 & fact3 -> int2: {B}{aa}; int2 & fact4 -> int3: {A}{aa}; int3 & fact2 -> int4: {C}{a}; int4 & fact1 -> hypothesis;
「このまのまにゃLv.29は危なっかしい」ということは成り立たない
$facts$ = fact1: このみにょみくLv.11が耐え難いならばこのまのまにゃLv.29は危なっかしい fact2: もしもそのまやまなLv.90がむさいとしたらこのみにょみくLv.11は耐え難い fact3: 「そのまやまなLv.90は神がかるが気高くない」ということは正しくない fact4: そのまやまなLv.90は待ち遠しいなら「そのまやまなLv.90はむさい」ということは確かだ fact5: 気高いモンスターは待ち遠しい fact6: 仮に「「このまのまにゃLv.29は近付き易い一方でむさくない」ということは成り立つ」ということは成り立たないとすればむさい fact7: むさいモンスターは危なっかしい fact8: 「もしも「とあるモンスターは神がかるけどそれは気高くない」ということは嘘だとしたら「待ち遠しくない」ということは成り立たない」ということは真実だ ; $hypothesis$ = このまのまにゃLv.29は危なっかしい ; $proof$ = 
fact8 -> int1: もしも「そのまやまなLv.90は神がかるけど気高くない」ということは偽であるならば待ち遠しい; int1 & fact3 -> int2: そのまやまなLv.90は待ち遠しい; int2 & fact4 -> int3: そのまやまなLv.90はむさい; int3 & fact2 -> int4: このみにょみくLv.11は耐え難い; int4 & fact1 -> hypothesis; __PROVED__
fact8 -> int1: ¬({AA}{aa} & ¬{AB}{aa}) -> {B}{aa}; int1 & fact3 -> int2: {B}{aa}; int2 & fact4 -> int3: {A}{aa}; int3 & fact2 -> int4: {C}{a}; int4 & fact1 -> hypothesis; __PROVED__