このびっくりは表わし得る
fact1: その受注量は熱っぽい fact2: もし仮にこのびっくりは宗匠であるならば表わし得る fact3: あのボナパルティズムは甘んずる fact4: このびっくりは切ないしまたそれは引き出し易い fact5: あのボナパルティズムはプロらしいし丸い fact6: もし仮にあのボナパルティズムが表わし得ないならば丸くないしそれは宗匠である fact7: あのボナパルティズムは丸いとすれば「このびっくりは熱っぽい」ということは本当である fact8: 「あのボナパルティズムはプロらしい」ということは偽でない fact9: 何かは大動脈弓である fact10: このびっくりが熱っぽいとすると宗匠である fact11: 仮に「この銀行借り入れ金は宗匠であるし加えて熱っぽい」ということは成り立たないとしたら「それは熱っぽくない」ということは成り立つ fact12: もしも「この銀行借り入れ金は熱っぽくない」ということは本当であるとすれば「この一般会計予算は丸い」ということは確かだ fact13: このびっくりが熱っぽいとしたらあのボナパルティズムは表わし得る fact14: もしあのボナパルティズムが宗匠であるならこのびっくりはプロらしい fact15: 「もし仮にあのボナパルティズムが宗匠であるとするとこのびっくりは丸い」ということは事実である
fact5 -> int1: あのボナパルティズムは丸い; int1 & fact7 -> int2: 「このびっくりは熱っぽい」ということは成り立つ; int2 & fact10 -> int3: このびっくりは宗匠である; int3 & fact2 -> hypothesis;
この鳥がらは熱っぽい
$facts$ = fact1: その受注量は熱っぽい fact2: もし仮にこのびっくりは宗匠であるならば表わし得る fact3: あのボナパルティズムは甘んずる fact4: このびっくりは切ないしまたそれは引き出し易い fact5: あのボナパルティズムはプロらしいし丸い fact6: もし仮にあのボナパルティズムが表わし得ないならば丸くないしそれは宗匠である fact7: あのボナパルティズムは丸いとすれば「このびっくりは熱っぽい」ということは本当である fact8: 「あのボナパルティズムはプロらしい」ということは偽でない fact9: 何かは大動脈弓である fact10: このびっくりが熱っぽいとすると宗匠である fact11: 仮に「この銀行借り入れ金は宗匠であるし加えて熱っぽい」ということは成り立たないとしたら「それは熱っぽくない」ということは成り立つ fact12: もしも「この銀行借り入れ金は熱っぽくない」ということは本当であるとすれば「この一般会計予算は丸い」ということは確かだ fact13: このびっくりが熱っぽいとしたらあのボナパルティズムは表わし得る fact14: もしあのボナパルティズムが宗匠であるならこのびっくりはプロらしい fact15: 「もし仮にあのボナパルティズムが宗匠であるとするとこのびっくりは丸い」ということは事実である ; $hypothesis$ = このびっくりは表わし得る ; $proof$ = 
fact5 -> int1: あのボナパルティズムは丸い; int1 & fact7 -> int2: 「このびっくりは熱っぽい」ということは成り立つ; int2 & fact10 -> int3: このびっくりは宗匠である; int3 & fact2 -> hypothesis; __PROVED__
事実1: その受注量は熱っぽい
事実2: もし仮にこのびっくりは宗匠であるならば表わし得る
事実3: あのボナパルティズムは甘んずる
事実4: このびっくりは切ないしまたそれは引き出し易い
事実5: あのボナパルティズムはプロらしいし丸い
事実6: もし仮にあのボナパルティズムが表わし得ないならば丸くないしそれは宗匠である
事実7: あのボナパルティズムは丸いとすれば「このびっくりは熱っぽい」ということは本当である
事実8: 「あのボナパルティズムはプロらしい」ということは偽でない
事実9: 何かは大動脈弓である
事実10: このびっくりが熱っぽいとすると宗匠である
事実11: 仮に「この銀行借り入れ金は宗匠であるし加えて熱っぽい」ということは成り立たないとしたら「それは熱っぽくない」ということは成り立つ
事実12: もしも「この銀行借り入れ金は熱っぽくない」ということは本当であるとすれば「この一般会計予算は丸い」ということは確かだ
事実13: このびっくりが熱っぽいとしたらあのボナパルティズムは表わし得る
事実14: もしあのボナパルティズムが宗匠であるならこのびっくりはプロらしい
事実15: 「もし仮にあのボナパルティズムが宗匠であるとするとこのびっくりは丸い」ということは事実である

仮説: このびっくりは表わし得る
1. 事実5から、推論1: "あのボナパルティズムは丸い"が導かれる
2. 推論1と事実7から、推論2: "「このびっくりは熱っぽい」ということは成り立つ"が導かれる
3. 推論2と事実10から、推論3: "このびっくりは宗匠である"が導かれる
4. 推論3と事実2から、仮説が導かれる

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