「このみねみにょLv.20は疲れ易いし加えて香ばしい」ということは嘘である
fact1: もしもあのぷくぷやLv.25が心苦しいが小煩くないとしたらあのぷくぷやLv.25は御優しい fact2: 仮に心苦しいモンスターが小煩いということはないならば御優しい fact3: あのぷくぷやLv.25が心苦しいということはないしその上それは小煩くない fact4: 心苦しくないモンスターが小煩くないならばそれは御優しい fact5: もしあのぷくぷやLv.25が儚いならこのみねみにょLv.20は疲れ易い fact6: このみねみにょLv.20は香ばしい fact7: もし仮にあのぷくぷやLv.25が御優しいならばそれは儚い fact8: あのぷくぷやLv.25は心苦しくない
fact4 -> int1: あのぷくぷやLv.25が心苦しくないし小煩くないならばそれは御優しい; int1 & fact3 -> int2: あのぷくぷやLv.25は御優しい; int2 & fact7 -> int3: あのぷくぷやLv.25は儚い; int3 & fact5 -> int4: このみねみにょLv.20は疲れ易い; int4 & fact6 -> hypothesis;
fact4 -> int1: (¬{AA}{aa} & ¬{AB}{aa}) -> {B}{aa}; int1 & fact3 -> int2: {B}{aa}; int2 & fact7 -> int3: {A}{aa}; int3 & fact5 -> int4: {C}{a}; int4 & fact6 -> hypothesis;
$facts$ = fact1: もしもあのぷくぷやLv.25が心苦しいが小煩くないとしたらあのぷくぷやLv.25は御優しい fact2: 仮に心苦しいモンスターが小煩いということはないならば御優しい fact3: あのぷくぷやLv.25が心苦しいということはないしその上それは小煩くない fact4: 心苦しくないモンスターが小煩くないならばそれは御優しい fact5: もしあのぷくぷやLv.25が儚いならこのみねみにょLv.20は疲れ易い fact6: このみねみにょLv.20は香ばしい fact7: もし仮にあのぷくぷやLv.25が御優しいならばそれは儚い fact8: あのぷくぷやLv.25は心苦しくない ; $hypothesis$ = 「このみねみにょLv.20は疲れ易いし加えて香ばしい」ということは嘘である ; $proof$ = 
fact4 -> int1: あのぷくぷやLv.25が心苦しくないし小煩くないならばそれは御優しい; int1 & fact3 -> int2: あのぷくぷやLv.25は御優しい; int2 & fact7 -> int3: あのぷくぷやLv.25は儚い; int3 & fact5 -> int4: このみねみにょLv.20は疲れ易い; int4 & fact6 -> hypothesis; __DISPROVED__
fact4 -> int1: (¬{AA}{aa} & ¬{AB}{aa}) -> {B}{aa}; int1 & fact3 -> int2: {B}{aa}; int2 & fact7 -> int3: {A}{aa}; int3 & fact5 -> int4: {C}{a}; int4 & fact6 -> hypothesis; __DISPROVED__