そのぷのぷにLv.19は図像化する
fact1: このみのみちょLv.3は消化・吸収するししかもそれは疲れ易い fact2: 「そのもねもねLv.96は消化・吸収する」ということは嘘でない fact3: そのぷのぷにLv.19は疲れ易いならば「このみのみちょLv.3は触媒するけど疲れ易くない」ということは成り立たない fact4: もしもこのみのみちょLv.3が青しならあのぽにゅぽちゃLv.99は触媒する fact5: このみのみちょLv.3が消化・吸収するとしたらこのみのみちょLv.3は青し fact6: もし仮にあのぽにゅぽちゃLv.99は触媒するなら「そのぷのぷにLv.19は有り難いがそれは触媒しない」ということは成り立つということはない
fact1 -> int1: このみのみちょLv.3は消化・吸収する; int1 & fact5 -> int2: このみのみちょLv.3は青し; int2 & fact4 -> int3: あのぽにゅぽちゃLv.99は触媒する; int3 & fact6 -> int4: 「そのぷのぷにLv.19は有り難いけれどそれは触媒しない」ということは事実と異なる;
fact1 -> int1: {A}{a}; int1 & fact5 -> int2: {C}{a}; int2 & fact4 -> int3: {D}{b}; int3 & fact6 -> int4: ¬({E}{c} & ¬{D}{c});
$facts$ = fact1: このみのみちょLv.3は消化・吸収するししかもそれは疲れ易い fact2: 「そのもねもねLv.96は消化・吸収する」ということは嘘でない fact3: そのぷのぷにLv.19は疲れ易いならば「このみのみちょLv.3は触媒するけど疲れ易くない」ということは成り立たない fact4: もしもこのみのみちょLv.3が青しならあのぽにゅぽちゃLv.99は触媒する fact5: このみのみちょLv.3が消化・吸収するとしたらこのみのみちょLv.3は青し fact6: もし仮にあのぽにゅぽちゃLv.99は触媒するなら「そのぷのぷにLv.19は有り難いがそれは触媒しない」ということは成り立つということはない ; $hypothesis$ = そのぷのぷにLv.19は図像化する ; $proof$ = 
__UNKNOWN__
__UNKNOWN__