この後部はやくざっぽい
fact1: 「なんらかの物は詳しいなら「「それは悪しくない」ということは成り立たない」ということは真実である」ということは成り立つ fact2: あの反射鏡アンテナは投棄する fact3: あの反射鏡アンテナは投棄するとすると「それは変性するし加えてそれは施用量でない」ということは嘘である fact4: もしもなにがしかのものは悪しいかまたは当て嵌まるかあるいは両方ならばそれはやくざっぽくない fact5: あの反射鏡アンテナは当て嵌まるない fact6: もし何らかのものが当て嵌まるとすればそれはやくざっぽくない fact7: 仮に「「変性するし施用量でない」ということは成り立たない」物はあるとすると「この後部は詳しい」ということは成り立つ
fact3 & fact2 -> int1: 「あの反射鏡アンテナは変性するがしかし施用量でない」ということは成り立たない; int1 -> int2: 「「変性するけれど施用量でない」ということは成り立たない」ものはある; int2 & fact7 -> int3: この後部は詳しい; fact1 -> int4: もしもこの後部が詳しいならそれは悪しい; int3 & int4 -> int5: この後部は悪しい; int5 -> int6: この後部は悪しいかもしくは当て嵌まるかあるいは両方ともだ; fact4 -> int7: もし仮にこの後部が悪しいか当て嵌まるとするとやくざっぽくない; int6 & int7 -> hypothesis;
この後部はやくざっぽい
$facts$ = fact1: 「なんらかの物は詳しいなら「「それは悪しくない」ということは成り立たない」ということは真実である」ということは成り立つ fact2: あの反射鏡アンテナは投棄する fact3: あの反射鏡アンテナは投棄するとすると「それは変性するし加えてそれは施用量でない」ということは嘘である fact4: もしもなにがしかのものは悪しいかまたは当て嵌まるかあるいは両方ならばそれはやくざっぽくない fact5: あの反射鏡アンテナは当て嵌まるない fact6: もし何らかのものが当て嵌まるとすればそれはやくざっぽくない fact7: 仮に「「変性するし施用量でない」ということは成り立たない」物はあるとすると「この後部は詳しい」ということは成り立つ ; $hypothesis$ = この後部はやくざっぽい ; $proof$ = 
fact3 & fact2 -> int1: 「あの反射鏡アンテナは変性するがしかし施用量でない」ということは成り立たない; int1 -> int2: 「「変性するけれど施用量でない」ということは成り立たない」ものはある; int2 & fact7 -> int3: この後部は詳しい; fact1 -> int4: もしもこの後部が詳しいならそれは悪しい; int3 & int4 -> int5: この後部は悪しい; int5 -> int6: この後部は悪しいかもしくは当て嵌まるかあるいは両方ともだ; fact4 -> int7: もし仮にこの後部が悪しいか当て嵌まるとするとやくざっぽくない; int6 & int7 -> hypothesis; __DISPROVED__
事実1: 「なんらかの物は詳しいなら「「それは悪しくない」ということは成り立たない」ということは真実である」ということは成り立つ
事実2: あの反射鏡アンテナは投棄する
事実3: あの反射鏡アンテナは投棄するとすると「それは変性するし加えてそれは施用量でない」ということは嘘である
事実4: もしもなにがしかのものは悪しいかまたは当て嵌まるかあるいは両方ならばそれはやくざっぽくない
事実5: あの反射鏡アンテナは当て嵌まるない
事実6: もし何らかのものが当て嵌まるとすればそれはやくざっぽくない
事実7: 仮に「「変性するし施用量でない」ということは成り立たない」物はあるとすると「この後部は詳しい」ということは成り立つ

仮説: この後部はやくざっぽい
1. 事実3と事実2から、推論1: "「あの反射鏡アンテナは変性するがしかし施用量でない」ということは成り立たない"が導かれる
2. 推論1から、推論2: "「「変性するけれど施用量でない」ということは成り立たない」ものはある"が導かれる
3. 推論2と事実7から、推論3: "この後部は詳しい"が導かれる
4. 事実1から、推論4: "もしもこの後部が詳しいならそれは悪しい"が導かれる
5. 推論3と推論4から、推論5: "この後部は悪しい"が導かれる
6. 推論5から、推論6: "この後部は悪しいかもしくは当て嵌まるかあるいは両方ともだ"が導かれる
7. 事実4から、推論7: "もし仮にこの後部が悪しいか当て嵌まるとするとやくざっぽくない"が導かれる
8. 推論6と推論7から、仮説が否定される

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