その肩章はＡ攻撃でない
fact1: この概念構造は上げする fact2: もし仮にその高機能自閉症が転入するということはないとしたらこの概念構造は司法行政上であるということはないしさらにフットライトでない fact3: その高機能自閉症は転入しない fact4: それは黒っぽくて更に息苦しいという物はない fact5: もしもあるものが転入するとするとそれはＡ攻撃であるかあるいは予期出来ない fact6: この三浦事件は転入しない fact7: 「Ａ攻撃でないし司法行政上でない」物はある fact8: もし何らかのものが司法行政上でなくておまけにフットライトでないとしたらその肩章はＡ攻撃でない fact9: もし「上げするしおまけに黒っぽくない」ものがあるならその高機能自閉症は転入する fact10: 「その高機能自閉症は司法行政上でない」ということは成り立つ
fact2 & fact3 -> int1: この概念構造は司法行政上でなくてフットライトでない; int1 -> int2: 「司法行政上であるということはないし加えてフットライトでない」物はある; int2 & fact8 -> hypothesis;
fact2 & fact3 -> int1: (¬{AA}{b} & ¬{AB}{b}); int1 -> int2: (Ex): (¬{AA}x & ¬{AB}x); int2 & fact8 -> hypothesis;
その肩章はＡ攻撃である
fact12 -> int3: 仮にその高機能自閉症が転入するとすればそれはＡ攻撃であるかもしくは予期出来るということはないか両方だ; fact14 -> int4: 「このクラス別は黒っぽいししかも息苦しい」ということは間違いである;
$facts$ = fact1: この概念構造は上げする fact2: もし仮にその高機能自閉症が転入するということはないとしたらこの概念構造は司法行政上であるということはないしさらにフットライトでない fact3: その高機能自閉症は転入しない fact4: それは黒っぽくて更に息苦しいという物はない fact5: もしもあるものが転入するとするとそれはＡ攻撃であるかあるいは予期出来ない fact6: この三浦事件は転入しない fact7: 「Ａ攻撃でないし司法行政上でない」物はある fact8: もし何らかのものが司法行政上でなくておまけにフットライトでないとしたらその肩章はＡ攻撃でない fact9: もし「上げするしおまけに黒っぽくない」ものがあるならその高機能自閉症は転入する fact10: 「その高機能自閉症は司法行政上でない」ということは成り立つ ; $hypothesis$ = その肩章はＡ攻撃でない ; $proof$ = 
fact2 & fact3 -> int1: この概念構造は司法行政上でなくてフットライトでない; int1 -> int2: 「司法行政上であるということはないし加えてフットライトでない」物はある; int2 & fact8 -> hypothesis; __PROVED__
事実1: この概念構造は上げする
事実2: もし仮にその高機能自閉症が転入するということはないとしたらこの概念構造は司法行政上であるということはないしさらにフットライトでない
事実3: その高機能自閉症は転入しない
事実4: それは黒っぽくて更に息苦しいという物はない
事実5: もしもあるものが転入するとするとそれはＡ攻撃であるかあるいは予期出来ない
事実6: この三浦事件は転入しない
事実7: 「Ａ攻撃でないし司法行政上でない」物はある
事実8: もし何らかのものが司法行政上でなくておまけにフットライトでないとしたらその肩章はＡ攻撃でない
事実9: もし「上げするしおまけに黒っぽくない」ものがあるならその高機能自閉症は転入する
事実10: 「その高機能自閉症は司法行政上でない」ということは成り立つ

仮説: その肩章はＡ攻撃でない
1. 事実2と事実3から、推論1: "この概念構造は司法行政上でなくてフットライトでない"が導かれる
2. 推論1から、推論2: "「司法行政上であるということはないし加えてフットライトでない」物はある"が導かれる
3. 推論2と事実8から、仮説が導かれる

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