この一声はプリントである
fact1: 押し付けがましい物はプリントだ fact2: もし仮にこの業績評価指標が豚糞ならばこの一声は押し付けがましい fact3: もし仮に「この一声は習わしだけれど押し付けがましいということはない」ということは成り立たないならばこの業績評価指標は豚糞だ fact4: もし仮にこの業績評価指標は嘆き悲しまないとすると「「梗塞巣でないしそれは朝っぱらでない」ということは間違いでない」ということは成り立たない fact5: もし仮に「何らかの物は誤解し易いしその上嘆き悲しむ」ということは間違っているとしたら嘆き悲しまない fact6: 「この業績評価指標は習わしであるし更に豚糞である」ということは成り立たない fact7: 誤解し易いしおまけに嘆き悲しむという物はない fact8: その産毛は習わしである fact9: 仮に「「この業績評価指標は習わしだがしかしそれは豚糞でない」ということは事実だ」ということは間違いだとすればこの一声は押し付けがましい fact10: 朝っぱらが総勢でないかまたは押し付けはましくらないかあるいはどちらもだ fact11: 「この業績評価指標は習わしであるけれどそれは豚糞であるということはない」ということは正しくない fact12: 仮にあるものは豚糞だとしたら「それは押し付けがましい」ということは真実だ fact13: 仮に「何らかの物は総勢でないか押し付けがましいということはないかまたは両方ともだ」ということは誤りでないとするとプリントでない
fact9 & fact11 -> int1: この一声は押し付けがましい; fact1 -> int2: もしもこの一声が押し付けがましいならそれはプリントだ; int1 & int2 -> hypothesis;
この一声はプリントでない
fact14 -> int3: この一声が総勢でないかもしくは押し付けはましくらないかまたは両方ともならばプリントでない; fact17 -> int4: もし「この一声は朝っぱらだ」ということは成り立つとするとそれが総勢であるということはないかまたは押し付けはましくらないかもしくは両方である; fact16 -> int5: もし仮に「この業績評価指標は誤解し易くておまけに嘆き悲しむ」ということは誤りであるなら嘆き悲しまない; fact15 -> int6: 「この業績評価指標は誤解し易いし加えて嘆き悲しむ」ということは嘘だ; int5 & int6 -> int7: この業績評価指標は嘆き悲しまない; fact18 & int7 -> int8: 「この業績評価指標は梗塞巣でなくて朝っぱらでない」ということは嘘だ; int8 -> int9: 「「梗塞巣だということはなくてまた朝っぱらでない」ということは成り立つということはない」物はある;
$facts$ = fact1: 押し付けがましい物はプリントだ fact2: もし仮にこの業績評価指標が豚糞ならばこの一声は押し付けがましい fact3: もし仮に「この一声は習わしだけれど押し付けがましいということはない」ということは成り立たないならばこの業績評価指標は豚糞だ fact4: もし仮にこの業績評価指標は嘆き悲しまないとすると「「梗塞巣でないしそれは朝っぱらでない」ということは間違いでない」ということは成り立たない fact5: もし仮に「何らかの物は誤解し易いしその上嘆き悲しむ」ということは間違っているとしたら嘆き悲しまない fact6: 「この業績評価指標は習わしであるし更に豚糞である」ということは成り立たない fact7: 誤解し易いしおまけに嘆き悲しむという物はない fact8: その産毛は習わしである fact9: 仮に「「この業績評価指標は習わしだがしかしそれは豚糞でない」ということは事実だ」ということは間違いだとすればこの一声は押し付けがましい fact10: 朝っぱらが総勢でないかまたは押し付けはましくらないかあるいはどちらもだ fact11: 「この業績評価指標は習わしであるけれどそれは豚糞であるということはない」ということは正しくない fact12: 仮にあるものは豚糞だとしたら「それは押し付けがましい」ということは真実だ fact13: 仮に「何らかの物は総勢でないか押し付けがましいということはないかまたは両方ともだ」ということは誤りでないとするとプリントでない ; $hypothesis$ = この一声はプリントである ; $proof$ = 
fact9 & fact11 -> int1: この一声は押し付けがましい; fact1 -> int2: もしもこの一声が押し付けがましいならそれはプリントだ; int1 & int2 -> hypothesis; __PROVED__
事実1: 押し付けがましい物はプリントだ
事実2: もし仮にこの業績評価指標が豚糞ならばこの一声は押し付けがましい
事実3: もし仮に「この一声は習わしだけれど押し付けがましいということはない」ということは成り立たないならばこの業績評価指標は豚糞だ
事実4: もし仮にこの業績評価指標は嘆き悲しまないとすると「「梗塞巣でないしそれは朝っぱらでない」ということは間違いでない」ということは成り立たない
事実5: もし仮に「何らかの物は誤解し易いしその上嘆き悲しむ」ということは間違っているとしたら嘆き悲しまない
事実6: 「この業績評価指標は習わしであるし更に豚糞である」ということは成り立たない
事実7: 誤解し易いしおまけに嘆き悲しむという物はない
事実8: その産毛は習わしである
事実9: 仮に「「この業績評価指標は習わしだがしかしそれは豚糞でない」ということは事実だ」ということは間違いだとすればこの一声は押し付けがましい
事実10: 朝っぱらが総勢でないかまたは押し付けはましくらないかあるいはどちらもだ
事実11: 「この業績評価指標は習わしであるけれどそれは豚糞であるということはない」ということは正しくない
事実12: 仮にあるものは豚糞だとしたら「それは押し付けがましい」ということは真実だ
事実13: 仮に「何らかの物は総勢でないか押し付けがましいということはないかまたは両方ともだ」ということは誤りでないとするとプリントでない

仮説: この一声はプリントである
1. 事実9と事実11から、推論1: "この一声は押し付けがましい"が導かれる
2. 事実1から、推論2: "もしもこの一声が押し付けがましいならそれはプリントだ"が導かれる
3. 推論1と推論2から、仮説が導かれる

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