その一階条件は引き付ける
fact1: 成され易くないものが生き難いとすれば引き付ける fact2: その破産は成され易い fact3: 仮にその一階条件が割譲しないなら欲しさでそれに慰霊碑だ fact4: その破産は欧文フォントである fact5: その破産が成され易いしまた生き難いとしたらその一階条件は引き付けない fact6: 「欲しさは成され易いということはないけど生き難い」ということは事実である fact7: その一階条件は涙脆いしその上生き難い fact8: そのジカルコゲニドは開業であるしまた成され易い fact9: その破産は生き難い fact10: 「欲しさは引き付ける」ということは事実だ fact11: もしその一階条件が生き難くてさらに成され易いとしたらその破産は引き付けるということはない
fact2 & fact9 -> int1: その破産は成され易いし生き難い; int1 & fact5 -> hypothesis;
fact2 & fact9 -> int1: ({A}{a} & {B}{a}); int1 & fact5 -> hypothesis;
その一階条件は生き難い
fact12 -> int2: もし仮にその破産は欲しさだとすると「引き付ける」ということは成り立つ;
$facts$ = fact1: 成され易くないものが生き難いとすれば引き付ける fact2: その破産は成され易い fact3: 仮にその一階条件が割譲しないなら欲しさでそれに慰霊碑だ fact4: その破産は欧文フォントである fact5: その破産が成され易いしまた生き難いとしたらその一階条件は引き付けない fact6: 「欲しさは成され易いということはないけど生き難い」ということは事実である fact7: その一階条件は涙脆いしその上生き難い fact8: そのジカルコゲニドは開業であるしまた成され易い fact9: その破産は生き難い fact10: 「欲しさは引き付ける」ということは事実だ fact11: もしその一階条件が生き難くてさらに成され易いとしたらその破産は引き付けるということはない ; $hypothesis$ = その一階条件は引き付ける ; $proof$ = 
fact2 & fact9 -> int1: その破産は成され易いし生き難い; int1 & fact5 -> hypothesis; __DISPROVED__
事実1: 成され易くないものが生き難いとすれば引き付ける
事実2: その破産は成され易い
事実3: 仮にその一階条件が割譲しないなら欲しさでそれに慰霊碑だ
事実4: その破産は欧文フォントである
事実5: その破産が成され易いしまた生き難いとしたらその一階条件は引き付けない
事実6: 「欲しさは成され易いということはないけど生き難い」ということは事実である
事実7: その一階条件は涙脆いしその上生き難い
事実8: そのジカルコゲニドは開業であるしまた成され易い
事実9: その破産は生き難い
事実10: 「欲しさは引き付ける」ということは事実だ
事実11: もしその一階条件が生き難くてさらに成され易いとしたらその破産は引き付けるということはない

仮説: その一階条件は引き付ける
1. 事実2と事実9から、推論1: "その破産は成され易いし生き難い"が導かれる
2. 推論1と事実5から、仮説が否定される

よって、仮説が否定されました。