「その地方公共団体相互は潔し」ということは事実である
fact1: 何らかの物はフォント形式である fact2: 仮にこの天桴が起き難くないか我が家でないかあるいはどちらもならばその地方公共団体相互は我が家でない fact3: もしその統率下が起き難くないしさらにそれがアルカリでないとするとこの天桴は起き難くない fact4: もしなんらかの物がフォント形式だということはないならばあの地方公共団体相互は現われ易い fact5: この適格者がＤＨＥＡ‐Ｓであるということはないならばその統率下は起き難くないしそれにアルカリでない fact6: あの調査会は起き難い fact7: もしも何らかのものが現われ易いならフォント形式である fact8: あの営業損失は潔し fact9: 仮にその地方公共団体相互が起き難くないならばあの天桴は起き難くない fact10: もしもこの天桴は現われ易いが潔しないならそれは起き難くない fact11: もし「この適格者は競り上げるししかもＤＨＥＡ‐Ｓである」ということは成り立たないとしたらＤＨＥＡ‐Ｓでない fact12: もしこの天桴がフォント形式であるとしたらその地方公共団体相互は潔し fact13: この天桴は起き難くないかあるいは我が家でないかあるいはどちらもである fact14: 仮に「この天桴は我が家でない」ということは確かならばその地方公共団体相互は我が家でない fact15: 何らかの物は此れ有り fact16: 起き難くないものは我が家であるし現われ易い fact17: もしも何らかの物が乗艦するがしかしそれが分かち難くないならばそれは蹴立てない fact18: もしもとあるものが現われ易い一方で我が家でないとすると「それは潔しない」ということは成り立つ fact19: なにがしかの物はフォント形式でない
fact19 & fact4 -> int1: その地方公共団体相互は現われ易い; fact2 & fact13 -> int2: その地方公共団体相互は我が家でない; int1 & int2 -> int3: その地方公共団体相互は現われ易い一方で我が家でない; fact18 -> int4: 仮にその地方公共団体相互は現われ易いがしかし我が家でないとすれば潔しない; int3 & int4 -> hypothesis;
fact19 & fact4 -> int1: {B}{a}; fact2 & fact13 -> int2: ¬{C}{a}; int1 & int2 -> int3: ({B}{a} & ¬{C}{a}); fact18 -> int4: ({B}{a} & ¬{C}{a}) -> ¬{D}{a}; int3 & int4 -> hypothesis;
その地方公共団体相互は潔し
fact25 -> int5: この天桴が現われ易いならばそれはフォント形式だ; fact24 -> int6: この天桴が起き難くないならばそれは我が家であるしおまけに現われ易い;
$facts$ = fact1: 何らかの物はフォント形式である fact2: 仮にこの天桴が起き難くないか我が家でないかあるいはどちらもならばその地方公共団体相互は我が家でない fact3: もしその統率下が起き難くないしさらにそれがアルカリでないとするとこの天桴は起き難くない fact4: もしなんらかの物がフォント形式だということはないならばあの地方公共団体相互は現われ易い fact5: この適格者がＤＨＥＡ‐Ｓであるということはないならばその統率下は起き難くないしそれにアルカリでない fact6: あの調査会は起き難い fact7: もしも何らかのものが現われ易いならフォント形式である fact8: あの営業損失は潔し fact9: 仮にその地方公共団体相互が起き難くないならばあの天桴は起き難くない fact10: もしもこの天桴は現われ易いが潔しないならそれは起き難くない fact11: もし「この適格者は競り上げるししかもＤＨＥＡ‐Ｓである」ということは成り立たないとしたらＤＨＥＡ‐Ｓでない fact12: もしこの天桴がフォント形式であるとしたらその地方公共団体相互は潔し fact13: この天桴は起き難くないかあるいは我が家でないかあるいはどちらもである fact14: 仮に「この天桴は我が家でない」ということは確かならばその地方公共団体相互は我が家でない fact15: 何らかの物は此れ有り fact16: 起き難くないものは我が家であるし現われ易い fact17: もしも何らかの物が乗艦するがしかしそれが分かち難くないならばそれは蹴立てない fact18: もしもとあるものが現われ易い一方で我が家でないとすると「それは潔しない」ということは成り立つ fact19: なにがしかの物はフォント形式でない ; $hypothesis$ = 「その地方公共団体相互は潔し」ということは事実である ; $proof$ = 
fact19 & fact4 -> int1: その地方公共団体相互は現われ易い; fact2 & fact13 -> int2: その地方公共団体相互は我が家でない; int1 & int2 -> int3: その地方公共団体相互は現われ易い一方で我が家でない; fact18 -> int4: 仮にその地方公共団体相互は現われ易いがしかし我が家でないとすれば潔しない; int3 & int4 -> hypothesis; __DISPROVED__
事実1: 何らかの物はフォント形式である
事実2: 仮にこの天桴が起き難くないか我が家でないかあるいはどちらもならばその地方公共団体相互は我が家でない
事実3: もしその統率下が起き難くないしさらにそれがアルカリでないとするとこの天桴は起き難くない
事実4: もしなんらかの物がフォント形式だということはないならばあの地方公共団体相互は現われ易い
事実5: この適格者がＤＨＥＡ‐Ｓであるということはないならばその統率下は起き難くないしそれにアルカリでない
事実6: あの調査会は起き難い
事実7: もしも何らかのものが現われ易いならフォント形式である
事実8: あの営業損失は潔し
事実9: 仮にその地方公共団体相互が起き難くないならばあの天桴は起き難くない
事実10: もしもこの天桴は現われ易いが潔しないならそれは起き難くない
事実11: もし「この適格者は競り上げるししかもＤＨＥＡ‐Ｓである」ということは成り立たないとしたらＤＨＥＡ‐Ｓでない
事実12: もしこの天桴がフォント形式であるとしたらその地方公共団体相互は潔し
事実13: この天桴は起き難くないかあるいは我が家でないかあるいはどちらもである
事実14: 仮に「この天桴は我が家でない」ということは確かならばその地方公共団体相互は我が家でない
事実15: 何らかの物は此れ有り
事実16: 起き難くないものは我が家であるし現われ易い
事実17: もしも何らかの物が乗艦するがしかしそれが分かち難くないならばそれは蹴立てない
事実18: もしもとあるものが現われ易い一方で我が家でないとすると「それは潔しない」ということは成り立つ
事実19: なにがしかの物はフォント形式でない

仮説: 「その地方公共団体相互は潔し」ということは事実である
1. 事実19と事実4から、推論1: "その地方公共団体相互は現われ易い"が導かれる
2. 事実2と事実13から、推論2: "その地方公共団体相互は我が家でない"が導かれる
3. 推論1と推論2から、推論3: "その地方公共団体相互は現われ易い一方で我が家でない"が導かれる
4. 事実18から、推論4: "仮にその地方公共団体相互は現われ易いがしかし我が家でないとすれば潔しない"が導かれる
5. 推論3と推論4から、仮説が否定される

よって、仮説が否定されました。