なんらかのものは賢であるしかつ怒鳴り捲る
fact1: この経路発見補助が期待し得るとするとあのフェニックスは改悛である fact2: その純粋性は冷凍しないとすれば「そのワイヤレスは西方要訣釈疑通規だし図り難い」ということは本当でない fact3: 「あのフェニックスは怒鳴り捲る」ということは成り立つ fact4: あのフェニックスは賢である fact5: 「怒鳴り捲る」ものはある fact6: その純粋性は冷凍しない fact7: もしもあるものが着熟すなら消去出来る fact8: 仮にあのフェニックスは改悛であるとすれば得難しということはない fact9: とあるものは賢である fact10: この経路発見補助は改悛であるか期待し得るかあるいはどちらもである fact11: 「この人っ子は怒鳴り捲る」ということは成り立つ fact12: もしなにがしかの物は腹満でないとしたらそれは怒鳴り捲るし賢だ fact13: この経路発見補助が改悛だとすればあのフェニックスは改悛だ
fact4 & fact3 -> int1: あのフェニックスは賢であるしかつ怒鳴り捲る; int1 -> hypothesis;
fact4 & fact3 -> int1: ({A}{a} & {B}{a}); int1 -> hypothesis;
その立身出世主義は怒鳴り捲るしまた消去出来る
fact17 -> int2: その立身出世主義が腹満でないとすればそれは怒鳴り捲るし賢だ; fact18 & fact16 -> int3: 「そのワイヤレスは西方要訣釈疑通規で図り難い」ということは成り立たない; int3 -> int4: 「「西方要訣釈疑通規であるし図り難い」ということは間違っている」ものはある; fact19 -> int5: その立身出世主義が着熟すとすればそれは消去出来る; fact20 & fact14 & fact21 -> int6: あのフェニックスは改悛である; fact15 & int6 -> int7: あのフェニックスは得難しない; int7 -> int8: 「「得難しということはない」ということは正しい」ものはある;
$facts$ = fact1: この経路発見補助が期待し得るとするとあのフェニックスは改悛である fact2: その純粋性は冷凍しないとすれば「そのワイヤレスは西方要訣釈疑通規だし図り難い」ということは本当でない fact3: 「あのフェニックスは怒鳴り捲る」ということは成り立つ fact4: あのフェニックスは賢である fact5: 「怒鳴り捲る」ものはある fact6: その純粋性は冷凍しない fact7: もしもあるものが着熟すなら消去出来る fact8: 仮にあのフェニックスは改悛であるとすれば得難しということはない fact9: とあるものは賢である fact10: この経路発見補助は改悛であるか期待し得るかあるいはどちらもである fact11: 「この人っ子は怒鳴り捲る」ということは成り立つ fact12: もしなにがしかの物は腹満でないとしたらそれは怒鳴り捲るし賢だ fact13: この経路発見補助が改悛だとすればあのフェニックスは改悛だ ; $hypothesis$ = なんらかのものは賢であるしかつ怒鳴り捲る ; $proof$ = 
fact4 & fact3 -> int1: あのフェニックスは賢であるしかつ怒鳴り捲る; int1 -> hypothesis; __PROVED__
事実1: この経路発見補助が期待し得るとするとあのフェニックスは改悛である
事実2: その純粋性は冷凍しないとすれば「そのワイヤレスは西方要訣釈疑通規だし図り難い」ということは本当でない
事実3: 「あのフェニックスは怒鳴り捲る」ということは成り立つ
事実4: あのフェニックスは賢である
事実5: 「怒鳴り捲る」ものはある
事実6: その純粋性は冷凍しない
事実7: もしもあるものが着熟すなら消去出来る
事実8: 仮にあのフェニックスは改悛であるとすれば得難しということはない
事実9: とあるものは賢である
事実10: この経路発見補助は改悛であるか期待し得るかあるいはどちらもである
事実11: 「この人っ子は怒鳴り捲る」ということは成り立つ
事実12: もしなにがしかの物は腹満でないとしたらそれは怒鳴り捲るし賢だ
事実13: この経路発見補助が改悛だとすればあのフェニックスは改悛だ

仮説: なんらかのものは賢であるしかつ怒鳴り捲る
1. 事実4と事実3から、推論1: "あのフェニックスは賢であるしかつ怒鳴り捲る"が導かれる
2. 推論1から、仮説が導かれる

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