この所生病は勇気付けるが呼び易くない
fact1: この費用項目は勇気付けるけど適わない fact2: もしも「この所生病は選考委員会だ」ということは確かであるとするとこの費用項目は勇気付けるけど呼び易くない fact3: この費用項目は選考委員会だ fact4: この所生病は選考委員会である fact5: もしこの費用項目が勇気付けるとしたらこの所生病は選考委員会であるけれど呼び易いということはない fact6: もし仮にこの費用項目は選考委員会でないなら「この所生病は勇気付けるがしかし呼び易くない」ということは本当でない fact7: もしこの費用項目が選考委員会であるならこの所生病は勇気付けるけれど呼び易くない fact8: もし仮にこの費用項目が呼び易いとすればこの所生病は選考委員会だが勇気付けない fact9: もし仮に何かはポリマーでないとすると「図々しいし加えてそれは選考委員会である」ということは嘘だ fact10: その五レフトは選考委員会でない fact11: もし仮に「なんらかの物は図々しいしそれは選考委員会である」ということは本当であるということはないとすると選考委員会でない fact12: 仮にこの費用項目が選考委員会ならこの所生病は呼び易くない
fact7 & fact3 -> hypothesis;
fact7 & fact3 -> hypothesis;
「この所生病は勇気付けるがしかし呼び易くない」ということは間違いだ
fact15 -> int1: もしも「この費用項目は図々しくてそれは選考委員会だ」ということは誤っているとしたら選考委員会でない; fact14 -> int2: 仮に「この費用項目はポリマーでない」ということは確かであるとすると「それは図々しくてまたそれは選考委員会である」ということは真実でない;
$facts$ = fact1: この費用項目は勇気付けるけど適わない fact2: もしも「この所生病は選考委員会だ」ということは確かであるとするとこの費用項目は勇気付けるけど呼び易くない fact3: この費用項目は選考委員会だ fact4: この所生病は選考委員会である fact5: もしこの費用項目が勇気付けるとしたらこの所生病は選考委員会であるけれど呼び易いということはない fact6: もし仮にこの費用項目は選考委員会でないなら「この所生病は勇気付けるがしかし呼び易くない」ということは本当でない fact7: もしこの費用項目が選考委員会であるならこの所生病は勇気付けるけれど呼び易くない fact8: もし仮にこの費用項目が呼び易いとすればこの所生病は選考委員会だが勇気付けない fact9: もし仮に何かはポリマーでないとすると「図々しいし加えてそれは選考委員会である」ということは嘘だ fact10: その五レフトは選考委員会でない fact11: もし仮に「なんらかの物は図々しいしそれは選考委員会である」ということは本当であるということはないとすると選考委員会でない fact12: 仮にこの費用項目が選考委員会ならこの所生病は呼び易くない ; $hypothesis$ = この所生病は勇気付けるが呼び易くない ; $proof$ = 
fact7 & fact3 -> hypothesis; __PROVED__
事実1: この費用項目は勇気付けるけど適わない
事実2: もしも「この所生病は選考委員会だ」ということは確かであるとするとこの費用項目は勇気付けるけど呼び易くない
事実3: この費用項目は選考委員会だ
事実4: この所生病は選考委員会である
事実5: もしこの費用項目が勇気付けるとしたらこの所生病は選考委員会であるけれど呼び易いということはない
事実6: もし仮にこの費用項目は選考委員会でないなら「この所生病は勇気付けるがしかし呼び易くない」ということは本当でない
事実7: もしこの費用項目が選考委員会であるならこの所生病は勇気付けるけれど呼び易くない
事実8: もし仮にこの費用項目が呼び易いとすればこの所生病は選考委員会だが勇気付けない
事実9: もし仮に何かはポリマーでないとすると「図々しいし加えてそれは選考委員会である」ということは嘘だ
事実10: その五レフトは選考委員会でない
事実11: もし仮に「なんらかの物は図々しいしそれは選考委員会である」ということは本当であるということはないとすると選考委員会でない
事実12: 仮にこの費用項目が選考委員会ならこの所生病は呼び易くない

仮説: この所生病は勇気付けるが呼び易くない
1. 事実7と事実3から、仮説が導かれる

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