そのみちゃみちゅLv.38は清いということはない
fact1: 「そのみちゃみちゅLv.38は堅苦しくないしさらに大人らしくない」ということは偽である fact2: もしも「何らかのモンスターは確認し易いしその上晴れがましい」ということは成り立たないならばそれは清くない fact3: もし仮にそのぷゆぷにゃLv.81は清いということはないなら「そのみちゃみちゅLv.38は物凄まじくなくて堅苦しいということはない」ということは真実でない fact4: もし仮に「何らかのモンスターは堅苦しいということはないしそれは大人らしいということはない」ということは成り立たないとすればそれは確認し易い fact5: 「そのみちゃみちゅLv.38は確認し易い」ということは誤りでないとすればそれは清い fact6: 「そのみちゃみちゅLv.38は堅苦しいけどそれは大人らしくない」ということは成り立たない
fact4 -> int1: もし「そのみちゃみちゅLv.38は堅苦しくないしさらに大人らしくない」ということは嘘であるとするとそれは確認し易い; int1 & fact1 -> int2: そのみちゃみちゅLv.38は確認し易い; int2 & fact5 -> hypothesis;
fact4 -> int1: ¬(¬{AA}{aa} & ¬{AB}{aa}) -> {B}{aa}; int1 & fact1 -> int2: {B}{aa}; int2 & fact5 -> hypothesis;
そのみちゃみちゅLv.38は清いということはない
fact7 -> int3: もし「そのみちゃみちゅLv.38は確認し易くておまけに晴れがましい」ということは成り立つということはないとするとそのみちゃみちゅLv.38は清いということはない;
$facts$ = fact1: 「そのみちゃみちゅLv.38は堅苦しくないしさらに大人らしくない」ということは偽である fact2: もしも「何らかのモンスターは確認し易いしその上晴れがましい」ということは成り立たないならばそれは清くない fact3: もし仮にそのぷゆぷにゃLv.81は清いということはないなら「そのみちゃみちゅLv.38は物凄まじくなくて堅苦しいということはない」ということは真実でない fact4: もし仮に「何らかのモンスターは堅苦しいということはないしそれは大人らしいということはない」ということは成り立たないとすればそれは確認し易い fact5: 「そのみちゃみちゅLv.38は確認し易い」ということは誤りでないとすればそれは清い fact6: 「そのみちゃみちゅLv.38は堅苦しいけどそれは大人らしくない」ということは成り立たない ; $hypothesis$ = そのみちゃみちゅLv.38は清いということはない ; $proof$ = 
fact4 -> int1: もし「そのみちゃみちゅLv.38は堅苦しくないしさらに大人らしくない」ということは嘘であるとするとそれは確認し易い; int1 & fact1 -> int2: そのみちゃみちゅLv.38は確認し易い; int2 & fact5 -> hypothesis; __DISPROVED__
fact4 -> int1: ¬(¬{AA}{aa} & ¬{AB}{aa}) -> {B}{aa}; int1 & fact1 -> int2: {B}{aa}; int2 & fact5 -> hypothesis; __DISPROVED__