その主席は相携える
fact1: あるものは全体論でないならそれは相携えない fact2: 「この萩は四角くないけれど御安い」ということは成り立たない fact3: もし「この萩は四角くないが御安い」ということは成り立たないとしたらその主席は相携える fact4: なんらかのものは溢るしさらに吹かすとすればそれは全体論でない
fact3 & fact2 -> hypothesis;
fact3 & fact2 -> hypothesis;
その主席は相携えない
fact6 -> int1: もしもその主席は全体論でないならば相携えるということはない; fact5 -> int2: もし仮にその主席は溢るし吹かすとすれば全体論でない;
$facts$ = fact1: あるものは全体論でないならそれは相携えない fact2: 「この萩は四角くないけれど御安い」ということは成り立たない fact3: もし「この萩は四角くないが御安い」ということは成り立たないとしたらその主席は相携える fact4: なんらかのものは溢るしさらに吹かすとすればそれは全体論でない ; $hypothesis$ = その主席は相携える ; $proof$ = 
fact3 & fact2 -> hypothesis; __PROVED__
事実1: あるものは全体論でないならそれは相携えない
事実2: 「この萩は四角くないけれど御安い」ということは成り立たない
事実3: もし「この萩は四角くないが御安い」ということは成り立たないとしたらその主席は相携える
事実4: なんらかのものは溢るしさらに吹かすとすればそれは全体論でない

仮説: その主席は相携える
1. 事実3と事実2から、仮説が導かれる

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