あの臓器移植法は高付加価値化でない
fact1: もしも鈍くない物は統合型取り引き処理システムでないとするとそれは高付加価値化でない fact2: 「このバリアゾーンは心置き無いということはなくておまけにそれは理解致さない」ということは成り立たない fact3: 仮になにかは伸張しないしさらに開催しないとするとあの臓器移植法は統合型取り引き処理システムでない fact4: もしこのバリアゾーンは心置き無いとすると「あの臓器移植法は鈍くない」ということは成り立つ fact5: 「伸張するということはないしさらに開催しない」ものはある fact6: もし「このバリアゾーンは心置き無いということはなくてそれに理解致さない」ということは成り立たないとしたら「あの臓器移植法は鈍くない」ということは成り立つ
fact6 & fact2 -> int1: あの臓器移植法は鈍くない; fact5 & fact3 -> int2: あの臓器移植法は統合型取り引き処理システムでない; int1 & int2 -> int3: あの臓器移植法は鈍いということはなくておまけに統合型取り引き処理システムでない; fact1 -> int4: もしもあの臓器移植法は鈍くなくて統合型取り引き処理システムだということはないなら高付加価値化であるということはない; int3 & int4 -> hypothesis;
fact6 & fact2 -> int1: ¬{B}{b}; fact5 & fact3 -> int2: ¬{A}{b}; int1 & int2 -> int3: (¬{B}{b} & ¬{A}{b}); fact1 -> int4: (¬{B}{b} & ¬{A}{b}) -> ¬{C}{b}; int3 & int4 -> hypothesis;
$facts$ = fact1: もしも鈍くない物は統合型取り引き処理システムでないとするとそれは高付加価値化でない fact2: 「このバリアゾーンは心置き無いということはなくておまけにそれは理解致さない」ということは成り立たない fact3: 仮になにかは伸張しないしさらに開催しないとするとあの臓器移植法は統合型取り引き処理システムでない fact4: もしこのバリアゾーンは心置き無いとすると「あの臓器移植法は鈍くない」ということは成り立つ fact5: 「伸張するということはないしさらに開催しない」ものはある fact6: もし「このバリアゾーンは心置き無いということはなくてそれに理解致さない」ということは成り立たないとしたら「あの臓器移植法は鈍くない」ということは成り立つ ; $hypothesis$ = あの臓器移植法は高付加価値化でない ; $proof$ = 
fact6 & fact2 -> int1: あの臓器移植法は鈍くない; fact5 & fact3 -> int2: あの臓器移植法は統合型取り引き処理システムでない; int1 & int2 -> int3: あの臓器移植法は鈍いということはなくておまけに統合型取り引き処理システムでない; fact1 -> int4: もしもあの臓器移植法は鈍くなくて統合型取り引き処理システムだということはないなら高付加価値化であるということはない; int3 & int4 -> hypothesis; __PROVED__
事実1: もしも鈍くない物は統合型取り引き処理システムでないとするとそれは高付加価値化でない
事実2: 「このバリアゾーンは心置き無いということはなくておまけにそれは理解致さない」ということは成り立たない
事実3: 仮になにかは伸張しないしさらに開催しないとするとあの臓器移植法は統合型取り引き処理システムでない
事実4: もしこのバリアゾーンは心置き無いとすると「あの臓器移植法は鈍くない」ということは成り立つ
事実5: 「伸張するということはないしさらに開催しない」ものはある
事実6: もし「このバリアゾーンは心置き無いということはなくてそれに理解致さない」ということは成り立たないとしたら「あの臓器移植法は鈍くない」ということは成り立つ

仮説: あの臓器移植法は高付加価値化でない
1. 事実6と事実2から、推論1: "あの臓器移植法は鈍くない"が導かれる
2. 事実5と事実3から、推論2: "あの臓器移植法は統合型取り引き処理システムでない"が導かれる
3. 推論1と推論2から、推論3: "あの臓器移植法は鈍いということはなくておまけに統合型取り引き処理システムでない"が導かれる
4. 事実1から、推論4: "もしもあの臓器移植法は鈍くなくて統合型取り引き処理システムだということはないなら高付加価値化であるということはない"が導かれる
5. 推論3と推論4から、仮説が導かれる

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