あの御弟子さん達は成育するということはない
fact1: 何らかのものは正当化しない fact2: もしも何らかのものが正当化するしかつ吹っ掛けるならあの御弟子さん達は成育しない fact3: もし「なにがしかの物は暗くないし加えてそれは乙女座でない」ということは嘘なら「乙女座である」ということは成り立つ fact4: その強硬路線は新詩であるししかもそれは暗い fact5: あの御弟子さん達は新詩だ fact6: その強硬路線は吹っ掛けるし更に可笑しい fact7: もしもその強硬路線が暗いとするとそれは正当化する
fact4 -> int1: その強硬路線は暗い; int1 & fact7 -> int2: その強硬路線は正当化する; fact6 -> int3: その強硬路線は吹っ掛ける; int2 & int3 -> int4: その強硬路線は正当化するしまた吹っ掛ける; int4 -> int5: なんらかのものは正当化するしその上吹っ掛ける; int5 & fact2 -> hypothesis;
なんらかの物は乙女座であるしおまけに性能面である
fact8 -> int6: 仮に「その強硬路線は暗くないし乙女座でない」ということは間違っているとすればそれは乙女座だ;
$facts$ = fact1: 何らかのものは正当化しない fact2: もしも何らかのものが正当化するしかつ吹っ掛けるならあの御弟子さん達は成育しない fact3: もし「なにがしかの物は暗くないし加えてそれは乙女座でない」ということは嘘なら「乙女座である」ということは成り立つ fact4: その強硬路線は新詩であるししかもそれは暗い fact5: あの御弟子さん達は新詩だ fact6: その強硬路線は吹っ掛けるし更に可笑しい fact7: もしもその強硬路線が暗いとするとそれは正当化する ; $hypothesis$ = あの御弟子さん達は成育するということはない ; $proof$ = 
fact4 -> int1: その強硬路線は暗い; int1 & fact7 -> int2: その強硬路線は正当化する; fact6 -> int3: その強硬路線は吹っ掛ける; int2 & int3 -> int4: その強硬路線は正当化するしまた吹っ掛ける; int4 -> int5: なんらかのものは正当化するしその上吹っ掛ける; int5 & fact2 -> hypothesis; __PROVED__
事実1: 何らかのものは正当化しない
事実2: もしも何らかのものが正当化するしかつ吹っ掛けるならあの御弟子さん達は成育しない
事実3: もし「なにがしかの物は暗くないし加えてそれは乙女座でない」ということは嘘なら「乙女座である」ということは成り立つ
事実4: その強硬路線は新詩であるししかもそれは暗い
事実5: あの御弟子さん達は新詩だ
事実6: その強硬路線は吹っ掛けるし更に可笑しい
事実7: もしもその強硬路線が暗いとするとそれは正当化する

仮説: あの御弟子さん達は成育するということはない
1. 事実4から、推論1: "その強硬路線は暗い"が導かれる
2. 推論1と事実7から、推論2: "その強硬路線は正当化する"が導かれる
3. 事実6から、推論3: "その強硬路線は吹っ掛ける"が導かれる
4. 推論2と推論3から、推論4: "その強硬路線は正当化するしまた吹っ掛ける"が導かれる
5. 推論4から、推論5: "なんらかのものは正当化するしその上吹っ掛ける"が導かれる
6. 推論5と事実2から、仮説が導かれる

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