そのボタンツールが情報・通信だし心無い
fact1: その本権は胡散臭くないししかもそれは低くない fact2: 御偉くないものはある fact3: 低くないものは胡散臭いということはない fact4: あの記録飛行は低くない fact5: あるものは喜ばしかないとすれば「低いししかもあくどくない」ということは成り立つということはない fact6: あくどいということはないものはある fact7: もし仮にそのボタンツールが御偉くないとすれば心無いし更に喜ばしい fact8: 仮に低いということはないものがあくどくないとするとそのボタンツールは情報・通信である fact9: その本権はあくどいということはない fact10: そのボタンツールは御偉くない fact11: 何らかのものは胡散臭いということはないならば「情報・通信で更に心無い」ということは成り立たない
fact1 -> int1: その本権は低くない; int1 & fact9 -> int2: その本権は低くないしあくどくない; int2 -> int3: 低くないしさらにあくどいということはないものはある; int3 & fact8 -> int4: そのボタンツールは情報・通信である; fact7 & fact10 -> int5: そのボタンツールは心無いしかつそれは喜ばしい; int5 -> int6: そのボタンツールは心無い; int4 & int6 -> hypothesis;
「そのボタンツールは情報・通信であるしさらにそれは心無い」ということは間違いである
fact15 -> int7: もし仮にそのボタンツールは胡散臭いということはないとしたら「情報・通信で加えて心無い」ということは成り立たない; fact12 -> int8: もしもそのボタンツールが低いということはないとしたら胡散臭くない; fact14 -> int9: もしその本権は喜ばしかないとすると「それは低くてまたあくどくない」ということは偽である;
$facts$ = fact1: その本権は胡散臭くないししかもそれは低くない fact2: 御偉くないものはある fact3: 低くないものは胡散臭いということはない fact4: あの記録飛行は低くない fact5: あるものは喜ばしかないとすれば「低いししかもあくどくない」ということは成り立つということはない fact6: あくどいということはないものはある fact7: もし仮にそのボタンツールが御偉くないとすれば心無いし更に喜ばしい fact8: 仮に低いということはないものがあくどくないとするとそのボタンツールは情報・通信である fact9: その本権はあくどいということはない fact10: そのボタンツールは御偉くない fact11: 何らかのものは胡散臭いということはないならば「情報・通信で更に心無い」ということは成り立たない ; $hypothesis$ = そのボタンツールが情報・通信だし心無い ; $proof$ = 
fact1 -> int1: その本権は低くない; int1 & fact9 -> int2: その本権は低くないしあくどくない; int2 -> int3: 低くないしさらにあくどいということはないものはある; int3 & fact8 -> int4: そのボタンツールは情報・通信である; fact7 & fact10 -> int5: そのボタンツールは心無いしかつそれは喜ばしい; int5 -> int6: そのボタンツールは心無い; int4 & int6 -> hypothesis; __PROVED__
事実1: その本権は胡散臭くないししかもそれは低くない
事実2: 御偉くないものはある
事実3: 低くないものは胡散臭いということはない
事実4: あの記録飛行は低くない
事実5: あるものは喜ばしかないとすれば「低いししかもあくどくない」ということは成り立つということはない
事実6: あくどいということはないものはある
事実7: もし仮にそのボタンツールが御偉くないとすれば心無いし更に喜ばしい
事実8: 仮に低いということはないものがあくどくないとするとそのボタンツールは情報・通信である
事実9: その本権はあくどいということはない
事実10: そのボタンツールは御偉くない
事実11: 何らかのものは胡散臭いということはないならば「情報・通信で更に心無い」ということは成り立たない

仮説: そのボタンツールが情報・通信だし心無い
1. 事実1から、推論1: "その本権は低くない"が導かれる
2. 推論1と事実9から、推論2: "その本権は低くないしあくどくない"が導かれる
3. 推論2から、推論3: "低くないしさらにあくどいということはないものはある"が導かれる
4. 推論3と事実8から、推論4: "そのボタンツールは情報・通信である"が導かれる
5. 事実7と事実10から、推論5: "そのボタンツールは心無いしかつそれは喜ばしい"が導かれる
6. 推論5から、推論6: "そのボタンツールは心無い"が導かれる
7. 推論4と推論6から、仮説が導かれる

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