あの拡張はメソッド呼び出しだ
fact1: もしとある物が鬱陶しいけれどそれが生産し続けないとしたらあの拡張はメソッド呼び出しだ fact2: 「何かは鬱陶しいがしかし生産し続けない」ということは成り立つ
$facts$ = fact1: もしとある物が鬱陶しいけれどそれが生産し続けないとしたらあの拡張はメソッド呼び出しだ fact2: 「何かは鬱陶しいがしかし生産し続けない」ということは成り立つ ; $hypothesis$ = あの拡張はメソッド呼び出しだ ; $proof$ = 
事実1: もしとある物が鬱陶しいけれどそれが生産し続けないとしたらあの拡張はメソッド呼び出しだ
事実2: 「何かは鬱陶しいがしかし生産し続けない」ということは成り立つ

仮説: あの拡張はメソッド呼び出しだ