あの周辺技術は馴れ馴れしい
fact1: 「この別嬪は馴れ馴れしくない」ということは本当なら「あの周辺技術は馴れ馴れしくない」ということは成り立つ fact2: あの周辺技術は打ち分けない fact3: もし仮に「この別嬪は話し易い」ということは真実だとするとあの周辺技術は打ち分けないが馴れ馴れしい fact4: 「この粘土板は名指ししなくて話し易くない」ということは嘘であるならばこの別嬪は馴れ馴れしくない fact5: 「仮に「この別嬪は話し易い」ということは本当であるとしたらあの周辺技術は打ち分けない」ということは正しい fact6: 仮にある物は話し易くないならフレームアップでないけれど政治的景気循環だ fact7: この別嬪は話し易い
fact3 & fact7 -> int1: あの周辺技術は打ち分けるということはない一方でそれは馴れ馴れしい; int1 -> hypothesis;
fact3 & fact7 -> int1: (¬{AA}{b} & {AB}{b}); int1 -> hypothesis;
この団体自治はフレームアップでないが政治的景気循環である
fact8 -> int2: もしも「この団体自治は話し易くない」ということは成り立つならフレームアップでないけれど政治的景気循環である;
$facts$ = fact1: 「この別嬪は馴れ馴れしくない」ということは本当なら「あの周辺技術は馴れ馴れしくない」ということは成り立つ fact2: あの周辺技術は打ち分けない fact3: もし仮に「この別嬪は話し易い」ということは真実だとするとあの周辺技術は打ち分けないが馴れ馴れしい fact4: 「この粘土板は名指ししなくて話し易くない」ということは嘘であるならばこの別嬪は馴れ馴れしくない fact5: 「仮に「この別嬪は話し易い」ということは本当であるとしたらあの周辺技術は打ち分けない」ということは正しい fact6: 仮にある物は話し易くないならフレームアップでないけれど政治的景気循環だ fact7: この別嬪は話し易い ; $hypothesis$ = あの周辺技術は馴れ馴れしい ; $proof$ = 
fact3 & fact7 -> int1: あの周辺技術は打ち分けるということはない一方でそれは馴れ馴れしい; int1 -> hypothesis; __PROVED__
事実1: 「この別嬪は馴れ馴れしくない」ということは本当なら「あの周辺技術は馴れ馴れしくない」ということは成り立つ
事実2: あの周辺技術は打ち分けない
事実3: もし仮に「この別嬪は話し易い」ということは真実だとするとあの周辺技術は打ち分けないが馴れ馴れしい
事実4: 「この粘土板は名指ししなくて話し易くない」ということは嘘であるならばこの別嬪は馴れ馴れしくない
事実5: 「仮に「この別嬪は話し易い」ということは本当であるとしたらあの周辺技術は打ち分けない」ということは正しい
事実6: 仮にある物は話し易くないならフレームアップでないけれど政治的景気循環だ
事実7: この別嬪は話し易い

仮説: あの周辺技術は馴れ馴れしい
1. 事実3と事実7から、推論1: "あの周辺技術は打ち分けるということはない一方でそれは馴れ馴れしい"が導かれる
2. 推論1から、仮説が導かれる

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