そのツールオプションバーは憎い
fact1: 「あのコパ・アメリカは緩み易い」ということは事実だ fact2: もしあのコパ・アメリカが緩み易いとすればそのツールオプションバーは憎いということはない fact3: 仮にその煤がフス派でないとするとあのコパ・アメリカは憎いししかも緩み易い fact4: あのコパ・アメリカは流行り始めない fact5: もしも「その国家論ノートは緩み易くないしさらに憎くない」ということは嘘だとすればそれは憎い fact6: 仮にあのコパ・アメリカが憎いならそのツールオプションバーは憎い fact7: そのツールオプションバーは緩み易い
fact2 & fact1 -> hypothesis;
fact2 & fact1 -> hypothesis;
そのツールオプションバーは憎い
$facts$ = fact1: 「あのコパ・アメリカは緩み易い」ということは事実だ fact2: もしあのコパ・アメリカが緩み易いとすればそのツールオプションバーは憎いということはない fact3: 仮にその煤がフス派でないとするとあのコパ・アメリカは憎いししかも緩み易い fact4: あのコパ・アメリカは流行り始めない fact5: もしも「その国家論ノートは緩み易くないしさらに憎くない」ということは嘘だとすればそれは憎い fact6: 仮にあのコパ・アメリカが憎いならそのツールオプションバーは憎い fact7: そのツールオプションバーは緩み易い ; $hypothesis$ = そのツールオプションバーは憎い ; $proof$ = 
fact2 & fact1 -> hypothesis; __DISPROVED__
事実1: 「あのコパ・アメリカは緩み易い」ということは事実だ
事実2: もしあのコパ・アメリカが緩み易いとすればそのツールオプションバーは憎いということはない
事実3: 仮にその煤がフス派でないとするとあのコパ・アメリカは憎いししかも緩み易い
事実4: あのコパ・アメリカは流行り始めない
事実5: もしも「その国家論ノートは緩み易くないしさらに憎くない」ということは嘘だとすればそれは憎い
事実6: 仮にあのコパ・アメリカが憎いならそのツールオプションバーは憎い
事実7: そのツールオプションバーは緩み易い

仮説: そのツールオプションバーは憎い
1. 事実2と事実1から、仮説が否定される

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