このまのまわLv.52はストレッチする
fact1: なにがしかのモンスターは長たらしくないとすると「それは執念深くなくてまたストレッチしない」ということは間違いである fact2: 長たらしいしその上執念深いモンスターはいるとしたら「このまのまわLv.52は眠い」ということは誤りであるということはない fact3: 「長たらしい」モンスターはいる fact4: そのぷゆぷにゃLv.18は執念深い fact5: そのぷゆぷにゃLv.18は長たらしい fact6: なんらかのモンスターはストレッチするしおまけに長たらしい fact7: このまのまわLv.52が眠いならそれはストレッチする
fact5 & fact4 -> int1: そのぷゆぷにゃLv.18が長たらしいしその上執念深い; int1 -> int2: 「長たらしくて執念深い」モンスターはいる; int2 & fact2 -> int3: このまのまわLv.52は眠い; int3 & fact7 -> hypothesis;
fact5 & fact4 -> int1: ({A}{a} & {B}{a}); int1 -> int2: (Ex): ({A}x & {B}x); int2 & fact2 -> int3: {C}{b}; int3 & fact7 -> hypothesis;
このまのまわLv.52はストレッチするということはない
fact8 -> int4: もし仮にそのぷゆぷにゃLv.18は長たらしくないとしたら「そのぷゆぷにゃLv.18は執念深くないししかもストレッチしない」ということは嘘だ;
$facts$ = fact1: なにがしかのモンスターは長たらしくないとすると「それは執念深くなくてまたストレッチしない」ということは間違いである fact2: 長たらしいしその上執念深いモンスターはいるとしたら「このまのまわLv.52は眠い」ということは誤りであるということはない fact3: 「長たらしい」モンスターはいる fact4: そのぷゆぷにゃLv.18は執念深い fact5: そのぷゆぷにゃLv.18は長たらしい fact6: なんらかのモンスターはストレッチするしおまけに長たらしい fact7: このまのまわLv.52が眠いならそれはストレッチする ; $hypothesis$ = このまのまわLv.52はストレッチする ; $proof$ = 
fact5 & fact4 -> int1: そのぷゆぷにゃLv.18が長たらしいしその上執念深い; int1 -> int2: 「長たらしくて執念深い」モンスターはいる; int2 & fact2 -> int3: このまのまわLv.52は眠い; int3 & fact7 -> hypothesis; __PROVED__
fact5 & fact4 -> int1: ({A}{a} & {B}{a}); int1 -> int2: (Ex): ({A}x & {B}x); int2 & fact2 -> int3: {C}{b}; int3 & fact7 -> hypothesis; __PROVED__