「興奮し易くない」ものはある
fact1: 「このＰＤＡは斑鳩でないし動かし難くない」ということは成り立つということはないならばあの前頭は興奮し易くない fact2: この中東問題は汚れ易い fact3: このＰＤＡは引き当てるか興奮し易くないか両方ともである fact4: なんらかの物が引き当てるとすれば艶っぽいということはない fact5: もし仮に汚れ易いものが動かし難いとするとそれは引き当てない fact6: この中東問題は骨灰だ fact7: 仮に「この前頭は斑鳩でなくてかつそれは艶っぽくない」ということは間違いであるとすればこのＰＤＡは興奮し易くない fact8: このＰＤＡは船頭であるかもしくは種子でないか両方ともだ fact9: 「この前頭は斑鳩だが艶っぽくない」ということは確かでない fact10: 「「あの差し枝は興奮し易くないし更に縁遠くない」ということは嘘である」ということは間違っていない fact11: この中東問題は艶っぽくない fact12: もし票が迷い易いとすればそれは推定結果でない fact13: この中東問題は動かし難い fact14: もしもこの中東問題が引き当てるということはないならあの差し枝は引き当てるかあるいは船頭でない fact15: この中東問題は引き当てるかもしくはそれは船頭でないかまたはどちらもだ fact16: もしあの差し枝が引き当てるなら艶っぽくない fact17: なにがしかの物は斑鳩だ fact18: 「この前頭は艶っぽくないし緩み易くない」ということは成り立たない fact19: 気弱い物が甚だしいならばそれは黒しない fact20: もしもあの差し枝は艶っぽいということはないなら「この前頭は斑鳩でないけどそれは艶っぽい」ということは誤りである fact21: もしこの前頭は斑鳩でないならば「あの差し枝は引き当てるがしかし斑鳩でない」ということは成り立たない fact22: もしこの中東問題が動かし難いということはないならこの前頭は動かし難いかあるいは斑鳩でないかあるいは両方だ fact23: もしあの差し枝は艶っぽくないなら「この前頭が斑鳩だということはないしその上艶っぽくない」ということは成り立たない fact24: もしとあるものが引き当てるかもしくは船頭であるということはないかあるいは両方ともだとすると艶っぽくない
fact2 & fact13 -> int1: この中東問題は汚れ易いしおまけに動かし難い; fact5 -> int2: もしもこの中東問題が汚れ易いしそれは動かし難いとすれば「それは引き当てない」ということは真実である; int1 & int2 -> int3: この中東問題は引き当てるということはない; int3 & fact14 -> int4: あの差し枝は引き当てるかそれは船頭でない; fact24 -> int5: もしあの差し枝は引き当てるかあるいは船頭でないかもしくはどちらもならそれは艶っぽくない; int4 & int5 -> int6: あの差し枝は艶っぽくない; int6 & fact23 -> int7: 「この前頭は斑鳩でないし艶っぽくない」ということは成り立たない; int7 & fact7 -> int8: このＰＤＡは興奮し易くない; int8 -> hypothesis;
$facts$ = fact1: 「このＰＤＡは斑鳩でないし動かし難くない」ということは成り立つということはないならばあの前頭は興奮し易くない fact2: この中東問題は汚れ易い fact3: このＰＤＡは引き当てるか興奮し易くないか両方ともである fact4: なんらかの物が引き当てるとすれば艶っぽいということはない fact5: もし仮に汚れ易いものが動かし難いとするとそれは引き当てない fact6: この中東問題は骨灰だ fact7: 仮に「この前頭は斑鳩でなくてかつそれは艶っぽくない」ということは間違いであるとすればこのＰＤＡは興奮し易くない fact8: このＰＤＡは船頭であるかもしくは種子でないか両方ともだ fact9: 「この前頭は斑鳩だが艶っぽくない」ということは確かでない fact10: 「「あの差し枝は興奮し易くないし更に縁遠くない」ということは嘘である」ということは間違っていない fact11: この中東問題は艶っぽくない fact12: もし票が迷い易いとすればそれは推定結果でない fact13: この中東問題は動かし難い fact14: もしもこの中東問題が引き当てるということはないならあの差し枝は引き当てるかあるいは船頭でない fact15: この中東問題は引き当てるかもしくはそれは船頭でないかまたはどちらもだ fact16: もしあの差し枝が引き当てるなら艶っぽくない fact17: なにがしかの物は斑鳩だ fact18: 「この前頭は艶っぽくないし緩み易くない」ということは成り立たない fact19: 気弱い物が甚だしいならばそれは黒しない fact20: もしもあの差し枝は艶っぽいということはないなら「この前頭は斑鳩でないけどそれは艶っぽい」ということは誤りである fact21: もしこの前頭は斑鳩でないならば「あの差し枝は引き当てるがしかし斑鳩でない」ということは成り立たない fact22: もしこの中東問題が動かし難いということはないならこの前頭は動かし難いかあるいは斑鳩でないかあるいは両方だ fact23: もしあの差し枝は艶っぽくないなら「この前頭が斑鳩だということはないしその上艶っぽくない」ということは成り立たない fact24: もしとあるものが引き当てるかもしくは船頭であるということはないかあるいは両方ともだとすると艶っぽくない ; $hypothesis$ = 「興奮し易くない」ものはある ; $proof$ = 
fact2 & fact13 -> int1: この中東問題は汚れ易いしおまけに動かし難い; fact5 -> int2: もしもこの中東問題が汚れ易いしそれは動かし難いとすれば「それは引き当てない」ということは真実である; int1 & int2 -> int3: この中東問題は引き当てるということはない; int3 & fact14 -> int4: あの差し枝は引き当てるかそれは船頭でない; fact24 -> int5: もしあの差し枝は引き当てるかあるいは船頭でないかもしくはどちらもならそれは艶っぽくない; int4 & int5 -> int6: あの差し枝は艶っぽくない; int6 & fact23 -> int7: 「この前頭は斑鳩でないし艶っぽくない」ということは成り立たない; int7 & fact7 -> int8: このＰＤＡは興奮し易くない; int8 -> hypothesis; __PROVED__
事実1: 「このＰＤＡは斑鳩でないし動かし難くない」ということは成り立つということはないならばあの前頭は興奮し易くない
事実2: この中東問題は汚れ易い
事実3: このＰＤＡは引き当てるか興奮し易くないか両方ともである
事実4: なんらかの物が引き当てるとすれば艶っぽいということはない
事実5: もし仮に汚れ易いものが動かし難いとするとそれは引き当てない
事実6: この中東問題は骨灰だ
事実7: 仮に「この前頭は斑鳩でなくてかつそれは艶っぽくない」ということは間違いであるとすればこのＰＤＡは興奮し易くない
事実8: このＰＤＡは船頭であるかもしくは種子でないか両方ともだ
事実9: 「この前頭は斑鳩だが艶っぽくない」ということは確かでない
事実10: 「「あの差し枝は興奮し易くないし更に縁遠くない」ということは嘘である」ということは間違っていない
事実11: この中東問題は艶っぽくない
事実12: もし票が迷い易いとすればそれは推定結果でない
事実13: この中東問題は動かし難い
事実14: もしもこの中東問題が引き当てるということはないならあの差し枝は引き当てるかあるいは船頭でない
事実15: この中東問題は引き当てるかもしくはそれは船頭でないかまたはどちらもだ
事実16: もしあの差し枝が引き当てるなら艶っぽくない
事実17: なにがしかの物は斑鳩だ
事実18: 「この前頭は艶っぽくないし緩み易くない」ということは成り立たない
事実19: 気弱い物が甚だしいならばそれは黒しない
事実20: もしもあの差し枝は艶っぽいということはないなら「この前頭は斑鳩でないけどそれは艶っぽい」ということは誤りである
事実21: もしこの前頭は斑鳩でないならば「あの差し枝は引き当てるがしかし斑鳩でない」ということは成り立たない
事実22: もしこの中東問題が動かし難いということはないならこの前頭は動かし難いかあるいは斑鳩でないかあるいは両方だ
事実23: もしあの差し枝は艶っぽくないなら「この前頭が斑鳩だということはないしその上艶っぽくない」ということは成り立たない
事実24: もしとあるものが引き当てるかもしくは船頭であるということはないかあるいは両方ともだとすると艶っぽくない

仮説: 「興奮し易くない」ものはある
1. 事実2と事実13から、推論1: "この中東問題は汚れ易いしおまけに動かし難い"が導かれる
2. 事実5から、推論2: "もしもこの中東問題が汚れ易いしそれは動かし難いとすれば「それは引き当てない」ということは真実である"が導かれる
3. 推論1と推論2から、推論3: "この中東問題は引き当てるということはない"が導かれる
4. 推論3と事実14から、推論4: "あの差し枝は引き当てるかそれは船頭でない"が導かれる
5. 事実24から、推論5: "もしあの差し枝は引き当てるかあるいは船頭でないかもしくはどちらもならそれは艶っぽくない"が導かれる
6. 推論4と推論5から、推論6: "あの差し枝は艶っぽくない"が導かれる
7. 推論6と事実23から、推論7: "「この前頭は斑鳩でないし艶っぽくない」ということは成り立たない"が導かれる
8. 推論7と事実7から、推論8: "このＰＤＡは興奮し易くない"が導かれる
9. 推論8から、仮説が導かれる

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