この金堂は向け過ぎない
fact1: その鏡鑑が怪しとしたらそれは文法事項だ fact2: 「その鏡鑑は怪し」ということは成り立つ fact3: もしも何らかの物が文法事項でないし怪しないなら向け過ぎるということはない fact4: その鏡鑑が文法事項であるかもしくは時間性能であるか両方ともであるとすればあの金堂は向け過ぎない fact5: そのプロキシーサーバーは上塗り塗膜だ fact6: 「何らかのものは逃げ隠れするということはないけどそれは低下率だ」ということは成り立たないとしたら時間性能でない fact7: 「仮に「上塗り塗膜である」物があるならこのジョッキーは図り難くない」ということは確かである fact8: もし「時間性能でない」物があるとしたらこのＰＷＣは怪し fact9: もしもこのジョッキーが図り難くないならばそれは低下率であるし更に逃げ隠れする fact10: その鏡鑑は向け過ぎないしさらに文法事項でないなら「この金堂は向け過ぎる」ということは成り立つ fact11: もしこの金堂は図り難いならば「その鏡鑑は逃げ隠れしないけれど低下率である」ということは偽である fact12: もしその鏡鑑が時間性能であるということはないとすればこの祝日休は時間性能でない fact13: 低下率は時間性能でない
fact1 & fact2 -> int1: その鏡鑑は文法事項だ; int1 -> int2: その鏡鑑は文法事項であるかもしくはそれは時間性能であるかあるいは両方だ; int2 & fact4 -> hypothesis;
この祝日休は向け過ぎない
fact14 -> int3: もしこの祝日休が文法事項でなくておまけに怪しないとすると向け過ぎない; fact15 -> int4: もし仮に「その鏡鑑は逃げ隠れしない一方で低下率だ」ということは成り立つということはないとするとそれは時間性能でない;
$facts$ = fact1: その鏡鑑が怪しとしたらそれは文法事項だ fact2: 「その鏡鑑は怪し」ということは成り立つ fact3: もしも何らかの物が文法事項でないし怪しないなら向け過ぎるということはない fact4: その鏡鑑が文法事項であるかもしくは時間性能であるか両方ともであるとすればあの金堂は向け過ぎない fact5: そのプロキシーサーバーは上塗り塗膜だ fact6: 「何らかのものは逃げ隠れするということはないけどそれは低下率だ」ということは成り立たないとしたら時間性能でない fact7: 「仮に「上塗り塗膜である」物があるならこのジョッキーは図り難くない」ということは確かである fact8: もし「時間性能でない」物があるとしたらこのＰＷＣは怪し fact9: もしもこのジョッキーが図り難くないならばそれは低下率であるし更に逃げ隠れする fact10: その鏡鑑は向け過ぎないしさらに文法事項でないなら「この金堂は向け過ぎる」ということは成り立つ fact11: もしこの金堂は図り難いならば「その鏡鑑は逃げ隠れしないけれど低下率である」ということは偽である fact12: もしその鏡鑑が時間性能であるということはないとすればこの祝日休は時間性能でない fact13: 低下率は時間性能でない ; $hypothesis$ = この金堂は向け過ぎない ; $proof$ = 
fact1 & fact2 -> int1: その鏡鑑は文法事項だ; int1 -> int2: その鏡鑑は文法事項であるかもしくはそれは時間性能であるかあるいは両方だ; int2 & fact4 -> hypothesis; __PROVED__
事実1: その鏡鑑が怪しとしたらそれは文法事項だ
事実2: 「その鏡鑑は怪し」ということは成り立つ
事実3: もしも何らかの物が文法事項でないし怪しないなら向け過ぎるということはない
事実4: その鏡鑑が文法事項であるかもしくは時間性能であるか両方ともであるとすればあの金堂は向け過ぎない
事実5: そのプロキシーサーバーは上塗り塗膜だ
事実6: 「何らかのものは逃げ隠れするということはないけどそれは低下率だ」ということは成り立たないとしたら時間性能でない
事実7: 「仮に「上塗り塗膜である」物があるならこのジョッキーは図り難くない」ということは確かである
事実8: もし「時間性能でない」物があるとしたらこのＰＷＣは怪し
事実9: もしもこのジョッキーが図り難くないならばそれは低下率であるし更に逃げ隠れする
事実10: その鏡鑑は向け過ぎないしさらに文法事項でないなら「この金堂は向け過ぎる」ということは成り立つ
事実11: もしこの金堂は図り難いならば「その鏡鑑は逃げ隠れしないけれど低下率である」ということは偽である
事実12: もしその鏡鑑が時間性能であるということはないとすればこの祝日休は時間性能でない
事実13: 低下率は時間性能でない

仮説: この金堂は向け過ぎない
1. 事実1と事実2から、推論1: "その鏡鑑は文法事項だ"が導かれる
2. 推論1から、推論2: "その鏡鑑は文法事項であるかもしくはそれは時間性能であるかあるいは両方だ"が導かれる
3. 推論2と事実4から、仮説が導かれる

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