この図書館管理はしんどい
fact1: 弛み無いものはおっかない fact2: 出でるけどにこにこしないというものはない fact3: もしあの口説き文句が守り易いならばそのカラーホイールは弛み無い fact4: もしもその商業映画デビューが守り易いならばあの口説き文句は祭司長達だ fact5: 「その商業映画デビューは戻し入れしないかもしくは祭司長達であるか両方ともである」ということは偽だ fact6: もしも「「戻し入れするかもしくは祭司長達であるかもしくは両方である」ということは事実と異なる」物があるとすればあの口説き文句は守り易い fact7: 「戻し入れする」ものはある fact8: 「戻し入れしないか祭司長達であるかあるいはどちらもである」ものはある fact9: もしあの口説き文句が弛み無いとしたらこの図書館管理は弛み無い fact10: もし「そのカラーホイールは出でるけどにこにこするということはない」ということは成り立たないとすればそれは小気味良くない fact11: この図書館管理は祭司長達だ fact12: 何らかの物は小気味良くないとすると「快くて待ち遠しい」ということは事実と異なる fact13: もし守り易いものは弛み無いとすれば「しんどい」ということは事実と異なる fact14: 仮にこの図書館管理がおっかないなら守り易い fact15: その商業映画デビューは戻し入れする fact16: 仮に「「戻し入れしないかあるいは祭司長達であるか両方ともである」ということは偽である」ものがあるとするとあの口説き文句は守り易い fact17: この図書館管理は百年以上前でないがおっかない fact18: もし仮にそのカラーホイールがおっかないとしたらこの図書館管理はしんどい
fact5 -> int1: 「「戻し入れしないか祭司長達であるか両方ともだ」ということは成り立たない」ものはある; int1 & fact16 -> int2: あの口説き文句は守り易い; int2 & fact3 -> int3: そのカラーホイールは弛み無い; fact1 -> int4: そのカラーホイールが弛み無いならそれはおっかない; int3 & int4 -> int5: そのカラーホイールはおっかない; int5 & fact18 -> hypothesis;
この図書館管理はしんどかない
fact22 -> int6: もし仮にこの図書館管理は守り易いしそれに弛み無いとすればそれはしんどかない; fact19 -> int7: 「この図書館管理はおっかない」ということは真実である; fact20 & int7 -> int8: この図書館管理は守り易い; fact25 -> int9: もしそのカラーホイールは小気味良くないとしたら「快いしその上待ち遠しい」ということは嘘である; fact24 -> int10: 「そのカラーホイールは出でるがそれはにこにこするということはない」ということは事実と異なる; fact21 & int10 -> int11: そのカラーホイールは小気味良くない; int9 & int11 -> int12: 「そのカラーホイールは快いしかつ待ち遠しい」ということは誤っている; int12 -> int13: 「「「快くて待ち遠しい」ということは本当である」ということは間違いである」ものはある;
$facts$ = fact1: 弛み無いものはおっかない fact2: 出でるけどにこにこしないというものはない fact3: もしあの口説き文句が守り易いならばそのカラーホイールは弛み無い fact4: もしもその商業映画デビューが守り易いならばあの口説き文句は祭司長達だ fact5: 「その商業映画デビューは戻し入れしないかもしくは祭司長達であるか両方ともである」ということは偽だ fact6: もしも「「戻し入れするかもしくは祭司長達であるかもしくは両方である」ということは事実と異なる」物があるとすればあの口説き文句は守り易い fact7: 「戻し入れする」ものはある fact8: 「戻し入れしないか祭司長達であるかあるいはどちらもである」ものはある fact9: もしあの口説き文句が弛み無いとしたらこの図書館管理は弛み無い fact10: もし「そのカラーホイールは出でるけどにこにこするということはない」ということは成り立たないとすればそれは小気味良くない fact11: この図書館管理は祭司長達だ fact12: 何らかの物は小気味良くないとすると「快くて待ち遠しい」ということは事実と異なる fact13: もし守り易いものは弛み無いとすれば「しんどい」ということは事実と異なる fact14: 仮にこの図書館管理がおっかないなら守り易い fact15: その商業映画デビューは戻し入れする fact16: 仮に「「戻し入れしないかあるいは祭司長達であるか両方ともである」ということは偽である」ものがあるとするとあの口説き文句は守り易い fact17: この図書館管理は百年以上前でないがおっかない fact18: もし仮にそのカラーホイールがおっかないとしたらこの図書館管理はしんどい ; $hypothesis$ = この図書館管理はしんどい ; $proof$ = 
fact5 -> int1: 「「戻し入れしないか祭司長達であるか両方ともだ」ということは成り立たない」ものはある; int1 & fact16 -> int2: あの口説き文句は守り易い; int2 & fact3 -> int3: そのカラーホイールは弛み無い; fact1 -> int4: そのカラーホイールが弛み無いならそれはおっかない; int3 & int4 -> int5: そのカラーホイールはおっかない; int5 & fact18 -> hypothesis; __PROVED__
事実1: 弛み無いものはおっかない
事実2: 出でるけどにこにこしないというものはない
事実3: もしあの口説き文句が守り易いならばそのカラーホイールは弛み無い
事実4: もしもその商業映画デビューが守り易いならばあの口説き文句は祭司長達だ
事実5: 「その商業映画デビューは戻し入れしないかもしくは祭司長達であるか両方ともである」ということは偽だ
事実6: もしも「「戻し入れするかもしくは祭司長達であるかもしくは両方である」ということは事実と異なる」物があるとすればあの口説き文句は守り易い
事実7: 「戻し入れする」ものはある
事実8: 「戻し入れしないか祭司長達であるかあるいはどちらもである」ものはある
事実9: もしあの口説き文句が弛み無いとしたらこの図書館管理は弛み無い
事実10: もし「そのカラーホイールは出でるけどにこにこするということはない」ということは成り立たないとすればそれは小気味良くない
事実11: この図書館管理は祭司長達だ
事実12: 何らかの物は小気味良くないとすると「快くて待ち遠しい」ということは事実と異なる
事実13: もし守り易いものは弛み無いとすれば「しんどい」ということは事実と異なる
事実14: 仮にこの図書館管理がおっかないなら守り易い
事実15: その商業映画デビューは戻し入れする
事実16: 仮に「「戻し入れしないかあるいは祭司長達であるか両方ともである」ということは偽である」ものがあるとするとあの口説き文句は守り易い
事実17: この図書館管理は百年以上前でないがおっかない
事実18: もし仮にそのカラーホイールがおっかないとしたらこの図書館管理はしんどい

仮説: この図書館管理はしんどい
1. 事実5から、推論1: "「「戻し入れしないか祭司長達であるか両方ともだ」ということは成り立たない」ものはある"が導かれる
2. 推論1と事実16から、推論2: "あの口説き文句は守り易い"が導かれる
3. 推論2と事実3から、推論3: "そのカラーホイールは弛み無い"が導かれる
4. 事実1から、推論4: "そのカラーホイールが弛み無いならそれはおっかない"が導かれる
5. 推論3と推論4から、推論5: "そのカラーホイールはおっかない"が導かれる
6. 推論5と事実18から、仮説が導かれる

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