そのもにゃもやLv.2は汚らしいか供養するか両方である
fact1: もし仮にそのもにゃもやLv.2が山深いがしかし人恋しくないならば供養する fact2: このみわみちょLv.9は疲れ難い fact3: もし仮になんらかのモンスターは汚らしくないとしたら「人恋しくないけれど供養する」ということは嘘だ fact4: 「このみわみちょLv.9は疲れ難いかもしくは住み良い」ということは本当だとするとそのもにゃもやLv.2は人恋しくない fact5: そのもにゃもやLv.2は山深い fact6: 仮に「このみわみちょLv.9は人恋しいということはないけれどそれは供養する」ということは事実と異なるとすればそのぽちゃぽえLv.35は住み良くない
fact2 -> int1: このみわみちょLv.9は疲れ難いかまたはそれは住み良いかあるいは両方だ; int1 & fact4 -> int2: そのもにゃもやLv.2は人恋しくない; int2 & fact5 -> int3: そのもにゃもやLv.2は山深いがしかしそれは人恋しくない; int3 & fact1 -> int4: そのもにゃもやLv.2は供養する; int4 -> hypothesis;
fact2 -> int1: ({A}{a} v {B}{a}); int1 & fact4 -> int2: ¬{C}{b}; int2 & fact5 -> int3: ({D}{b} & ¬{C}{b}); int3 & fact1 -> int4: {E}{b}; int4 -> hypothesis;
そのぽちゃぽえLv.35は山深いかもしくは美しいか両方である
fact7 -> int5: もし仮に「このみわみちょLv.9は汚らしくない」ということは成り立てば「このみわみちょLv.9は人恋しくない一方で供養する」ということは成り立たない;
$facts$ = fact1: もし仮にそのもにゃもやLv.2が山深いがしかし人恋しくないならば供養する fact2: このみわみちょLv.9は疲れ難い fact3: もし仮になんらかのモンスターは汚らしくないとしたら「人恋しくないけれど供養する」ということは嘘だ fact4: 「このみわみちょLv.9は疲れ難いかもしくは住み良い」ということは本当だとするとそのもにゃもやLv.2は人恋しくない fact5: そのもにゃもやLv.2は山深い fact6: 仮に「このみわみちょLv.9は人恋しいということはないけれどそれは供養する」ということは事実と異なるとすればそのぽちゃぽえLv.35は住み良くない ; $hypothesis$ = そのもにゃもやLv.2は汚らしいか供養するか両方である ; $proof$ = 
fact2 -> int1: このみわみちょLv.9は疲れ難いかまたはそれは住み良いかあるいは両方だ; int1 & fact4 -> int2: そのもにゃもやLv.2は人恋しくない; int2 & fact5 -> int3: そのもにゃもやLv.2は山深いがしかしそれは人恋しくない; int3 & fact1 -> int4: そのもにゃもやLv.2は供養する; int4 -> hypothesis; __PROVED__
fact2 -> int1: ({A}{a} v {B}{a}); int1 & fact4 -> int2: ¬{C}{b}; int2 & fact5 -> int3: ({D}{b} & ¬{C}{b}); int3 & fact1 -> int4: {E}{b}; int4 -> hypothesis; __PROVED__