このぷにょぷわLv.32は意味深くない
fact1: あのもねもよLv.22が歯痒いとするとあのぷちゅぷちゃLv.44は心優しい fact2: 歯痒いモンスターは意味深い fact3: あのぷちゅぷちゃLv.44は受け入れられ易い fact4: もしもあのぷちゅぷちゃLv.44は御恥ずかしくないとすると「このぷにょぷわLv.32はごっついしおまけに御恥ずかしい」ということは偽だ fact5: もし「このぷにょぷわLv.32はごっついしかつそれは御恥ずかしい」ということは間違いだとするとこのぷにょぷわLv.32は意味深くない fact6: あのもねもよLv.22は歯痒い fact7: 仮にあのぷちゅぷちゃLv.44が心優しくてさらにそれが受け入れられ易いとすれば御恥ずかしくない
fact1 & fact6 -> int1: 「あのぷちゅぷちゃLv.44は心優しい」ということは正しい; int1 & fact3 -> int2: あのぷちゅぷちゃLv.44は心優しくてそれに受け入れられ易い; int2 & fact7 -> int3: あのぷちゅぷちゃLv.44は御恥ずかしくない; int3 & fact4 -> int4: 「このぷにょぷわLv.32がごっついしその上御恥ずかしい」ということは偽だ; int4 & fact5 -> hypothesis;
fact1 & fact6 -> int1: {B}{b}; int1 & fact3 -> int2: ({B}{b} & {C}{b}); int2 & fact7 -> int3: ¬{D}{b}; int3 & fact4 -> int4: ¬({E}{c} & {D}{c}); int4 & fact5 -> hypothesis;
「このぷにょぷわLv.32は意味深い」ということは誤っていない
fact8 -> int5: もしもこのぷにょぷわLv.32が歯痒いなら意味深い;
$facts$ = fact1: あのもねもよLv.22が歯痒いとするとあのぷちゅぷちゃLv.44は心優しい fact2: 歯痒いモンスターは意味深い fact3: あのぷちゅぷちゃLv.44は受け入れられ易い fact4: もしもあのぷちゅぷちゃLv.44は御恥ずかしくないとすると「このぷにょぷわLv.32はごっついしおまけに御恥ずかしい」ということは偽だ fact5: もし「このぷにょぷわLv.32はごっついしかつそれは御恥ずかしい」ということは間違いだとするとこのぷにょぷわLv.32は意味深くない fact6: あのもねもよLv.22は歯痒い fact7: 仮にあのぷちゅぷちゃLv.44が心優しくてさらにそれが受け入れられ易いとすれば御恥ずかしくない ; $hypothesis$ = このぷにょぷわLv.32は意味深くない ; $proof$ = 
fact1 & fact6 -> int1: 「あのぷちゅぷちゃLv.44は心優しい」ということは正しい; int1 & fact3 -> int2: あのぷちゅぷちゃLv.44は心優しくてそれに受け入れられ易い; int2 & fact7 -> int3: あのぷちゅぷちゃLv.44は御恥ずかしくない; int3 & fact4 -> int4: 「このぷにょぷわLv.32がごっついしその上御恥ずかしい」ということは偽だ; int4 & fact5 -> hypothesis; __PROVED__
fact1 & fact6 -> int1: {B}{b}; int1 & fact3 -> int2: ({B}{b} & {C}{b}); int2 & fact7 -> int3: ¬{D}{b}; int3 & fact4 -> int4: ¬({E}{c} & {D}{c}); int4 & fact5 -> hypothesis; __PROVED__