「その五十八参照は測量隊だがしかし茜でない」ということは成り立たない
fact1: もし仮に「この跡目争いは吹っ切れるしおまけに居眠りする」ということは間違いであるとすればそれは居眠りしない fact2: なにがしかのものは待ち合わせすれば「「その五十八参照は測量隊だけれどそれは茜でない」ということは確かだ」ということは成り立たない fact3: 「「その五十八参照は測量隊だし茜だ」ということは嘘でない」ということは間違いだ fact4: 「待ち合わせする」物はある fact5: もし仮にあるものが測量隊でないしそれにそれが待ち合わせしないとするとそれは共有し得る fact6: もし「待ち合わせする」物はあるとすると「その五十八参照は測量隊であるし茜である」ということは成り立たない fact7: なにがしかのものが待ち合わせするならそれが測量隊だし茜でない fact8: 「その五十八参照は体得するしおまけにそれは茜である」ということは成り立たない
fact4 & fact2 -> hypothesis;
fact4 & fact2 -> hypothesis;
その五十八参照は測量隊だけど茜でない
$facts$ = fact1: もし仮に「この跡目争いは吹っ切れるしおまけに居眠りする」ということは間違いであるとすればそれは居眠りしない fact2: なにがしかのものは待ち合わせすれば「「その五十八参照は測量隊だけれどそれは茜でない」ということは確かだ」ということは成り立たない fact3: 「「その五十八参照は測量隊だし茜だ」ということは嘘でない」ということは間違いだ fact4: 「待ち合わせする」物はある fact5: もし仮にあるものが測量隊でないしそれにそれが待ち合わせしないとするとそれは共有し得る fact6: もし「待ち合わせする」物はあるとすると「その五十八参照は測量隊であるし茜である」ということは成り立たない fact7: なにがしかのものが待ち合わせするならそれが測量隊だし茜でない fact8: 「その五十八参照は体得するしおまけにそれは茜である」ということは成り立たない ; $hypothesis$ = 「その五十八参照は測量隊だがしかし茜でない」ということは成り立たない ; $proof$ = 
fact4 & fact2 -> hypothesis; __PROVED__
事実1: もし仮に「この跡目争いは吹っ切れるしおまけに居眠りする」ということは間違いであるとすればそれは居眠りしない
事実2: なにがしかのものは待ち合わせすれば「「その五十八参照は測量隊だけれどそれは茜でない」ということは確かだ」ということは成り立たない
事実3: 「「その五十八参照は測量隊だし茜だ」ということは嘘でない」ということは間違いだ
事実4: 「待ち合わせする」物はある
事実5: もし仮にあるものが測量隊でないしそれにそれが待ち合わせしないとするとそれは共有し得る
事実6: もし「待ち合わせする」物はあるとすると「その五十八参照は測量隊であるし茜である」ということは成り立たない
事実7: なにがしかのものが待ち合わせするならそれが測量隊だし茜でない
事実8: 「その五十八参照は体得するしおまけにそれは茜である」ということは成り立たない

仮説: 「その五十八参照は測量隊だがしかし茜でない」ということは成り立たない
1. 事実4と事実2から、仮説が導かれる

よって、仮説が証明されました。