その手背はセリエＢだということはない
fact1: この能力プロファイルは有り難くない fact2: もしもその手背は有り難いなら「罰すしおまけに煮え滾る」ということは偽である fact3: もしも「「その手背はセリエＢでないかまたは有り難いかあるいはどちらもである」ということは偽だ」ということは確かであるとしたらあの同盟諸国は有り難い fact4: もし仮にその手背が煮え滾るとするとそれはセリエＢでない fact5: もし何かは有り難いとすると「それは罰すがしかし自殺するということはない」ということは事実と異なる fact6: もしもとあるものがＡＡＡＡでないとしたらその手背はゲット出来る fact7: その手背は有り難い fact8: そのゴム紐が人攫いであるとすればあの企業調査は人攫いである fact9: もし仮にその手背は有り難いとすれば「それは罰すが煮え滾るということはない」ということは正しくない fact10: 「その手背は罰すしそれに煮え滾る」ということは成り立たない fact11: この地方公共団体相互はＡＡＡＡでない一方で緑地である fact12: 仮にあの企業調査が人攫いだとすればあの手背は大気中でない fact13: もしも何らかの物は地中深いということはないとすると「セリエＢでないかまたは有り難いかあるいはどちらもである」ということは誤っている fact14: もし何らかのものはゲット出来る一方で大気中でないならば地中深くない fact15: この地方公共団体相互が自殺しないならばあの企業調査は地中深い fact16: もし「その手背は罰すがしかし煮え滾らない」ということは成り立たないとするとセリエＢでない
fact9 & fact7 -> int1: 「その手背は罰すけど煮え滾らない」ということは誤りである; int1 & fact16 -> hypothesis;
「あの同盟諸国は罰すがしかし自殺しない」ということは間違いである
fact21 -> int2: もし仮にあの同盟諸国は有り難いとすると「罰すしそれは自殺しない」ということは成り立つということはない; fact24 -> int3: もしその手背は地中深いということはないとすると「セリエＢでないか有り難いかもしくは両方だ」ということは成り立たない; fact19 -> int4: もし仮にその手背がゲット出来るけれど大気中でないとすれば「地中深いということはない」ということは事実と異ならない; fact23 -> int5: この地方公共団体相互はＡＡＡＡでない; int5 -> int6: 「ＡＡＡＡでない」ものはある; int6 & fact18 -> int7: その手背はゲット出来る;
$facts$ = fact1: この能力プロファイルは有り難くない fact2: もしもその手背は有り難いなら「罰すしおまけに煮え滾る」ということは偽である fact3: もしも「「その手背はセリエＢでないかまたは有り難いかあるいはどちらもである」ということは偽だ」ということは確かであるとしたらあの同盟諸国は有り難い fact4: もし仮にその手背が煮え滾るとするとそれはセリエＢでない fact5: もし何かは有り難いとすると「それは罰すがしかし自殺するということはない」ということは事実と異なる fact6: もしもとあるものがＡＡＡＡでないとしたらその手背はゲット出来る fact7: その手背は有り難い fact8: そのゴム紐が人攫いであるとすればあの企業調査は人攫いである fact9: もし仮にその手背は有り難いとすれば「それは罰すが煮え滾るということはない」ということは正しくない fact10: 「その手背は罰すしそれに煮え滾る」ということは成り立たない fact11: この地方公共団体相互はＡＡＡＡでない一方で緑地である fact12: 仮にあの企業調査が人攫いだとすればあの手背は大気中でない fact13: もしも何らかの物は地中深いということはないとすると「セリエＢでないかまたは有り難いかあるいはどちらもである」ということは誤っている fact14: もし何らかのものはゲット出来る一方で大気中でないならば地中深くない fact15: この地方公共団体相互が自殺しないならばあの企業調査は地中深い fact16: もし「その手背は罰すがしかし煮え滾らない」ということは成り立たないとするとセリエＢでない ; $hypothesis$ = その手背はセリエＢだということはない ; $proof$ = 
fact9 & fact7 -> int1: 「その手背は罰すけど煮え滾らない」ということは誤りである; int1 & fact16 -> hypothesis; __PROVED__
事実1: この能力プロファイルは有り難くない
事実2: もしもその手背は有り難いなら「罰すしおまけに煮え滾る」ということは偽である
事実3: もしも「「その手背はセリエＢでないかまたは有り難いかあるいはどちらもである」ということは偽だ」ということは確かであるとしたらあの同盟諸国は有り難い
事実4: もし仮にその手背が煮え滾るとするとそれはセリエＢでない
事実5: もし何かは有り難いとすると「それは罰すがしかし自殺するということはない」ということは事実と異なる
事実6: もしもとあるものがＡＡＡＡでないとしたらその手背はゲット出来る
事実7: その手背は有り難い
事実8: そのゴム紐が人攫いであるとすればあの企業調査は人攫いである
事実9: もし仮にその手背は有り難いとすれば「それは罰すが煮え滾るということはない」ということは正しくない
事実10: 「その手背は罰すしそれに煮え滾る」ということは成り立たない
事実11: この地方公共団体相互はＡＡＡＡでない一方で緑地である
事実12: 仮にあの企業調査が人攫いだとすればあの手背は大気中でない
事実13: もしも何らかの物は地中深いということはないとすると「セリエＢでないかまたは有り難いかあるいはどちらもである」ということは誤っている
事実14: もし何らかのものはゲット出来る一方で大気中でないならば地中深くない
事実15: この地方公共団体相互が自殺しないならばあの企業調査は地中深い
事実16: もし「その手背は罰すがしかし煮え滾らない」ということは成り立たないとするとセリエＢでない

仮説: その手背はセリエＢだということはない
1. 事実9と事実7から、推論1: "「その手背は罰すけど煮え滾らない」ということは誤りである"が導かれる
2. 推論1と事実16から、仮説が導かれる

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