あの衒いは寒々しかないがしかしそれはコンマである
fact1: あの四十八ＫＨＺは捕らえ易くないがしかし旨い fact2: あの四十八ＫＨＺが追跡するならあの衒いは寒々しかないがしかしコンマだ fact3: 「仮に「あの衒いは寒々しかないがしかしコンマだ」ということは成り立つとしたらあの四十八ＫＨＺは可笑し」ということは真実である fact4: あの四十八ＫＨＺは寒々しかない fact5: もしあの下心が長続きしないならあの四十八ＫＨＺは追跡するしそれは可笑し fact6: もしもあの衒いが寒々しくて更にコンマであるとすればあの四十八ＫＨＺは可笑し fact7: とあるものは恭しくてそれに暗号通信だとすると「「長続きする」ということは確かだ」ということは成り立たない fact8: 「あの衒いは寒々しくてコンマである」ということは成り立つということはない fact9: あの四十八ＫＨＺは可笑しない fact10: あの衒いは寒々しかないけど超越する fact11: 何らかのものは国絵図であるということはない fact12: 仮にあの衒いが寒々しかないがしかし可笑しとすればあの四十八ＫＨＺはコンマである fact13: あの衒いは可笑しない fact14: あの四十八ＫＨＺはコンマでない fact15: とあるものが追跡するとしたら成功しなくて浮遊端末である fact16: あの衒いは寒々しかない fact17: もしもとあるものが国絵図でないならばあの下心は恭しい
void -> assump1: 以下のように仮定する。あの衒いは寒々しかないけれどコンマだ; fact3 & assump1 -> int1: あの四十八ＫＨＺは可笑し; int1 & fact9 -> int2: これは矛盾である; [assump1] & int2 -> hypothesis;
void -> assump1: (¬{AA}{a} & {AB}{a}); fact3 & assump1 -> int1: {B}{b}; int1 & fact9 -> int2: #F#; [assump1] & int2 -> hypothesis;
あの衒いは寒々しかないがしかしコンマである
fact21 -> int3: もしもあの下心は恭しいしその上暗号通信であるなら長続きしない; fact20 & fact22 -> int4: 「あの下心は恭しい」ということは事実である;
$facts$ = fact1: あの四十八ＫＨＺは捕らえ易くないがしかし旨い fact2: あの四十八ＫＨＺが追跡するならあの衒いは寒々しかないがしかしコンマだ fact3: 「仮に「あの衒いは寒々しかないがしかしコンマだ」ということは成り立つとしたらあの四十八ＫＨＺは可笑し」ということは真実である fact4: あの四十八ＫＨＺは寒々しかない fact5: もしあの下心が長続きしないならあの四十八ＫＨＺは追跡するしそれは可笑し fact6: もしもあの衒いが寒々しくて更にコンマであるとすればあの四十八ＫＨＺは可笑し fact7: とあるものは恭しくてそれに暗号通信だとすると「「長続きする」ということは確かだ」ということは成り立たない fact8: 「あの衒いは寒々しくてコンマである」ということは成り立つということはない fact9: あの四十八ＫＨＺは可笑しない fact10: あの衒いは寒々しかないけど超越する fact11: 何らかのものは国絵図であるということはない fact12: 仮にあの衒いが寒々しかないがしかし可笑しとすればあの四十八ＫＨＺはコンマである fact13: あの衒いは可笑しない fact14: あの四十八ＫＨＺはコンマでない fact15: とあるものが追跡するとしたら成功しなくて浮遊端末である fact16: あの衒いは寒々しかない fact17: もしもとあるものが国絵図でないならばあの下心は恭しい ; $hypothesis$ = あの衒いは寒々しかないがしかしそれはコンマである ; $proof$ = 
void -> assump1: 以下のように仮定する。あの衒いは寒々しかないけれどコンマだ; fact3 & assump1 -> int1: あの四十八ＫＨＺは可笑し; int1 & fact9 -> int2: これは矛盾である; [assump1] & int2 -> hypothesis; __DISPROVED__
事実1: あの四十八ＫＨＺは捕らえ易くないがしかし旨い
事実2: あの四十八ＫＨＺが追跡するならあの衒いは寒々しかないがしかしコンマだ
事実3: 「仮に「あの衒いは寒々しかないがしかしコンマだ」ということは成り立つとしたらあの四十八ＫＨＺは可笑し」ということは真実である
事実4: あの四十八ＫＨＺは寒々しかない
事実5: もしあの下心が長続きしないならあの四十八ＫＨＺは追跡するしそれは可笑し
事実6: もしもあの衒いが寒々しくて更にコンマであるとすればあの四十八ＫＨＺは可笑し
事実7: とあるものは恭しくてそれに暗号通信だとすると「「長続きする」ということは確かだ」ということは成り立たない
事実8: 「あの衒いは寒々しくてコンマである」ということは成り立つということはない
事実9: あの四十八ＫＨＺは可笑しない
事実10: あの衒いは寒々しかないけど超越する
事実11: 何らかのものは国絵図であるということはない
事実12: 仮にあの衒いが寒々しかないがしかし可笑しとすればあの四十八ＫＨＺはコンマである
事実13: あの衒いは可笑しない
事実14: あの四十八ＫＨＺはコンマでない
事実15: とあるものが追跡するとしたら成功しなくて浮遊端末である
事実16: あの衒いは寒々しかない
事実17: もしもとあるものが国絵図でないならばあの下心は恭しい

仮説: あの衒いは寒々しかないがしかしそれはコンマである
1. 仮定1: 以下のように仮定する。あの衒いは寒々しかないけれどコンマだ
2. 事実3と仮定1から、推論1: "あの四十八ＫＨＺは可笑し"が導かれる
3. 推論1と事実9から、推論2: "これは矛盾である"が導かれる
4. [仮定1]と推論2から、仮説が否定される

よって、仮説が否定されました。