あのソ連政府は時価評価額でない
fact1: もしもあのソ連政府が腹立たしいとするとそれは見出だし難い fact2: 仮に「とある物は時価評価額だし見出だし難い」ということは成り立たないとすると時価評価額でない fact3: もし仮にあのソ連政府が彼女らしくないし更にそれは達成し易くないとすると時価評価額である fact4: あのソ連政府は腹立たしい fact5: 見出だし難い物は彼女らしいということはなくて達成し易くない
fact5 -> int1: 仮にあのソ連政府が見出だし難いとするとそれは彼女らしくないしまた達成し易くない; fact4 & fact1 -> int2: あのソ連政府は見出だし難い; int1 & int2 -> int3: あのソ連政府は彼女らしくないし加えて達成し易くない; int3 & fact3 -> hypothesis;
fact5 -> int1: {A}{aa} -> (¬{AA}{aa} & ¬{AB}{aa}); fact4 & fact1 -> int2: {A}{aa}; int1 & int2 -> int3: (¬{AA}{aa} & ¬{AB}{aa}); int3 & fact3 -> hypothesis;
あのソ連政府は時価評価額だということはない
fact6 -> int4: もしも「あのソ連政府は時価評価額であるしまたそれは見出だし難い」ということは間違いであるとするとそれは時価評価額だということはない;
$facts$ = fact1: もしもあのソ連政府が腹立たしいとするとそれは見出だし難い fact2: 仮に「とある物は時価評価額だし見出だし難い」ということは成り立たないとすると時価評価額でない fact3: もし仮にあのソ連政府が彼女らしくないし更にそれは達成し易くないとすると時価評価額である fact4: あのソ連政府は腹立たしい fact5: 見出だし難い物は彼女らしいということはなくて達成し易くない ; $hypothesis$ = あのソ連政府は時価評価額でない ; $proof$ = 
fact5 -> int1: 仮にあのソ連政府が見出だし難いとするとそれは彼女らしくないしまた達成し易くない; fact4 & fact1 -> int2: あのソ連政府は見出だし難い; int1 & int2 -> int3: あのソ連政府は彼女らしくないし加えて達成し易くない; int3 & fact3 -> hypothesis; __DISPROVED__
事実1: もしもあのソ連政府が腹立たしいとするとそれは見出だし難い
事実2: 仮に「とある物は時価評価額だし見出だし難い」ということは成り立たないとすると時価評価額でない
事実3: もし仮にあのソ連政府が彼女らしくないし更にそれは達成し易くないとすると時価評価額である
事実4: あのソ連政府は腹立たしい
事実5: 見出だし難い物は彼女らしいということはなくて達成し易くない

仮説: あのソ連政府は時価評価額でない
1. 事実5から、推論1: "仮にあのソ連政府が見出だし難いとするとそれは彼女らしくないしまた達成し易くない"が導かれる
2. 事実4と事実1から、推論2: "あのソ連政府は見出だし難い"が導かれる
3. 推論1と推論2から、推論3: "あのソ連政府は彼女らしくないし加えて達成し易くない"が導かれる
4. 推論3と事実3から、仮説が否定される

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