「もしあのぴにょぴねLv.3が下げればそのまやまよLv.14は幅広い」ということは成り立たない
fact1: もしも「あのぴにょぴねLv.3は下げる」ということは本当だとすればあのぴにょぴねLv.3は資本調達する fact2: そのまやまよLv.14は資本調達する fact3: もし仮に「そのぷなぷゆLv.28は涼しい」ということは成り立つならそのまやまよLv.14は幅広い fact4: もし仮にあのぴにょぴねLv.3が資本調達するとすればそのぷなぷゆLv.28は涼しい fact5: そのまやまよLv.14は下げる fact6: あのぴにょぴねLv.3は涼しい
void -> assump1: 以下のように仮定する。あのぴにょぴねLv.3は下げる; fact1 & assump1 -> int1: 「あのぴにょぴねLv.3は資本調達する」ということは事実だ; int1 & fact4 -> int2: そのぷなぷゆLv.28は涼しい; int2 & fact3 -> int3: 「そのまやまよLv.14は幅広い」ということは成り立つ; [assump1] & int3 -> hypothesis;
void -> assump1: {A}{a}; fact1 & assump1 -> int1: {B}{a}; int1 & fact4 -> int2: {C}{b}; int2 & fact3 -> int3: {D}{c}; [assump1] & int3 -> hypothesis;
$facts$ = fact1: もしも「あのぴにょぴねLv.3は下げる」ということは本当だとすればあのぴにょぴねLv.3は資本調達する fact2: そのまやまよLv.14は資本調達する fact3: もし仮に「そのぷなぷゆLv.28は涼しい」ということは成り立つならそのまやまよLv.14は幅広い fact4: もし仮にあのぴにょぴねLv.3が資本調達するとすればそのぷなぷゆLv.28は涼しい fact5: そのまやまよLv.14は下げる fact6: あのぴにょぴねLv.3は涼しい ; $hypothesis$ = 「もしあのぴにょぴねLv.3が下げればそのまやまよLv.14は幅広い」ということは成り立たない ; $proof$ = 
void -> assump1: 以下のように仮定する。あのぴにょぴねLv.3は下げる; fact1 & assump1 -> int1: 「あのぴにょぴねLv.3は資本調達する」ということは事実だ; int1 & fact4 -> int2: そのぷなぷゆLv.28は涼しい; int2 & fact3 -> int3: 「そのまやまよLv.14は幅広い」ということは成り立つ; [assump1] & int3 -> hypothesis; __DISPROVED__
void -> assump1: {A}{a}; fact1 & assump1 -> int1: {B}{a}; int1 & fact4 -> int2: {C}{b}; int2 & fact3 -> int3: {D}{c}; [assump1] & int3 -> hypothesis; __DISPROVED__