「このぽくぽよLv.59は心地良くないしそれにそれは急速静注しない」ということは事実と異なる
fact1: もしも「あるモンスターは化成するけど京都らしくない」ということは成り立たないなら胸苦しい fact2: もしこのぽくぽよLv.59がしがないということはないとすればそれが心地良いということはないしその上急速静注するということはない fact3: このぽくぽよLv.59は急速静注しない fact4: 「このぽくぽよLv.59は化成するけど京都らしくない」ということは間違っている fact5: このぽくぽよLv.59が胸苦しいかもしくはそれは企画するかあるいは両方であるとするとしがなくない
fact1 -> int1: 「「このぽくぽよLv.59は化成するけどそれは京都らしくない」ということは真実だ」ということは間違っているとするとそれは胸苦しい; int1 & fact4 -> int2: このぽくぽよLv.59は胸苦しい; int2 -> int3: このぽくぽよLv.59は胸苦しいかもしくは企画するかまたは両方ともである; int3 & fact5 -> int4: このぽくぽよLv.59はしがないということはない; int4 & fact2 -> hypothesis;
fact1 -> int1: ¬({AA}{aa} & ¬{AB}{aa}) -> {B}{aa}; int1 & fact4 -> int2: {B}{aa}; int2 -> int3: ({B}{aa} v {A}{aa}); int3 & fact5 -> int4: ¬{C}{aa}; int4 & fact2 -> hypothesis;
$facts$ = fact1: もしも「あるモンスターは化成するけど京都らしくない」ということは成り立たないなら胸苦しい fact2: もしこのぽくぽよLv.59がしがないということはないとすればそれが心地良いということはないしその上急速静注するということはない fact3: このぽくぽよLv.59は急速静注しない fact4: 「このぽくぽよLv.59は化成するけど京都らしくない」ということは間違っている fact5: このぽくぽよLv.59が胸苦しいかもしくはそれは企画するかあるいは両方であるとするとしがなくない ; $hypothesis$ = 「このぽくぽよLv.59は心地良くないしそれにそれは急速静注しない」ということは事実と異なる ; $proof$ = 
fact1 -> int1: 「「このぽくぽよLv.59は化成するけどそれは京都らしくない」ということは真実だ」ということは間違っているとするとそれは胸苦しい; int1 & fact4 -> int2: このぽくぽよLv.59は胸苦しい; int2 -> int3: このぽくぽよLv.59は胸苦しいかもしくは企画するかまたは両方ともである; int3 & fact5 -> int4: このぽくぽよLv.59はしがないということはない; int4 & fact2 -> hypothesis; __DISPROVED__
fact1 -> int1: ¬({AA}{aa} & ¬{AB}{aa}) -> {B}{aa}; int1 & fact4 -> int2: {B}{aa}; int2 -> int3: ({B}{aa} v {A}{aa}); int3 & fact5 -> int4: ¬{C}{aa}; int4 & fact2 -> hypothesis; __DISPROVED__