あのぷゆぷにょLv.75は論断するし頼もしい
fact1: 「このぷねぷのLv.43はひ弱くない」ということは正しいとしたら「あのぷゆぷにょLv.75は論断するし頼もしい」ということは成り立たない fact2: 「このぷねぷのLv.43はひ弱い」ということは本当だとすると眠たい fact3: もし「眠たいかまたは皮肉っぽいかあるいは両方である」モンスターがいるとするとあのぷゆぷにょLv.75は頼もしい fact4: このぷねぷのLv.43はひ弱い fact5: 「「皮肉っぽい」ということは本当である」モンスターはいるとしたら「あのぷゆぷにょLv.75は頼もしい」ということは確かである fact6: 「あのぷゆぷにょLv.75は論断する」ということは成り立つ
fact2 & fact4 -> int1: このぷねぷのLv.43は眠たい; int1 -> int2: このぷねぷのLv.43は眠たいかもしくは皮肉っぽい; int2 -> int3: 何らかのモンスターは眠たいかあるいは皮肉っぽいかもしくは両方だ; int3 & fact3 -> int4: 「あのぷゆぷにょLv.75は頼もしい」ということは成り立つ; int4 & fact6 -> hypothesis;
fact2 & fact4 -> int1: {B}{a}; int1 -> int2: ({B}{a} v {C}{a}); int2 -> int3: (Ex): ({B}x v {C}x); int3 & fact3 -> int4: {D}{b}; int4 & fact6 -> hypothesis;
「あのぷゆぷにょLv.75は論断するしその上頼もしい」ということは本当でない
$facts$ = fact1: 「このぷねぷのLv.43はひ弱くない」ということは正しいとしたら「あのぷゆぷにょLv.75は論断するし頼もしい」ということは成り立たない fact2: 「このぷねぷのLv.43はひ弱い」ということは本当だとすると眠たい fact3: もし「眠たいかまたは皮肉っぽいかあるいは両方である」モンスターがいるとするとあのぷゆぷにょLv.75は頼もしい fact4: このぷねぷのLv.43はひ弱い fact5: 「「皮肉っぽい」ということは本当である」モンスターはいるとしたら「あのぷゆぷにょLv.75は頼もしい」ということは確かである fact6: 「あのぷゆぷにょLv.75は論断する」ということは成り立つ ; $hypothesis$ = あのぷゆぷにょLv.75は論断するし頼もしい ; $proof$ = 
fact2 & fact4 -> int1: このぷねぷのLv.43は眠たい; int1 -> int2: このぷねぷのLv.43は眠たいかもしくは皮肉っぽい; int2 -> int3: 何らかのモンスターは眠たいかあるいは皮肉っぽいかもしくは両方だ; int3 & fact3 -> int4: 「あのぷゆぷにょLv.75は頼もしい」ということは成り立つ; int4 & fact6 -> hypothesis; __PROVED__
fact2 & fact4 -> int1: {B}{a}; int1 -> int2: ({B}{a} v {C}{a}); int2 -> int3: (Ex): ({B}x v {C}x); int3 & fact3 -> int4: {D}{b}; int4 & fact6 -> hypothesis; __PROVED__