あのぷちゃぷちゃLv.40は地均ししないし加えてちぎれない
fact1: あのぷちゃぷちゃLv.40は意味深い fact2: 仮になにがしかのモンスターは縁遠いならば「地均ししないしそれにちぎれない」ということは成り立たない fact3: もし仮に「なんらかのモンスターは地均ししないしちぎれない」ということは成り立たないならそれは意味深くない fact4: もしも「あのみいみなLv.10は侘しいということはないし断り難くない」ということは確かだということはないならばあのみいみなLv.10は地均ししない
fact3 -> int1: もし「あのぷちゃぷちゃLv.40は地均ししなくてその上ちぎれない」ということは事実と異なればあのぷちゃぷちゃLv.40は意味深くない; void -> assump1: 以下のように仮定する。「あのぷちゃぷちゃLv.40は地均ししなくてまたちぎれない」ということは間違いだ; int1 & assump1 -> int2: 「あのぷちゃぷちゃLv.40は意味深くない」ということは成り立つ; int2 & fact1 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis;
fact3 -> int1: ¬(¬{AA}{aa} & ¬{AB}{aa}) -> ¬{B}{aa}; void -> assump1: ¬(¬{AA}{aa} & ¬{AB}{aa}); int1 & assump1 -> int2: ¬{B}{aa}; int2 & fact1 -> int3: #F#; [assump1] & int3 -> hypothesis;
以下のように仮定する。「あのぷちゃぷちゃLv.40は地均ししなくてまたちぎれない」ということは間違いだ
fact5 -> int4: もしあのぽゆぽにゃLv.62は縁遠いとしたら「それは地均ししないしさらにちぎれない」ということは成り立つということはない;
$facts$ = fact1: あのぷちゃぷちゃLv.40は意味深い fact2: 仮になにがしかのモンスターは縁遠いならば「地均ししないしそれにちぎれない」ということは成り立たない fact3: もし仮に「なんらかのモンスターは地均ししないしちぎれない」ということは成り立たないならそれは意味深くない fact4: もしも「あのみいみなLv.10は侘しいということはないし断り難くない」ということは確かだということはないならばあのみいみなLv.10は地均ししない ; $hypothesis$ = あのぷちゃぷちゃLv.40は地均ししないし加えてちぎれない ; $proof$ = 
fact3 -> int1: もし「あのぷちゃぷちゃLv.40は地均ししなくてその上ちぎれない」ということは事実と異なればあのぷちゃぷちゃLv.40は意味深くない; void -> assump1: 以下のように仮定する。「あのぷちゃぷちゃLv.40は地均ししなくてまたちぎれない」ということは間違いだ; int1 & assump1 -> int2: 「あのぷちゃぷちゃLv.40は意味深くない」ということは成り立つ; int2 & fact1 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis; __PROVED__
fact3 -> int1: ¬(¬{AA}{aa} & ¬{AB}{aa}) -> ¬{B}{aa}; void -> assump1: ¬(¬{AA}{aa} & ¬{AB}{aa}); int1 & assump1 -> int2: ¬{B}{aa}; int2 & fact1 -> int3: #F#; [assump1] & int3 -> hypothesis; __PROVED__