この詩人は増刷する
fact1: 仮にその貨物量がＰＣ達でない一方でそれが人恋しいとすればこの太極符印は対処行動でない fact2: もしこの太極符印が対処行動でないならばこの詩人は使用し難い fact3: この詩人が増刷しないとするとその貨物量は使用し難くてそれは人恋しい fact4: その貨物量はＰＣ達でない一方で人恋しい fact5: この太極符印が対処行動でないならばこの詩人は増刷するし使用し難い fact6: 仮に使用し難いものは対処行動であるということはないとするとそれは増刷しない
fact1 & fact4 -> int1: この太極符印は対処行動でない; int1 & fact5 -> int2: この詩人は増刷するしそれは使用し難い; int2 -> hypothesis;
この詩人は増刷しない
fact7 -> int3: この詩人が使用し難いけどそれは対処行動でないとしたら増刷しない;
$facts$ = fact1: 仮にその貨物量がＰＣ達でない一方でそれが人恋しいとすればこの太極符印は対処行動でない fact2: もしこの太極符印が対処行動でないならばこの詩人は使用し難い fact3: この詩人が増刷しないとするとその貨物量は使用し難くてそれは人恋しい fact4: その貨物量はＰＣ達でない一方で人恋しい fact5: この太極符印が対処行動でないならばこの詩人は増刷するし使用し難い fact6: 仮に使用し難いものは対処行動であるということはないとするとそれは増刷しない ; $hypothesis$ = この詩人は増刷する ; $proof$ = 
fact1 & fact4 -> int1: この太極符印は対処行動でない; int1 & fact5 -> int2: この詩人は増刷するしそれは使用し難い; int2 -> hypothesis; __PROVED__
事実1: 仮にその貨物量がＰＣ達でない一方でそれが人恋しいとすればこの太極符印は対処行動でない
事実2: もしこの太極符印が対処行動でないならばこの詩人は使用し難い
事実3: この詩人が増刷しないとするとその貨物量は使用し難くてそれは人恋しい
事実4: その貨物量はＰＣ達でない一方で人恋しい
事実5: この太極符印が対処行動でないならばこの詩人は増刷するし使用し難い
事実6: 仮に使用し難いものは対処行動であるということはないとするとそれは増刷しない

仮説: この詩人は増刷する
1. 事実1と事実4から、推論1: "この太極符印は対処行動でない"が導かれる
2. 推論1と事実5から、推論2: "この詩人は増刷するしそれは使用し難い"が導かれる
3. 推論2から、仮説が導かれる

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