このぷゆぷなLv.39は逃げ帰る
fact1: もしもこのぷゆぷなLv.39が心優しいならばそれは思慮深い一方で騒々しくない fact2: このぷゆぷなLv.39は心優しいしそれにそれは取っ付き難い fact3: もしもこのぷゆぷなLv.39が心優しいとするとこのぷゆぷなLv.39は騒々しくない fact4: 「このぷゆぷなLv.39は思慮深い一方で騒々しくない」ということは正しいならばこのぷゆぷなLv.39は狂おしい fact5: 仮にこのぷゆぷなLv.39が狂おしいし更に嘘っぽいならば逃げ帰らない fact6: このぷゆぷなLv.39は取っ付き難い fact7: 「このぷゆぷなLv.39は騒々しいということはない」ということは成り立つ fact8: このぷゆぷなLv.39は嘘っぽい
fact2 -> int1: このぷゆぷなLv.39は心優しい; int1 & fact1 -> int2: このぷゆぷなLv.39は思慮深いがしかし騒々しくない; int2 & fact4 -> int3: 「このぷゆぷなLv.39は狂おしい」ということは本当である; int3 & fact8 -> int4: このぷゆぷなLv.39は狂おしいしさらに嘘っぽい; int4 & fact5 -> hypothesis;
fact2 -> int1: {A}{a}; int1 & fact1 -> int2: ({C}{a} & ¬{D}{a}); int2 & fact4 -> int3: {E}{a}; int3 & fact8 -> int4: ({E}{a} & {F}{a}); int4 & fact5 -> hypothesis;
$facts$ = fact1: もしもこのぷゆぷなLv.39が心優しいならばそれは思慮深い一方で騒々しくない fact2: このぷゆぷなLv.39は心優しいしそれにそれは取っ付き難い fact3: もしもこのぷゆぷなLv.39が心優しいとするとこのぷゆぷなLv.39は騒々しくない fact4: 「このぷゆぷなLv.39は思慮深い一方で騒々しくない」ということは正しいならばこのぷゆぷなLv.39は狂おしい fact5: 仮にこのぷゆぷなLv.39が狂おしいし更に嘘っぽいならば逃げ帰らない fact6: このぷゆぷなLv.39は取っ付き難い fact7: 「このぷゆぷなLv.39は騒々しいということはない」ということは成り立つ fact8: このぷゆぷなLv.39は嘘っぽい ; $hypothesis$ = このぷゆぷなLv.39は逃げ帰る ; $proof$ = 
fact2 -> int1: このぷゆぷなLv.39は心優しい; int1 & fact1 -> int2: このぷゆぷなLv.39は思慮深いがしかし騒々しくない; int2 & fact4 -> int3: 「このぷゆぷなLv.39は狂おしい」ということは本当である; int3 & fact8 -> int4: このぷゆぷなLv.39は狂おしいしさらに嘘っぽい; int4 & fact5 -> hypothesis; __DISPROVED__
fact2 -> int1: {A}{a}; int1 & fact1 -> int2: ({C}{a} & ¬{D}{a}); int2 & fact4 -> int3: {E}{a}; int3 & fact8 -> int4: ({E}{a} & {F}{a}); int4 & fact5 -> hypothesis; __DISPROVED__