あの一人分データは本人不在でない
fact1: あの一人分データは人形達だ fact2: 何かは発展出来ないとすればそれは時価額でないかもしくはそれは隠蔽するかどちらもだ fact3: 仮に「「本人不在であるし発展出来る」ということは成り立たない」物があるならばあの一人分データは発展出来ない fact4: あの一人分データは発展出来るかまたは人形達だ fact5: あの一人分データは人形達でないかあるいは中央青年学級であるかまたはどちらもである fact6: 何らかの物は人形達でないならそれは本人不在であるしおまけに発展出来る fact7: 仮になんらかのものは発展出来ないかあるいは人形達であるかあるいはどちらもであるとすればそれは本人不在でない
fact1 -> int1: あの一人分データは発展出来るということはないかまたはそれは人形達であるかまたは両方ともだ; fact7 -> int2: もし仮にあの一人分データが発展出来ないかあるいはそれは人形達なら「本人不在でない」ということは事実である; int1 & int2 -> hypothesis;
fact1 -> int1: (¬{A}{a} v {B}{a}); fact7 -> int2: (¬{A}{a} v {B}{a}) -> ¬{C}{a}; int1 & int2 -> hypothesis;
あの一人分データは時価額でないかもしくは隠蔽するかもしくは両方だ
fact8 -> int3: もしもあの一人分データが発展出来ないとしたらそれは時価額であるということはないかあるいは隠蔽するか両方だ;
$facts$ = fact1: あの一人分データは人形達だ fact2: 何かは発展出来ないとすればそれは時価額でないかもしくはそれは隠蔽するかどちらもだ fact3: 仮に「「本人不在であるし発展出来る」ということは成り立たない」物があるならばあの一人分データは発展出来ない fact4: あの一人分データは発展出来るかまたは人形達だ fact5: あの一人分データは人形達でないかあるいは中央青年学級であるかまたはどちらもである fact6: 何らかの物は人形達でないならそれは本人不在であるしおまけに発展出来る fact7: 仮になんらかのものは発展出来ないかあるいは人形達であるかあるいはどちらもであるとすればそれは本人不在でない ; $hypothesis$ = あの一人分データは本人不在でない ; $proof$ = 
fact1 -> int1: あの一人分データは発展出来るということはないかまたはそれは人形達であるかまたは両方ともだ; fact7 -> int2: もし仮にあの一人分データが発展出来ないかあるいはそれは人形達なら「本人不在でない」ということは事実である; int1 & int2 -> hypothesis; __PROVED__
事実1: あの一人分データは人形達だ
事実2: 何かは発展出来ないとすればそれは時価額でないかもしくはそれは隠蔽するかどちらもだ
事実3: 仮に「「本人不在であるし発展出来る」ということは成り立たない」物があるならばあの一人分データは発展出来ない
事実4: あの一人分データは発展出来るかまたは人形達だ
事実5: あの一人分データは人形達でないかあるいは中央青年学級であるかまたはどちらもである
事実6: 何らかの物は人形達でないならそれは本人不在であるしおまけに発展出来る
事実7: 仮になんらかのものは発展出来ないかあるいは人形達であるかあるいはどちらもであるとすればそれは本人不在でない

仮説: あの一人分データは本人不在でない
1. 事実1から、推論1: "あの一人分データは発展出来るということはないかまたはそれは人形達であるかまたは両方ともだ"が導かれる
2. 事実7から、推論2: "もし仮にあの一人分データが発展出来ないかあるいはそれは人形達なら「本人不在でない」ということは事実である"が導かれる
3. 推論1と推論2から、仮説が導かれる

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