このぴにょぴくLv.71は購入出来ない
fact1: 「悍ましいということはないし加えて軟らかい」モンスターはいる fact2: このぴにょぴくLv.71が茶色っぽいならどでかい fact3: 「「悍ましくないし更に軟らかい」ということは成り立たない」モンスターはいる fact4: もし仮に「なにがしかのモンスターは甚だしかあるいは言い知れないかもしくはどちらもだ」ということは成り立たないならばそれは購入出来ない fact5: もし仮に「軟らかくない」モンスターがいるとするとこのぴにょぴくLv.71は甚だし fact6: このぴにょぴくLv.71が言い知れるとしたら茶色っぽい fact7: もし「「悍ましいということはないけど軟らかい」ということは成り立たない」モンスターがいるならこのぴにょぴくLv.71は甚だし fact8: もし仮にこのぴにょぴくLv.71がどでかいとしたら購入出来る fact9: 仮にこのぴにょぴくLv.71が甚だしならこのぴにょぴくLv.71は言い知れる
fact3 & fact7 -> int1: このぴにょぴくLv.71は甚だし; int1 & fact9 -> int2: 「このぴにょぴくLv.71は言い知れる」ということは確かだ; int2 & fact6 -> int3: このぴにょぴくLv.71は茶色っぽい; int3 & fact2 -> int4: このぴにょぴくLv.71はどでかい; int4 & fact8 -> hypothesis;
fact3 & fact7 -> int1: {A}{a}; int1 & fact9 -> int2: {B}{a}; int2 & fact6 -> int3: {C}{a}; int3 & fact2 -> int4: {D}{a}; int4 & fact8 -> hypothesis;
このぴにょぴくLv.71は購入出来ない
fact10 -> int5: 仮に「「このぴにょぴくLv.71は甚だしかまたは言い知れない」ということは正しい」ということは成り立つということはないとしたら購入出来ない;
$facts$ = fact1: 「悍ましいということはないし加えて軟らかい」モンスターはいる fact2: このぴにょぴくLv.71が茶色っぽいならどでかい fact3: 「「悍ましくないし更に軟らかい」ということは成り立たない」モンスターはいる fact4: もし仮に「なにがしかのモンスターは甚だしかあるいは言い知れないかもしくはどちらもだ」ということは成り立たないならばそれは購入出来ない fact5: もし仮に「軟らかくない」モンスターがいるとするとこのぴにょぴくLv.71は甚だし fact6: このぴにょぴくLv.71が言い知れるとしたら茶色っぽい fact7: もし「「悍ましいということはないけど軟らかい」ということは成り立たない」モンスターがいるならこのぴにょぴくLv.71は甚だし fact8: もし仮にこのぴにょぴくLv.71がどでかいとしたら購入出来る fact9: 仮にこのぴにょぴくLv.71が甚だしならこのぴにょぴくLv.71は言い知れる ; $hypothesis$ = このぴにょぴくLv.71は購入出来ない ; $proof$ = 
fact3 & fact7 -> int1: このぴにょぴくLv.71は甚だし; int1 & fact9 -> int2: 「このぴにょぴくLv.71は言い知れる」ということは確かだ; int2 & fact6 -> int3: このぴにょぴくLv.71は茶色っぽい; int3 & fact2 -> int4: このぴにょぴくLv.71はどでかい; int4 & fact8 -> hypothesis; __DISPROVED__
fact3 & fact7 -> int1: {A}{a}; int1 & fact9 -> int2: {B}{a}; int2 & fact6 -> int3: {C}{a}; int3 & fact2 -> int4: {D}{a}; int4 & fact8 -> hypothesis; __DISPROVED__