あの休離は危ういかあるいは意味付けるかもしくは両方である
fact1: もしもあのエリアはめでたいということはないなら「あの休離は危ういかもしくはそれは意味付けるかどちらもである」ということは嘘である fact2: あの休離は意味付ける fact3: もしも何らかの物が酸っぱくないならばそれは私だしその上バックアップする fact4: もしも「このスモールステップが瑣末だけどそれは滌除でない」ということは成り立つならその宮大工は酸っぱくない fact5: その宮大工は私だとすると「この既存社会はめでたいけど差し出がましかない」ということは本当でない fact6: あの瀝青質物質は意味付ける
fact2 -> hypothesis;
fact2 -> hypothesis;
「あの休離は危ういかあるいはそれは意味付けるかもしくはどちらもである」ということは成り立たない
fact8 -> int1: 「仮にその宮大工が酸っぱくないとすればその宮大工は私であるしさらにバックアップする」ということは確かである;
$facts$ = fact1: もしもあのエリアはめでたいということはないなら「あの休離は危ういかもしくはそれは意味付けるかどちらもである」ということは嘘である fact2: あの休離は意味付ける fact3: もしも何らかの物が酸っぱくないならばそれは私だしその上バックアップする fact4: もしも「このスモールステップが瑣末だけどそれは滌除でない」ということは成り立つならその宮大工は酸っぱくない fact5: その宮大工は私だとすると「この既存社会はめでたいけど差し出がましかない」ということは本当でない fact6: あの瀝青質物質は意味付ける ; $hypothesis$ = あの休離は危ういかあるいは意味付けるかもしくは両方である ; $proof$ = 
fact2 -> hypothesis; __PROVED__
事実1: もしもあのエリアはめでたいということはないなら「あの休離は危ういかもしくはそれは意味付けるかどちらもである」ということは嘘である
事実2: あの休離は意味付ける
事実3: もしも何らかの物が酸っぱくないならばそれは私だしその上バックアップする
事実4: もしも「このスモールステップが瑣末だけどそれは滌除でない」ということは成り立つならその宮大工は酸っぱくない
事実5: その宮大工は私だとすると「この既存社会はめでたいけど差し出がましかない」ということは本当でない
事実6: あの瀝青質物質は意味付ける

仮説: あの休離は危ういかあるいは意味付けるかもしくは両方である
1. 事実2から、仮説が導かれる

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