「その合財は薄明るくてまたそれはプランする」ということは誤りである
fact1: 「この減損会計意見書は想定し難いけれど凋落しない」ということは成り立たない fact2: その合財はプランする fact3: もしも「あのメンバーは広告収入でプランする」ということは誤っているならこの独りぼっちはプランするということはない fact4: そのはにかみはプランする fact5: もしその出席簿は凋落しないとすれば「想定し難くないがしかし肩代わりする」ということは間違っている fact6: 「とあるものは想定し難くないがしかし肩代わりする」ということは真実でないとしたらそれは薄明るくない fact7: その合財は広告収入である fact8: もし「その出席簿は凋落するし物悲しい」ということは間違いであるとしたらそれは凋落しない fact9: もしもその合財が広告収入だとするとそれは薄明るい
fact9 & fact7 -> int1: その合財は薄明るい; int1 & fact2 -> hypothesis;
その出席簿はプランする
fact10 -> int2: もしも「その出席簿は想定し難くないけど肩代わりする」ということは事実と異なるならそれは薄明るいということはない;
$facts$ = fact1: 「この減損会計意見書は想定し難いけれど凋落しない」ということは成り立たない fact2: その合財はプランする fact3: もしも「あのメンバーは広告収入でプランする」ということは誤っているならこの独りぼっちはプランするということはない fact4: そのはにかみはプランする fact5: もしその出席簿は凋落しないとすれば「想定し難くないがしかし肩代わりする」ということは間違っている fact6: 「とあるものは想定し難くないがしかし肩代わりする」ということは真実でないとしたらそれは薄明るくない fact7: その合財は広告収入である fact8: もし「その出席簿は凋落するし物悲しい」ということは間違いであるとしたらそれは凋落しない fact9: もしもその合財が広告収入だとするとそれは薄明るい ; $hypothesis$ = 「その合財は薄明るくてまたそれはプランする」ということは誤りである ; $proof$ = 
fact9 & fact7 -> int1: その合財は薄明るい; int1 & fact2 -> hypothesis; __DISPROVED__
事実1: 「この減損会計意見書は想定し難いけれど凋落しない」ということは成り立たない
事実2: その合財はプランする
事実3: もしも「あのメンバーは広告収入でプランする」ということは誤っているならこの独りぼっちはプランするということはない
事実4: そのはにかみはプランする
事実5: もしその出席簿は凋落しないとすれば「想定し難くないがしかし肩代わりする」ということは間違っている
事実6: 「とあるものは想定し難くないがしかし肩代わりする」ということは真実でないとしたらそれは薄明るくない
事実7: その合財は広告収入である
事実8: もし「その出席簿は凋落するし物悲しい」ということは間違いであるとしたらそれは凋落しない
事実9: もしもその合財が広告収入だとするとそれは薄明るい

仮説: 「その合財は薄明るくてまたそれはプランする」ということは誤りである
1. 事実9と事実7から、推論1: "その合財は薄明るい"が導かれる
2. 推論1と事実2から、仮説が否定される

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