この上官達は輪郭付けない
fact1: 何らかの物はクオリティーだということはないけれど活動し易いとするとそれは輪郭付けるということはない fact2: もし仮にこの上官達は活動し易くないなら「体験記でないし加えてそれは噛み砕く」ということは間違いである fact3: もしも「この上官達は活動し易いということはない」ということは成り立つとしたら「体験記だしそれに噛み砕く」ということは嘘である fact4: 発送はクオリティーでないがしかし活動し易い fact5: もしも「ある物は体験記でないけど噛み砕く」ということは事実でないとすれば「それは輪郭付ける」ということは成り立つ fact6: もしこの上官達が体験記だとすれば輪郭付ける fact7: 体験記は輪郭付ける fact8: 「この上官達は体験記であるしおまけに噛み砕く」ということは誤っている fact9: 「この上官達は活動し易くない」ということは本当である
fact5 -> int1: もしも「この上官達は体験記でないけれどそれは噛み砕く」ということは成り立たないとすれば輪郭付ける; fact9 & fact2 -> int2: 「この上官達は体験記でないけどそれは噛み砕く」ということは成り立たない; int1 & int2 -> hypothesis;
fact5 -> int1: ¬(¬{AA}{aa} & {AB}{aa}) -> {B}{aa}; fact9 & fact2 -> int2: ¬(¬{AA}{aa} & {AB}{aa}); int1 & int2 -> hypothesis;
この上官達は輪郭付けない
fact10 -> int3: もしもこの上官達はクオリティーでないが活動し易いとしたらそれは輪郭付けない; fact11 -> int4: 「仮に「この上官達は発送だ」ということは正しいならばこの上官達はクオリティーでないがしかし活動し易い」ということは真実だ;
$facts$ = fact1: 何らかの物はクオリティーだということはないけれど活動し易いとするとそれは輪郭付けるということはない fact2: もし仮にこの上官達は活動し易くないなら「体験記でないし加えてそれは噛み砕く」ということは間違いである fact3: もしも「この上官達は活動し易いということはない」ということは成り立つとしたら「体験記だしそれに噛み砕く」ということは嘘である fact4: 発送はクオリティーでないがしかし活動し易い fact5: もしも「ある物は体験記でないけど噛み砕く」ということは事実でないとすれば「それは輪郭付ける」ということは成り立つ fact6: もしこの上官達が体験記だとすれば輪郭付ける fact7: 体験記は輪郭付ける fact8: 「この上官達は体験記であるしおまけに噛み砕く」ということは誤っている fact9: 「この上官達は活動し易くない」ということは本当である ; $hypothesis$ = この上官達は輪郭付けない ; $proof$ = 
fact5 -> int1: もしも「この上官達は体験記でないけれどそれは噛み砕く」ということは成り立たないとすれば輪郭付ける; fact9 & fact2 -> int2: 「この上官達は体験記でないけどそれは噛み砕く」ということは成り立たない; int1 & int2 -> hypothesis; __DISPROVED__
事実1: 何らかの物はクオリティーだということはないけれど活動し易いとするとそれは輪郭付けるということはない
事実2: もし仮にこの上官達は活動し易くないなら「体験記でないし加えてそれは噛み砕く」ということは間違いである
事実3: もしも「この上官達は活動し易いということはない」ということは成り立つとしたら「体験記だしそれに噛み砕く」ということは嘘である
事実4: 発送はクオリティーでないがしかし活動し易い
事実5: もしも「ある物は体験記でないけど噛み砕く」ということは事実でないとすれば「それは輪郭付ける」ということは成り立つ
事実6: もしこの上官達が体験記だとすれば輪郭付ける
事実7: 体験記は輪郭付ける
事実8: 「この上官達は体験記であるしおまけに噛み砕く」ということは誤っている
事実9: 「この上官達は活動し易くない」ということは本当である

仮説: この上官達は輪郭付けない
1. 事実5から、推論1: "もしも「この上官達は体験記でないけれどそれは噛み砕く」ということは成り立たないとすれば輪郭付ける"が導かれる
2. 事実9と事実2から、推論2: "「この上官達は体験記でないけどそれは噛み砕く」ということは成り立たない"が導かれる
3. 推論1と推論2から、仮説が否定される

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