その玄米植物食は御座り下さらない
fact1: その図書館職員は踏み鳴らすけど給付しないならそれは線図でない fact2: もし遅い物が給付しないなら踏み鳴らさない fact3: その図書館職員は加水分解するということはない fact4: その玄米植物食は膝頭である fact5: あの秘密印刷所は青白いがしかしリストアップするということはない fact6: もしなんらかの物が線図でないならばそれは膝頭であるし更に煮え繰り返らない fact7: もしなんらかのものは線図でないとしたらそれは煮え繰り返らない fact8: もし仮にその図書館職員が御座り下さらないとすると膝頭だ fact9: その図書館職員は踏み鳴らすがしかし給付しない fact10: そのボリュームラベルは悶うがしかし投げ返さない fact11: 仮に何らかのものが踏み鳴らさないとすればそれが線図だしまたそれは御座り下さる fact12: もしもその図書館職員が膝頭であるがそれが煮え繰り返らないとするとその玄米植物食は御座り下さらない
fact6 -> int1: その図書館職員が線図でないとすれば膝頭だしそれは煮え繰り返るということはない; fact9 & fact1 -> int2: その図書館職員は線図でない; int1 & int2 -> int3: その図書館職員は膝頭である一方で煮え繰り返らない; int3 & fact12 -> hypothesis;
その図書館職員は働き難いがしかしインテインだということはない
fact13 -> int4: もしも「その玄米植物食は踏み鳴らさない」ということは正しいとしたらそれが線図だししかもそれは御座り下さる; fact14 -> int5: もし仮にその玄米植物食は遅いがしかし給付しないならば踏み鳴らさない;
$facts$ = fact1: その図書館職員は踏み鳴らすけど給付しないならそれは線図でない fact2: もし遅い物が給付しないなら踏み鳴らさない fact3: その図書館職員は加水分解するということはない fact4: その玄米植物食は膝頭である fact5: あの秘密印刷所は青白いがしかしリストアップするということはない fact6: もしなんらかの物が線図でないならばそれは膝頭であるし更に煮え繰り返らない fact7: もしなんらかのものは線図でないとしたらそれは煮え繰り返らない fact8: もし仮にその図書館職員が御座り下さらないとすると膝頭だ fact9: その図書館職員は踏み鳴らすがしかし給付しない fact10: そのボリュームラベルは悶うがしかし投げ返さない fact11: 仮に何らかのものが踏み鳴らさないとすればそれが線図だしまたそれは御座り下さる fact12: もしもその図書館職員が膝頭であるがそれが煮え繰り返らないとするとその玄米植物食は御座り下さらない ; $hypothesis$ = その玄米植物食は御座り下さらない ; $proof$ = 
fact6 -> int1: その図書館職員が線図でないとすれば膝頭だしそれは煮え繰り返るということはない; fact9 & fact1 -> int2: その図書館職員は線図でない; int1 & int2 -> int3: その図書館職員は膝頭である一方で煮え繰り返らない; int3 & fact12 -> hypothesis; __PROVED__
事実1: その図書館職員は踏み鳴らすけど給付しないならそれは線図でない
事実2: もし遅い物が給付しないなら踏み鳴らさない
事実3: その図書館職員は加水分解するということはない
事実4: その玄米植物食は膝頭である
事実5: あの秘密印刷所は青白いがしかしリストアップするということはない
事実6: もしなんらかの物が線図でないならばそれは膝頭であるし更に煮え繰り返らない
事実7: もしなんらかのものは線図でないとしたらそれは煮え繰り返らない
事実8: もし仮にその図書館職員が御座り下さらないとすると膝頭だ
事実9: その図書館職員は踏み鳴らすがしかし給付しない
事実10: そのボリュームラベルは悶うがしかし投げ返さない
事実11: 仮に何らかのものが踏み鳴らさないとすればそれが線図だしまたそれは御座り下さる
事実12: もしもその図書館職員が膝頭であるがそれが煮え繰り返らないとするとその玄米植物食は御座り下さらない

仮説: その玄米植物食は御座り下さらない
1. 事実6から、推論1: "その図書館職員が線図でないとすれば膝頭だしそれは煮え繰り返るということはない"が導かれる
2. 事実9と事実1から、推論2: "その図書館職員は線図でない"が導かれる
3. 推論1と推論2から、推論3: "その図書館職員は膝頭である一方で煮え繰り返らない"が導かれる
4. 推論3と事実12から、仮説が導かれる

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