あのぷにゃぷゆLv.14は瑞々しいということはない
fact1: もしも「あのまのまわLv.15はざらつかないし若くない」ということは本当でないとするとこのぽにゅぽくLv.54はざらつかない fact2: あのまのまわLv.15は供える fact3: 仮に「供えるかもしくは売り難いかもしくは両方である」モンスターがいるならあのぷにゃぷゆLv.14はざらつく fact4: もし仮にあのぷにゃぷゆLv.14がざらつくとすればそれは御偉い fact5: もしあのぷにゃぷゆLv.14が御偉いとすればあのぷにゃぷゆLv.14は瑞々しい fact6: 仮に売り難いということはないモンスターは供えるなら「それは御偉い」ということは事実である
fact2 -> int1: あのまのまわLv.15は供えるかもしくはそれは売り難いか両方である; int1 -> int2: なにがしかのモンスターは供えるかまたは売り難い; int2 & fact3 -> int3: あのぷにゃぷゆLv.14はざらつく; int3 & fact4 -> int4: あのぷにゃぷゆLv.14は御偉い; int4 & fact5 -> hypothesis;
fact2 -> int1: ({A}{a} v {B}{a}); int1 -> int2: (Ex): ({A}x v {B}x); int2 & fact3 -> int3: {C}{b}; int3 & fact4 -> int4: {D}{b}; int4 & fact5 -> hypothesis;
「このぽにゅぽくLv.54は御偉い」ということは本当である
fact8 -> int5: もしこのぽにゅぽくLv.54は売り難くないがしかし供えるとすればそれは御偉い;
$facts$ = fact1: もしも「あのまのまわLv.15はざらつかないし若くない」ということは本当でないとするとこのぽにゅぽくLv.54はざらつかない fact2: あのまのまわLv.15は供える fact3: 仮に「供えるかもしくは売り難いかもしくは両方である」モンスターがいるならあのぷにゃぷゆLv.14はざらつく fact4: もし仮にあのぷにゃぷゆLv.14がざらつくとすればそれは御偉い fact5: もしあのぷにゃぷゆLv.14が御偉いとすればあのぷにゃぷゆLv.14は瑞々しい fact6: 仮に売り難いということはないモンスターは供えるなら「それは御偉い」ということは事実である ; $hypothesis$ = あのぷにゃぷゆLv.14は瑞々しいということはない ; $proof$ = 
fact2 -> int1: あのまのまわLv.15は供えるかもしくはそれは売り難いか両方である; int1 -> int2: なにがしかのモンスターは供えるかまたは売り難い; int2 & fact3 -> int3: あのぷにゃぷゆLv.14はざらつく; int3 & fact4 -> int4: あのぷにゃぷゆLv.14は御偉い; int4 & fact5 -> hypothesis; __DISPROVED__
fact2 -> int1: ({A}{a} v {B}{a}); int1 -> int2: (Ex): ({A}x v {B}x); int2 & fact3 -> int3: {C}{b}; int3 & fact4 -> int4: {D}{b}; int4 & fact5 -> hypothesis; __DISPROVED__