あの取り引き活動は資源管理であるということはない
fact1: もしもこの複雑化は第三種特定有害物質だということはないとすると「あの取り引き活動は移相であるかまたは第三種特定有害物質である」ということは成り立たない fact2: この複雑化は弱いということはなくてそれに第三種特定有害物質でない fact3: もしもこの複雑化が第三種特定有害物質ならばその最大速力は弱くないし更に資源管理であるということはない fact4: もしも「なにがしかの物は移相であるかまたはそれは第三種特定有害物質である」ということは嘘であるとすると資源管理でない
fact2 -> int1: この複雑化は第三種特定有害物質でない; int1 & fact1 -> int2: 「あの取り引き活動は移相であるかあるいは第三種特定有害物質であるか両方ともだ」ということは間違いである; fact4 -> int3: 仮に「あの取り引き活動は移相であるかあるいは第三種特定有害物質であるかあるいは両方ともだ」ということは成り立たないとするとそれは資源管理でない; int2 & int3 -> hypothesis;
fact2 -> int1: ¬{B}{a}; int1 & fact1 -> int2: ¬({C}{b} v {B}{b}); fact4 -> int3: ¬({C}{b} v {B}{b}) -> ¬{D}{b}; int2 & int3 -> hypothesis;
その最大速力は資源管理でない
$facts$ = fact1: もしもこの複雑化は第三種特定有害物質だということはないとすると「あの取り引き活動は移相であるかまたは第三種特定有害物質である」ということは成り立たない fact2: この複雑化は弱いということはなくてそれに第三種特定有害物質でない fact3: もしもこの複雑化が第三種特定有害物質ならばその最大速力は弱くないし更に資源管理であるということはない fact4: もしも「なにがしかの物は移相であるかまたはそれは第三種特定有害物質である」ということは嘘であるとすると資源管理でない ; $hypothesis$ = あの取り引き活動は資源管理であるということはない ; $proof$ = 
fact2 -> int1: この複雑化は第三種特定有害物質でない; int1 & fact1 -> int2: 「あの取り引き活動は移相であるかあるいは第三種特定有害物質であるか両方ともだ」ということは間違いである; fact4 -> int3: 仮に「あの取り引き活動は移相であるかあるいは第三種特定有害物質であるかあるいは両方ともだ」ということは成り立たないとするとそれは資源管理でない; int2 & int3 -> hypothesis; __PROVED__
事実1: もしもこの複雑化は第三種特定有害物質だということはないとすると「あの取り引き活動は移相であるかまたは第三種特定有害物質である」ということは成り立たない
事実2: この複雑化は弱いということはなくてそれに第三種特定有害物質でない
事実3: もしもこの複雑化が第三種特定有害物質ならばその最大速力は弱くないし更に資源管理であるということはない
事実4: もしも「なにがしかの物は移相であるかまたはそれは第三種特定有害物質である」ということは嘘であるとすると資源管理でない

仮説: あの取り引き活動は資源管理であるということはない
1. 事実2から、推論1: "この複雑化は第三種特定有害物質でない"が導かれる
2. 推論1と事実1から、推論2: "「あの取り引き活動は移相であるかあるいは第三種特定有害物質であるか両方ともだ」ということは間違いである"が導かれる
3. 事実4から、推論3: "仮に「あの取り引き活動は移相であるかあるいは第三種特定有害物質であるかあるいは両方ともだ」ということは成り立たないとするとそれは資源管理でない"が導かれる
4. 推論2と推論3から、仮説が導かれる

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