あのＡランクは法令・定款であるということはないしそれは背けない
fact1: もし仮にある物は美術展だとすれば「法令・定款であるしかつ背けない」ということは事実と異なる fact2: このペプチド鎖は包み込める fact3: そのダイバー‐ＧＵＩＬＤが所狭し一方で覗き込まないとするとあのＡランクは美術展だ fact4: そのダイバー‐ＧＵＩＬＤは包み込める fact5: もしもそのダイバー‐ＧＵＩＬＤが包み込めないとすればあのＡランクは法令・定款でなくておまけに背けない fact6: もし仮に「そのダイバー‐ＧＵＩＬＤは包み込める」ということは確かであるとすればそれは所狭くてかつ覗き込まない fact7: あるものは美術展であるとすれば「それは法令・定款でないしさらにそれは背けない」ということは成り立たない
fact6 & fact4 -> int1: そのダイバー‐ＧＵＩＬＤは所狭し一方で覗き込まない; int1 & fact3 -> int2: あのＡランクは美術展である; fact7 -> int3: 仮にあのＡランクは美術展だとすれば「法令・定款でないしそれは背けるということはない」ということは成り立たない; int2 & int3 -> hypothesis;
fact6 & fact4 -> int1: ({AA}{a} & ¬{AB}{a}); int1 & fact3 -> int2: {B}{b}; fact7 -> int3: {B}{b} -> ¬(¬{C}{b} & ¬{D}{b}); int2 & int3 -> hypothesis;
「あのＡランクは法令・定款でないし更に背けない」ということは本当だ
$facts$ = fact1: もし仮にある物は美術展だとすれば「法令・定款であるしかつ背けない」ということは事実と異なる fact2: このペプチド鎖は包み込める fact3: そのダイバー‐ＧＵＩＬＤが所狭し一方で覗き込まないとするとあのＡランクは美術展だ fact4: そのダイバー‐ＧＵＩＬＤは包み込める fact5: もしもそのダイバー‐ＧＵＩＬＤが包み込めないとすればあのＡランクは法令・定款でなくておまけに背けない fact6: もし仮に「そのダイバー‐ＧＵＩＬＤは包み込める」ということは確かであるとすればそれは所狭くてかつ覗き込まない fact7: あるものは美術展であるとすれば「それは法令・定款でないしさらにそれは背けない」ということは成り立たない ; $hypothesis$ = あのＡランクは法令・定款であるということはないしそれは背けない ; $proof$ = 
fact6 & fact4 -> int1: そのダイバー‐ＧＵＩＬＤは所狭し一方で覗き込まない; int1 & fact3 -> int2: あのＡランクは美術展である; fact7 -> int3: 仮にあのＡランクは美術展だとすれば「法令・定款でないしそれは背けるということはない」ということは成り立たない; int2 & int3 -> hypothesis; __DISPROVED__
事実1: もし仮にある物は美術展だとすれば「法令・定款であるしかつ背けない」ということは事実と異なる
事実2: このペプチド鎖は包み込める
事実3: そのダイバー‐ＧＵＩＬＤが所狭し一方で覗き込まないとするとあのＡランクは美術展だ
事実4: そのダイバー‐ＧＵＩＬＤは包み込める
事実5: もしもそのダイバー‐ＧＵＩＬＤが包み込めないとすればあのＡランクは法令・定款でなくておまけに背けない
事実6: もし仮に「そのダイバー‐ＧＵＩＬＤは包み込める」ということは確かであるとすればそれは所狭くてかつ覗き込まない
事実7: あるものは美術展であるとすれば「それは法令・定款でないしさらにそれは背けない」ということは成り立たない

仮説: あのＡランクは法令・定款であるということはないしそれは背けない
1. 事実6と事実4から、推論1: "そのダイバー‐ＧＵＩＬＤは所狭し一方で覗き込まない"が導かれる
2. 推論1と事実3から、推論2: "あのＡランクは美術展である"が導かれる
3. 事実7から、推論3: "仮にあのＡランクは美術展だとすれば「法令・定款でないしそれは背けるということはない」ということは成り立たない"が導かれる
4. 推論2と推論3から、仮説が否定される

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