その君主達は選択され易い
fact1: その評価基準は打ち上がり易いけどそれは愛しない fact2: もし仮にあるものが出仕するということはないなら下睫毛であるということはなくてかつ扱い難い fact3: もし仮にその評価基準が扱い難いとするとその君主達は選択され易い fact4: 「その評価基準は打ち上がり易い」ということは真実である fact5: もしその君主達が愛しとすればその評価基準は選択され易い fact6: 仮にその評価基準は選択され易いが愛しないとすれば扱い難い fact7: もしあるものが扱い難くないならそれは選択され易くない fact8: もしもその評価基準は下睫毛でない一方で扱い難いなら「その君主達は扱い難くない」ということは事実だ fact9: もし仮に「この本棚は結露でないしまた出仕しない」ということは成り立つということはないなら「その評価基準は出仕しない」ということは誤りでない fact10: 「その君主達は扱い難い」ということは事実である fact11: 「その評価基準は香しい」ということは成り立つ fact12: もしもその評価基準は打ち上がり易いがしかし愛しないとすると扱い難い
fact12 & fact1 -> int1: その評価基準は扱い難い; int1 & fact3 -> hypothesis;
その君主達は選択され易くない
fact14 -> int2: その君主達が扱い難くないなら選択され易くない; fact16 -> int3: その評価基準が出仕しないとしたら下睫毛であるということはないけど扱い難い;
$facts$ = fact1: その評価基準は打ち上がり易いけどそれは愛しない fact2: もし仮にあるものが出仕するということはないなら下睫毛であるということはなくてかつ扱い難い fact3: もし仮にその評価基準が扱い難いとするとその君主達は選択され易い fact4: 「その評価基準は打ち上がり易い」ということは真実である fact5: もしその君主達が愛しとすればその評価基準は選択され易い fact6: 仮にその評価基準は選択され易いが愛しないとすれば扱い難い fact7: もしあるものが扱い難くないならそれは選択され易くない fact8: もしもその評価基準は下睫毛でない一方で扱い難いなら「その君主達は扱い難くない」ということは事実だ fact9: もし仮に「この本棚は結露でないしまた出仕しない」ということは成り立つということはないなら「その評価基準は出仕しない」ということは誤りでない fact10: 「その君主達は扱い難い」ということは事実である fact11: 「その評価基準は香しい」ということは成り立つ fact12: もしもその評価基準は打ち上がり易いがしかし愛しないとすると扱い難い ; $hypothesis$ = その君主達は選択され易い ; $proof$ = 
fact12 & fact1 -> int1: その評価基準は扱い難い; int1 & fact3 -> hypothesis; __PROVED__
事実1: その評価基準は打ち上がり易いけどそれは愛しない
事実2: もし仮にあるものが出仕するということはないなら下睫毛であるということはなくてかつ扱い難い
事実3: もし仮にその評価基準が扱い難いとするとその君主達は選択され易い
事実4: 「その評価基準は打ち上がり易い」ということは真実である
事実5: もしその君主達が愛しとすればその評価基準は選択され易い
事実6: 仮にその評価基準は選択され易いが愛しないとすれば扱い難い
事実7: もしあるものが扱い難くないならそれは選択され易くない
事実8: もしもその評価基準は下睫毛でない一方で扱い難いなら「その君主達は扱い難くない」ということは事実だ
事実9: もし仮に「この本棚は結露でないしまた出仕しない」ということは成り立つということはないなら「その評価基準は出仕しない」ということは誤りでない
事実10: 「その君主達は扱い難い」ということは事実である
事実11: 「その評価基準は香しい」ということは成り立つ
事実12: もしもその評価基準は打ち上がり易いがしかし愛しないとすると扱い難い

仮説: その君主達は選択され易い
1. 事実12と事実1から、推論1: "その評価基準は扱い難い"が導かれる
2. 推論1と事実3から、仮説が導かれる

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