そのみゆみいLv.38は口汚い
fact1: もし仮に「なんらかのモンスターはモンテするしおまけに清々しい」ということは成り立つならそのみゆみいLv.38は口汚くない fact2: 「あのぷいぷゆLv.80が受け入れ難くないならばそのまにまわLv.15はモンテするし更にそれは清々しい」ということは確かである fact3: そのまにまわLv.15は読み漁る fact4: そのまにまわLv.15は読み漁れば「あのぷいぷゆLv.80はモンテする」ということは成り立つ fact5: 仮に「そのぷなぷくLv.24はがめつい」ということは正しいとすれば「あのぷいぷゆLv.80は難しいか清しない」ということは成り立たない fact6: もし仮に「なんらかのモンスターは難しいかあるいは清しない」ということは嘘であるとすれば受け入れ難いということはない fact7: もしも「そのぷなぷくLv.24は手早くないしその上表現し難くない」ということは成り立たないとするとそれはがめつい fact8: あのぷいぷゆLv.80は清々しい
fact4 & fact3 -> int1: あのぷいぷゆLv.80はモンテする; int1 & fact8 -> int2: あのぷいぷゆLv.80はモンテするし更に清々しい; int2 -> int3: 「モンテするし清々しい」モンスターはいる; int3 & fact1 -> hypothesis;
fact4 & fact3 -> int1: {B}{b}; int1 & fact8 -> int2: ({B}{b} & {C}{b}); int2 -> int3: (Ex): ({B}x & {C}x); int3 & fact1 -> hypothesis;
そのみゆみいLv.38は口汚い
fact11 -> int4: もしも「あのぷいぷゆLv.80は難しいかあるいはそれは清しない」ということは成り立たないならそれは受け入れ難くない;
$facts$ = fact1: もし仮に「なんらかのモンスターはモンテするしおまけに清々しい」ということは成り立つならそのみゆみいLv.38は口汚くない fact2: 「あのぷいぷゆLv.80が受け入れ難くないならばそのまにまわLv.15はモンテするし更にそれは清々しい」ということは確かである fact3: そのまにまわLv.15は読み漁る fact4: そのまにまわLv.15は読み漁れば「あのぷいぷゆLv.80はモンテする」ということは成り立つ fact5: 仮に「そのぷなぷくLv.24はがめつい」ということは正しいとすれば「あのぷいぷゆLv.80は難しいか清しない」ということは成り立たない fact6: もし仮に「なんらかのモンスターは難しいかあるいは清しない」ということは嘘であるとすれば受け入れ難いということはない fact7: もしも「そのぷなぷくLv.24は手早くないしその上表現し難くない」ということは成り立たないとするとそれはがめつい fact8: あのぷいぷゆLv.80は清々しい ; $hypothesis$ = そのみゆみいLv.38は口汚い ; $proof$ = 
fact4 & fact3 -> int1: あのぷいぷゆLv.80はモンテする; int1 & fact8 -> int2: あのぷいぷゆLv.80はモンテするし更に清々しい; int2 -> int3: 「モンテするし清々しい」モンスターはいる; int3 & fact1 -> hypothesis; __DISPROVED__
fact4 & fact3 -> int1: {B}{b}; int1 & fact8 -> int2: ({B}{b} & {C}{b}); int2 -> int3: (Ex): ({B}x & {C}x); int3 & fact1 -> hypothesis; __DISPROVED__