そのぷねぷねLv.73は傷付き易い
fact1: 「このぽくぽねLv.29は世知辛い」ということは成り立つ fact2: もしもこのぽくぽねLv.29が覚束無いしまたそれが剥離し難いとすればこのぽくぽねLv.29は話し辛くない fact3: このみにょみにLv.74は空しいということはない fact4: 「このぽくぽねLv.29は覚束無い」ということは正しい fact5: このぽくぽねLv.29は冷たい fact6: このぽくぽねLv.29は剥離し難い fact7: もし仮にこのぽくぽねLv.29が話し辛くないならばそのぷねぷねLv.73は冷たい fact8: そのぷねぷねLv.73は空しい fact9: もし仮にそのぷねぷねLv.73が冷たくてまた空しいとしたらそのぷねぷねLv.73は傷付き易いということはない
fact4 & fact6 -> int1: このぽくぽねLv.29が覚束無いしその上剥離し難い; int1 & fact2 -> int2: このぽくぽねLv.29は話し辛くない; int2 & fact7 -> int3: そのぷねぷねLv.73は冷たい; int3 & fact8 -> int4: そのぷねぷねLv.73は冷たいしその上空しい; int4 & fact9 -> hypothesis;
fact4 & fact6 -> int1: ({A}{a} & {B}{a}); int1 & fact2 -> int2: ¬{C}{a}; int2 & fact7 -> int3: {D}{b}; int3 & fact8 -> int4: ({D}{b} & {E}{b}); int4 & fact9 -> hypothesis;
$facts$ = fact1: 「このぽくぽねLv.29は世知辛い」ということは成り立つ fact2: もしもこのぽくぽねLv.29が覚束無いしまたそれが剥離し難いとすればこのぽくぽねLv.29は話し辛くない fact3: このみにょみにLv.74は空しいということはない fact4: 「このぽくぽねLv.29は覚束無い」ということは正しい fact5: このぽくぽねLv.29は冷たい fact6: このぽくぽねLv.29は剥離し難い fact7: もし仮にこのぽくぽねLv.29が話し辛くないならばそのぷねぷねLv.73は冷たい fact8: そのぷねぷねLv.73は空しい fact9: もし仮にそのぷねぷねLv.73が冷たくてまた空しいとしたらそのぷねぷねLv.73は傷付き易いということはない ; $hypothesis$ = そのぷねぷねLv.73は傷付き易い ; $proof$ = 
fact4 & fact6 -> int1: このぽくぽねLv.29が覚束無いしその上剥離し難い; int1 & fact2 -> int2: このぽくぽねLv.29は話し辛くない; int2 & fact7 -> int3: そのぷねぷねLv.73は冷たい; int3 & fact8 -> int4: そのぷねぷねLv.73は冷たいしその上空しい; int4 & fact9 -> hypothesis; __DISPROVED__
fact4 & fact6 -> int1: ({A}{a} & {B}{a}); int1 & fact2 -> int2: ¬{C}{a}; int2 & fact7 -> int3: {D}{b}; int3 & fact8 -> int4: ({D}{b} & {E}{b}); int4 & fact9 -> hypothesis; __DISPROVED__