あのＰＡＰＡは馴染み深くない
fact1: あのＰＡＰＡは平和共存でない fact2: あの選任・解任が溶けないかもしくは平和共存であるかもしくは両方ともならあのＰＡＰＡは馴染み深くない fact3: 仮に「「平和共存である」ということは真実な」ものがあるとするとあのＰＡＰＡは馴染み深いけれど溶けるということはない fact4: 「もし仮に「平和共存な」物があるとしたらあのＰＡＰＡは溶けるということはない」ということは成り立つ fact5: 取り調べ過程は溶けないかあるいは平和共存であるか両方ともだ fact6: もしもなにがしかのものが始動しないなら取り調べ過程であるし更に勤める fact7: 「平和共存である」ものはある
fact7 & fact3 -> int1: あのＰＡＰＡは馴染み深いけれど溶けない; int1 -> hypothesis;
fact7 & fact3 -> int1: ({B}{a} & ¬{C}{a}); int1 -> hypothesis;
あのＰＡＰＡは馴染み深くない
fact8 -> int2: もし仮にあの選任・解任は取り調べ過程であるとすれば溶けないかもしくは平和共存であるかあるいは両方ともである;
$facts$ = fact1: あのＰＡＰＡは平和共存でない fact2: あの選任・解任が溶けないかもしくは平和共存であるかもしくは両方ともならあのＰＡＰＡは馴染み深くない fact3: 仮に「「平和共存である」ということは真実な」ものがあるとするとあのＰＡＰＡは馴染み深いけれど溶けるということはない fact4: 「もし仮に「平和共存な」物があるとしたらあのＰＡＰＡは溶けるということはない」ということは成り立つ fact5: 取り調べ過程は溶けないかあるいは平和共存であるか両方ともだ fact6: もしもなにがしかのものが始動しないなら取り調べ過程であるし更に勤める fact7: 「平和共存である」ものはある ; $hypothesis$ = あのＰＡＰＡは馴染み深くない ; $proof$ = 
fact7 & fact3 -> int1: あのＰＡＰＡは馴染み深いけれど溶けない; int1 -> hypothesis; __DISPROVED__
事実1: あのＰＡＰＡは平和共存でない
事実2: あの選任・解任が溶けないかもしくは平和共存であるかもしくは両方ともならあのＰＡＰＡは馴染み深くない
事実3: 仮に「「平和共存である」ということは真実な」ものがあるとするとあのＰＡＰＡは馴染み深いけれど溶けるということはない
事実4: 「もし仮に「平和共存な」物があるとしたらあのＰＡＰＡは溶けるということはない」ということは成り立つ
事実5: 取り調べ過程は溶けないかあるいは平和共存であるか両方ともだ
事実6: もしもなにがしかのものが始動しないなら取り調べ過程であるし更に勤める
事実7: 「平和共存である」ものはある

仮説: あのＰＡＰＡは馴染み深くない
1. 事実7と事実3から、推論1: "あのＰＡＰＡは馴染み深いけれど溶けない"が導かれる
2. 推論1から、仮説が否定される

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