その押し出し器は気難しくない
fact1: その共有者は口煩くない fact2: 「口煩い物は気難しい」ということは偽であるということはない fact3: もし仮に「その共有者は口煩くない」ということは事実であるとすればその押し出し器は気難しくない fact4: あの白井寿昭厩舎は気難しいということはない fact5: もしもその押し出し器が主唱するなら口煩くてさらに乗り易くない fact6: もし仮に「その押し出し器は口煩くない」ということは成り立てばその共有者は気難しくない
fact3 & fact1 -> hypothesis;
fact3 & fact1 -> hypothesis;
その押し出し器は気難しい
fact7 -> int1: もしその押し出し器は口煩いとすると「それは気難しい」ということは確かである;
$facts$ = fact1: その共有者は口煩くない fact2: 「口煩い物は気難しい」ということは偽であるということはない fact3: もし仮に「その共有者は口煩くない」ということは事実であるとすればその押し出し器は気難しくない fact4: あの白井寿昭厩舎は気難しいということはない fact5: もしもその押し出し器が主唱するなら口煩くてさらに乗り易くない fact6: もし仮に「その押し出し器は口煩くない」ということは成り立てばその共有者は気難しくない ; $hypothesis$ = その押し出し器は気難しくない ; $proof$ = 
fact3 & fact1 -> hypothesis; __PROVED__
事実1: その共有者は口煩くない
事実2: 「口煩い物は気難しい」ということは偽であるということはない
事実3: もし仮に「その共有者は口煩くない」ということは事実であるとすればその押し出し器は気難しくない
事実4: あの白井寿昭厩舎は気難しいということはない
事実5: もしもその押し出し器が主唱するなら口煩くてさらに乗り易くない
事実6: もし仮に「その押し出し器は口煩くない」ということは成り立てばその共有者は気難しくない

仮説: その押し出し器は気難しくない
1. 事実3と事実1から、仮説が導かれる

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