あの状態維持は心苦しい
fact1: もし「なんらかのものが努力致すしその上継続使用である」ということは間違っているとしたら継続使用でない fact2: その机は心苦しい fact3: なにかは保元・平治でないしさらにそれが共感出来るということはないならばそれは努力致さない fact4: もしも何かは継続使用でないとしたらそれは蕪だということはない fact5: 蕪は心苦しい fact6: 何かは努力致さないとしたら「それは蕪であるしそれは継続使用である」ということは成り立つ fact7: このバースデーカードは共感出来ない fact8: 「あの状態維持は心苦しい」ということは誤りでない fact9: 「あの状態維持は勾留出来る」ということは本当である
fact8 -> hypothesis;
fact8 -> hypothesis;
あの状態維持は心苦しくない
fact11 -> int1: もし仮にこの対ＧＤＰ比率ベースは継続使用でないなら蕪でない; fact12 -> int2: 仮に「この対ＧＤＰ比率ベースは努力致すしかつ継続使用である」ということは嘘ならそれは継続使用でない; fact10 -> int3: 「共感出来ない」ものはある;
$facts$ = fact1: もし「なんらかのものが努力致すしその上継続使用である」ということは間違っているとしたら継続使用でない fact2: その机は心苦しい fact3: なにかは保元・平治でないしさらにそれが共感出来るということはないならばそれは努力致さない fact4: もしも何かは継続使用でないとしたらそれは蕪だということはない fact5: 蕪は心苦しい fact6: 何かは努力致さないとしたら「それは蕪であるしそれは継続使用である」ということは成り立つ fact7: このバースデーカードは共感出来ない fact8: 「あの状態維持は心苦しい」ということは誤りでない fact9: 「あの状態維持は勾留出来る」ということは本当である ; $hypothesis$ = あの状態維持は心苦しい ; $proof$ = 
fact8 -> hypothesis; __PROVED__
事実1: もし「なんらかのものが努力致すしその上継続使用である」ということは間違っているとしたら継続使用でない
事実2: その机は心苦しい
事実3: なにかは保元・平治でないしさらにそれが共感出来るということはないならばそれは努力致さない
事実4: もしも何かは継続使用でないとしたらそれは蕪だということはない
事実5: 蕪は心苦しい
事実6: 何かは努力致さないとしたら「それは蕪であるしそれは継続使用である」ということは成り立つ
事実7: このバースデーカードは共感出来ない
事実8: 「あの状態維持は心苦しい」ということは誤りでない
事実9: 「あの状態維持は勾留出来る」ということは本当である

仮説: あの状態維持は心苦しい
1. 事実8から、仮説が導かれる

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