あの管制盤は総計しない
fact1: もしあの定時制高校が溶け易くないならばあの管制盤は総計するしそれにそれは誘起する fact2: あの管制盤は総計しないがそれは誘起する fact3: このテキスタイルは総計する fact4: 全ての物は奥様方だ
fact2 -> hypothesis;
fact2 -> hypothesis;
あの管制盤は総計する
fact5 -> int1: この京都九Ｒは奥様方である;
$facts$ = fact1: もしあの定時制高校が溶け易くないならばあの管制盤は総計するしそれにそれは誘起する fact2: あの管制盤は総計しないがそれは誘起する fact3: このテキスタイルは総計する fact4: 全ての物は奥様方だ ; $hypothesis$ = あの管制盤は総計しない ; $proof$ = 
fact2 -> hypothesis; __PROVED__
事実1: もしあの定時制高校が溶け易くないならばあの管制盤は総計するしそれにそれは誘起する
事実2: あの管制盤は総計しないがそれは誘起する
事実3: このテキスタイルは総計する
事実4: 全ての物は奥様方だ

仮説: あの管制盤は総計しない
1. 事実2から、仮説が導かれる

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