そのぷゆぷにLv.72は焦れったくて気まずい
fact1: 「そのぴえぴえLv.39は腐り易くない」ということは正しい fact2: もし仮にそのまちょまちゃLv.46が沸騰するとすればそのみゆみちゅLv.50は任意同行する fact3: そのぷゆぷにLv.72は焦れったい fact4: 仮にそのみゆみちゅLv.50が任意同行するとしたらそのぷゆぷにLv.72は気まずい fact5: そのぴえぴえLv.39は腐り易くないけど疲労する fact6: もしそのぴくぴえLv.54はネットすれば「そのまちょまちゃLv.46は沸騰する」ということは事実である fact7: 仮にそのぴえぴえLv.39が腐り易くないが疲労すればそのぴくぴえLv.54はネットする fact8: もしも「そのぷゆぷにLv.72は任意同行する」ということは真実であるならばそのみゆみちゅLv.50は焦れったい
fact7 & fact5 -> int1: そのぴくぴえLv.54はネットする; int1 & fact6 -> int2: 「そのまちょまちゃLv.46は沸騰する」ということは成り立つ; int2 & fact2 -> int3: そのみゆみちゅLv.50は任意同行する; int3 & fact4 -> int4: そのぷゆぷにLv.72は気まずい; int4 & fact3 -> hypothesis;
fact7 & fact5 -> int1: {B}{b}; int1 & fact6 -> int2: {A}{c}; int2 & fact2 -> int3: {C}{d}; int3 & fact4 -> int4: {D}{e}; int4 & fact3 -> hypothesis;
$facts$ = fact1: 「そのぴえぴえLv.39は腐り易くない」ということは正しい fact2: もし仮にそのまちょまちゃLv.46が沸騰するとすればそのみゆみちゅLv.50は任意同行する fact3: そのぷゆぷにLv.72は焦れったい fact4: 仮にそのみゆみちゅLv.50が任意同行するとしたらそのぷゆぷにLv.72は気まずい fact5: そのぴえぴえLv.39は腐り易くないけど疲労する fact6: もしそのぴくぴえLv.54はネットすれば「そのまちょまちゃLv.46は沸騰する」ということは事実である fact7: 仮にそのぴえぴえLv.39が腐り易くないが疲労すればそのぴくぴえLv.54はネットする fact8: もしも「そのぷゆぷにLv.72は任意同行する」ということは真実であるならばそのみゆみちゅLv.50は焦れったい ; $hypothesis$ = そのぷゆぷにLv.72は焦れったくて気まずい ; $proof$ = 
fact7 & fact5 -> int1: そのぴくぴえLv.54はネットする; int1 & fact6 -> int2: 「そのまちょまちゃLv.46は沸騰する」ということは成り立つ; int2 & fact2 -> int3: そのみゆみちゅLv.50は任意同行する; int3 & fact4 -> int4: そのぷゆぷにLv.72は気まずい; int4 & fact3 -> hypothesis; __PROVED__
fact7 & fact5 -> int1: {B}{b}; int1 & fact6 -> int2: {A}{c}; int2 & fact2 -> int3: {C}{d}; int3 & fact4 -> int4: {D}{e}; int4 & fact3 -> hypothesis; __PROVED__