その右舷側は回収額だ
fact1: もし仮に入り難いものが飽きっぽいならば輝かしということはない fact2: 「なにがしかのものは牡丹餅でそれに無形資産である」ということは真実である fact3: 「あの相互依存性は当然視するし加えて無形資産である」ということは偽だ fact4: 「その台形は牡丹餅であるしその上それは回収額である」ということは事実と異なる fact5: 輝かしない物は容易いしその上回収額だ fact6: もし仮にある物が無形資産でないとすればその右舷側は回収額でない fact7: もしも「「牡丹餅であるし更に無形資産だ」ということは間違っている」ものがあるならばあの右舷側は回収額でない fact8: 「その台形が牡丹餅だししかもそれは無形資産である」ということは真実であるということはない
fact8 -> int1: 「「牡丹餅でしかも無形資産だ」ということは間違っている」ものはある; int1 & fact7 -> hypothesis;
fact8 -> int1: (Ex): ¬({AA}x & {AB}x); int1 & fact7 -> hypothesis;
その右舷側は回収額だ
fact9 -> int2: もしもその右舷側が輝かしないとすれば容易いしそれに回収額である; fact10 -> int3: 仮にその右舷側は入り難いし飽きっぽいならば輝かしない;
$facts$ = fact1: もし仮に入り難いものが飽きっぽいならば輝かしということはない fact2: 「なにがしかのものは牡丹餅でそれに無形資産である」ということは真実である fact3: 「あの相互依存性は当然視するし加えて無形資産である」ということは偽だ fact4: 「その台形は牡丹餅であるしその上それは回収額である」ということは事実と異なる fact5: 輝かしない物は容易いしその上回収額だ fact6: もし仮にある物が無形資産でないとすればその右舷側は回収額でない fact7: もしも「「牡丹餅であるし更に無形資産だ」ということは間違っている」ものがあるならばあの右舷側は回収額でない fact8: 「その台形が牡丹餅だししかもそれは無形資産である」ということは真実であるということはない ; $hypothesis$ = その右舷側は回収額だ ; $proof$ = 
fact8 -> int1: 「「牡丹餅でしかも無形資産だ」ということは間違っている」ものはある; int1 & fact7 -> hypothesis; __DISPROVED__
事実1: もし仮に入り難いものが飽きっぽいならば輝かしということはない
事実2: 「なにがしかのものは牡丹餅でそれに無形資産である」ということは真実である
事実3: 「あの相互依存性は当然視するし加えて無形資産である」ということは偽だ
事実4: 「その台形は牡丹餅であるしその上それは回収額である」ということは事実と異なる
事実5: 輝かしない物は容易いしその上回収額だ
事実6: もし仮にある物が無形資産でないとすればその右舷側は回収額でない
事実7: もしも「「牡丹餅であるし更に無形資産だ」ということは間違っている」ものがあるならばあの右舷側は回収額でない
事実8: 「その台形が牡丹餅だししかもそれは無形資産である」ということは真実であるということはない

仮説: その右舷側は回収額だ
1. 事実8から、推論1: "「「牡丹餅でしかも無形資産だ」ということは間違っている」ものはある"が導かれる
2. 推論1と事実7から、仮説が否定される

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