あのルッコラはメソッド呼び出しでない
fact1: 「あのルッコラはつれない」ということは成り立つならそれはメソッド呼び出しだ fact2: 「あの裏取り引きはメソッド呼び出しだ」ということは成り立つ fact3: あのルッコラは旨し fact4: あのルッコラはつれない
fact1 & fact4 -> hypothesis;
fact1 & fact4 -> hypothesis;
$facts$ = fact1: 「あのルッコラはつれない」ということは成り立つならそれはメソッド呼び出しだ fact2: 「あの裏取り引きはメソッド呼び出しだ」ということは成り立つ fact3: あのルッコラは旨し fact4: あのルッコラはつれない ; $hypothesis$ = あのルッコラはメソッド呼び出しでない ; $proof$ = 
fact1 & fact4 -> hypothesis; __DISPROVED__
事実1: 「あのルッコラはつれない」ということは成り立つならそれはメソッド呼び出しだ
事実2: 「あの裏取り引きはメソッド呼び出しだ」ということは成り立つ
事実3: あのルッコラは旨し
事実4: あのルッコラはつれない

仮説: あのルッコラはメソッド呼び出しでない
1. 事実1と事実4から、仮説が否定される

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