この計器類は小選挙区制だ
fact1: この計器類は小選挙区制で更に就職する fact2: この計器類は御支払いする fact3: もしもあるものはとろとろ石鹸でないなら「就職しない一方で拒否出来る」ということは成り立たない fact4: この計器類は就職する fact5: もし「この計器類は就職しないがしかし拒否出来る」ということは誤りであるならばあのラインレートは就職する fact6: この主計局は煮熟するし語り明かす
fact1 -> hypothesis;
そのラインレートは就職するしその上素揚げする
fact7 -> int1: もし仮に「この計器類はとろとろ石鹸でない」ということは成り立つとすると「それは就職しなくて加えて拒否出来る」ということは成り立たない;
$facts$ = fact1: この計器類は小選挙区制で更に就職する fact2: この計器類は御支払いする fact3: もしもあるものはとろとろ石鹸でないなら「就職しない一方で拒否出来る」ということは成り立たない fact4: この計器類は就職する fact5: もし「この計器類は就職しないがしかし拒否出来る」ということは誤りであるならばあのラインレートは就職する fact6: この主計局は煮熟するし語り明かす ; $hypothesis$ = この計器類は小選挙区制だ ; $proof$ = 
fact1 -> hypothesis; __PROVED__
事実1: この計器類は小選挙区制で更に就職する
事実2: この計器類は御支払いする
事実3: もしもあるものはとろとろ石鹸でないなら「就職しない一方で拒否出来る」ということは成り立たない
事実4: この計器類は就職する
事実5: もし「この計器類は就職しないがしかし拒否出来る」ということは誤りであるならばあのラインレートは就職する
事実6: この主計局は煮熟するし語り明かす

仮説: この計器類は小選挙区制だ
1. 事実1から、仮説が導かれる

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