その回収方法は寒ーい
fact1: もし「その回収方法は寒ーいかあるいはそれは生温かいかあるいは両方ともだ」ということは嘘であるならばあの定は寒ーいということはない fact2: あの定は痛いならば「その回収方法は託つ」ということは事実だ fact3: もし仮にあの定が寒ーいとすれば痛い fact4: あの定は痛い fact5: もしもその回収方法が託つとすればそれは寒ーい fact6: もしもあの定が寒ーいということはないならばこのツー‐与格構文は託つしそれは痛い
fact2 & fact4 -> int1: その回収方法は託つ; int1 & fact5 -> hypothesis;
「このツー‐与格構文は痛くない」ということは成り立たない
$facts$ = fact1: もし「その回収方法は寒ーいかあるいはそれは生温かいかあるいは両方ともだ」ということは嘘であるならばあの定は寒ーいということはない fact2: あの定は痛いならば「その回収方法は託つ」ということは事実だ fact3: もし仮にあの定が寒ーいとすれば痛い fact4: あの定は痛い fact5: もしもその回収方法が託つとすればそれは寒ーい fact6: もしもあの定が寒ーいということはないならばこのツー‐与格構文は託つしそれは痛い ; $hypothesis$ = その回収方法は寒ーい ; $proof$ = 
fact2 & fact4 -> int1: その回収方法は託つ; int1 & fact5 -> hypothesis; __PROVED__
事実1: もし「その回収方法は寒ーいかあるいはそれは生温かいかあるいは両方ともだ」ということは嘘であるならばあの定は寒ーいということはない
事実2: あの定は痛いならば「その回収方法は託つ」ということは事実だ
事実3: もし仮にあの定が寒ーいとすれば痛い
事実4: あの定は痛い
事実5: もしもその回収方法が託つとすればそれは寒ーい
事実6: もしもあの定が寒ーいということはないならばこのツー‐与格構文は託つしそれは痛い

仮説: その回収方法は寒ーい
1. 事実2と事実4から、推論1: "その回収方法は託つ"が導かれる
2. 推論1と事実5から、仮説が導かれる

よって、仮説が証明されました。