「「もし嫌味ったらしくないかまたは鬩ぎ合わないならばほろ苦い」物はある」ということは事実と異なる
fact1: 「もし嫌味ったらしくないとすればほろ苦い」ものはある fact2: もしも何かは嫌味ったらしくないかまたは鬩ぎ合うということはないかまたは両方ともだとすると「ほろ苦い」ということは確かだ
fact2 -> int1: もしこの夕刻が嫌味ったらしくないか鬩ぎ合うということはないかもしくはどちらもだとすればほろ苦い; int1 -> hypothesis;
$facts$ = fact1: 「もし嫌味ったらしくないとすればほろ苦い」ものはある fact2: もしも何かは嫌味ったらしくないかまたは鬩ぎ合うということはないかまたは両方ともだとすると「ほろ苦い」ということは確かだ ; $hypothesis$ = 「「もし嫌味ったらしくないかまたは鬩ぎ合わないならばほろ苦い」物はある」ということは事実と異なる ; $proof$ = 
fact2 -> int1: もしこの夕刻が嫌味ったらしくないか鬩ぎ合うということはないかもしくはどちらもだとすればほろ苦い; int1 -> hypothesis; __DISPROVED__
事実1: 「もし嫌味ったらしくないとすればほろ苦い」ものはある
事実2: もしも何かは嫌味ったらしくないかまたは鬩ぎ合うということはないかまたは両方ともだとすると「ほろ苦い」ということは確かだ

仮説: 「「もし嫌味ったらしくないかまたは鬩ぎ合わないならばほろ苦い」物はある」ということは事実と異なる
1. 事実2から、推論1: "もしこの夕刻が嫌味ったらしくないか鬩ぎ合うということはないかもしくはどちらもだとすればほろ苦い"が導かれる
2. 推論1から、仮説が否定される

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