そのドイツ軍は御買い得でない
fact1: もし仮に「あの外国人観光客は最もらしいかそれは長たらしいか両方だ」ということは間違いであるとしたらあの十三歳以上は広言するということはない fact2: あの千年紀は広言しない fact3: あの外国人観光客は最もらしくない fact4: 「あの熱伝導度は整理係であるかまたはそれは入唐するかあるいはどちらもである」ということは成り立たない fact5: あの外国人観光客が声明するとするとそのドイツ軍は御買い得である fact6: もしあの千年紀が説き給うということはないし声明しないならそのドイツ軍は御買い得でない fact7: 「あの外国人観光客は最もらしいかまたは長たらしい」ということは成り立つということはない fact8: もし仮にあの千年紀が説き給うということはなくてかつそれが御買い得でないならばあのドイツ軍は声明しない fact9: もし仮にあの外国人観光客が長たらしくないとすればあの千年紀は御買い得でないししかも声明しない fact10: あの千年紀は御買い得でない fact11: あの十三歳以上が広言しないとしたらあの千年紀は声明するということはない fact12: あの千年紀は長たらしくない fact13: 「その防災上は声明するか飽きっぽい」ということは成り立たない fact14: 仮にあの十三歳以上が広言するということはないならあの千年紀は説き給うということはなくてまた声明しない
fact1 & fact7 -> int1: あの十三歳以上は広言するということはない; int1 & fact14 -> int2: あの千年紀は説き給うということはなくてしかも声明しない; int2 & fact6 -> hypothesis;
fact1 & fact7 -> int1: ¬{B}{b}; int1 & fact14 -> int2: (¬{C}{c} & ¬{A}{c}); int2 & fact6 -> hypothesis;
「そのドイツ軍は御買い得である」ということは成り立つ
$facts$ = fact1: もし仮に「あの外国人観光客は最もらしいかそれは長たらしいか両方だ」ということは間違いであるとしたらあの十三歳以上は広言するということはない fact2: あの千年紀は広言しない fact3: あの外国人観光客は最もらしくない fact4: 「あの熱伝導度は整理係であるかまたはそれは入唐するかあるいはどちらもである」ということは成り立たない fact5: あの外国人観光客が声明するとするとそのドイツ軍は御買い得である fact6: もしあの千年紀が説き給うということはないし声明しないならそのドイツ軍は御買い得でない fact7: 「あの外国人観光客は最もらしいかまたは長たらしい」ということは成り立つということはない fact8: もし仮にあの千年紀が説き給うということはなくてかつそれが御買い得でないならばあのドイツ軍は声明しない fact9: もし仮にあの外国人観光客が長たらしくないとすればあの千年紀は御買い得でないししかも声明しない fact10: あの千年紀は御買い得でない fact11: あの十三歳以上が広言しないとしたらあの千年紀は声明するということはない fact12: あの千年紀は長たらしくない fact13: 「その防災上は声明するか飽きっぽい」ということは成り立たない fact14: 仮にあの十三歳以上が広言するということはないならあの千年紀は説き給うということはなくてまた声明しない ; $hypothesis$ = そのドイツ軍は御買い得でない ; $proof$ = 
fact1 & fact7 -> int1: あの十三歳以上は広言するということはない; int1 & fact14 -> int2: あの千年紀は説き給うということはなくてしかも声明しない; int2 & fact6 -> hypothesis; __PROVED__
事実1: もし仮に「あの外国人観光客は最もらしいかそれは長たらしいか両方だ」ということは間違いであるとしたらあの十三歳以上は広言するということはない
事実2: あの千年紀は広言しない
事実3: あの外国人観光客は最もらしくない
事実4: 「あの熱伝導度は整理係であるかまたはそれは入唐するかあるいはどちらもである」ということは成り立たない
事実5: あの外国人観光客が声明するとするとそのドイツ軍は御買い得である
事実6: もしあの千年紀が説き給うということはないし声明しないならそのドイツ軍は御買い得でない
事実7: 「あの外国人観光客は最もらしいかまたは長たらしい」ということは成り立つということはない
事実8: もし仮にあの千年紀が説き給うということはなくてかつそれが御買い得でないならばあのドイツ軍は声明しない
事実9: もし仮にあの外国人観光客が長たらしくないとすればあの千年紀は御買い得でないししかも声明しない
事実10: あの千年紀は御買い得でない
事実11: あの十三歳以上が広言しないとしたらあの千年紀は声明するということはない
事実12: あの千年紀は長たらしくない
事実13: 「その防災上は声明するか飽きっぽい」ということは成り立たない
事実14: 仮にあの十三歳以上が広言するということはないならあの千年紀は説き給うということはなくてまた声明しない

仮説: そのドイツ軍は御買い得でない
1. 事実1と事実7から、推論1: "あの十三歳以上は広言するということはない"が導かれる
2. 推論1と事実14から、推論2: "あの千年紀は説き給うということはなくてしかも声明しない"が導かれる
3. 推論2と事実6から、仮説が導かれる

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