このボタンコントロールは麗々しい
fact1: その世界人類全体が優位性であるならばこの機械式はきつい fact2: 「運命共同体な」ものはある fact3: その世界人類全体は旧型だ fact4: もし「何らかのものは覚え切れるがそれは損金処理しない」ということは成り立たないとすると麗々しくない fact5: その世界人類全体が麗々しいとすればこのボタンコントロールは麗々しい fact6: その世界人類全体は旧型であるしその上優位性だ fact7: 仮に「「きつい」ということは正しい」ものはあるなら「このボタンコントロールは覚え切れるけど損金処理しない」ということは間違いである fact8: 「何らかの物は優位性だ」ということは本当だ fact9: もし「何かは損金処理するが麗々しくない」ということは確かでないとしたら優位性であるということはない
fact6 -> int1: その世界人類全体は優位性である; int1 & fact1 -> int2: この機械式はきつい; int2 -> int3: 「きつい」物はある; int3 & fact7 -> int4: 「このボタンコントロールは覚え切れるがしかし損金処理しない」ということは確かだということはない; fact4 -> int5: もし仮に「このボタンコントロールは覚え切れるがしかし損金処理しない」ということは成り立たないとしたら麗々しくない; int4 & int5 -> hypothesis;
このボタンコントロールは麗々しい
$facts$ = fact1: その世界人類全体が優位性であるならばこの機械式はきつい fact2: 「運命共同体な」ものはある fact3: その世界人類全体は旧型だ fact4: もし「何らかのものは覚え切れるがそれは損金処理しない」ということは成り立たないとすると麗々しくない fact5: その世界人類全体が麗々しいとすればこのボタンコントロールは麗々しい fact6: その世界人類全体は旧型であるしその上優位性だ fact7: 仮に「「きつい」ということは正しい」ものはあるなら「このボタンコントロールは覚え切れるけど損金処理しない」ということは間違いである fact8: 「何らかの物は優位性だ」ということは本当だ fact9: もし「何かは損金処理するが麗々しくない」ということは確かでないとしたら優位性であるということはない ; $hypothesis$ = このボタンコントロールは麗々しい ; $proof$ = 
fact6 -> int1: その世界人類全体は優位性である; int1 & fact1 -> int2: この機械式はきつい; int2 -> int3: 「きつい」物はある; int3 & fact7 -> int4: 「このボタンコントロールは覚え切れるがしかし損金処理しない」ということは確かだということはない; fact4 -> int5: もし仮に「このボタンコントロールは覚え切れるがしかし損金処理しない」ということは成り立たないとしたら麗々しくない; int4 & int5 -> hypothesis; __DISPROVED__
事実1: その世界人類全体が優位性であるならばこの機械式はきつい
事実2: 「運命共同体な」ものはある
事実3: その世界人類全体は旧型だ
事実4: もし「何らかのものは覚え切れるがそれは損金処理しない」ということは成り立たないとすると麗々しくない
事実5: その世界人類全体が麗々しいとすればこのボタンコントロールは麗々しい
事実6: その世界人類全体は旧型であるしその上優位性だ
事実7: 仮に「「きつい」ということは正しい」ものはあるなら「このボタンコントロールは覚え切れるけど損金処理しない」ということは間違いである
事実8: 「何らかの物は優位性だ」ということは本当だ
事実9: もし「何かは損金処理するが麗々しくない」ということは確かでないとしたら優位性であるということはない

仮説: このボタンコントロールは麗々しい
1. 事実6から、推論1: "その世界人類全体は優位性である"が導かれる
2. 推論1と事実1から、推論2: "この機械式はきつい"が導かれる
3. 推論2から、推論3: "「きつい」物はある"が導かれる
4. 推論3と事実7から、推論4: "「このボタンコントロールは覚え切れるがしかし損金処理しない」ということは確かだということはない"が導かれる
5. 事実4から、推論5: "もし仮に「このボタンコントロールは覚え切れるがしかし損金処理しない」ということは成り立たないとしたら麗々しくない"が導かれる
6. 推論4と推論5から、仮説が否定される

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