「この三年度は早過ぎないかＬＰであるかどちらもである」ということは成り立たない
fact1: 「信義誠実は早過ぎるということはないかもしくはＬＰであるかもしくはどちらもである」ということは嘘でない fact2: このアーキテクチャーは各部局である fact3: もしも「この三年度は信義誠実だ」ということは本当だとするとそれは早過ぎるかあるいはそれはＬＰだ fact4: その衆人環視は黒点でないけれど早過ぎる fact5: 空っぽはＬＰでないかあるいは早過ぎるかもしくは両方ともだ fact6: 仮に「このアーキテクチャーは空っぽでないけれどそれは各部局だ」ということは誤りでないとすればあの三年度は信義誠実である fact7: このアーキテクチャーは空っぽでない一方で各部局である fact8: 信義誠実は早過ぎるかもしくはＬＰであるか両方ともである fact9: この三年度は早過ぎるかまたはそれはＬＰであるかもしくは両方である fact10: もし仮にとある物は信義誠実でないとすると「それは早過ぎないかあるいはＬＰであるかあるいはどちらもだ」ということは間違いだ
fact6 & fact7 -> int1: この三年度は信義誠実だ; fact1 -> int2: 「仮にこの三年度が信義誠実だとしたらこの三年度は早過ぎないかあるいはそれはＬＰだ」ということは嘘であるということはない; int1 & int2 -> hypothesis;
fact6 & fact7 -> int1: {B}{b}; fact1 -> int2: {B}{b} -> (¬{C}{b} v {A}{b}); int1 & int2 -> hypothesis;
「この三年度は早過ぎないかまたはＬＰであるかもしくは両方だ」ということは成り立つということはない
fact11 -> int3: もしもこの三年度は信義誠実でないとすれば「早過ぎないかそれはＬＰだ」ということは間違っている;
$facts$ = fact1: 「信義誠実は早過ぎるということはないかもしくはＬＰであるかもしくはどちらもである」ということは嘘でない fact2: このアーキテクチャーは各部局である fact3: もしも「この三年度は信義誠実だ」ということは本当だとするとそれは早過ぎるかあるいはそれはＬＰだ fact4: その衆人環視は黒点でないけれど早過ぎる fact5: 空っぽはＬＰでないかあるいは早過ぎるかもしくは両方ともだ fact6: 仮に「このアーキテクチャーは空っぽでないけれどそれは各部局だ」ということは誤りでないとすればあの三年度は信義誠実である fact7: このアーキテクチャーは空っぽでない一方で各部局である fact8: 信義誠実は早過ぎるかもしくはＬＰであるか両方ともである fact9: この三年度は早過ぎるかまたはそれはＬＰであるかもしくは両方である fact10: もし仮にとある物は信義誠実でないとすると「それは早過ぎないかあるいはＬＰであるかあるいはどちらもだ」ということは間違いだ ; $hypothesis$ = 「この三年度は早過ぎないかＬＰであるかどちらもである」ということは成り立たない ; $proof$ = 
fact6 & fact7 -> int1: この三年度は信義誠実だ; fact1 -> int2: 「仮にこの三年度が信義誠実だとしたらこの三年度は早過ぎないかあるいはそれはＬＰだ」ということは嘘であるということはない; int1 & int2 -> hypothesis; __DISPROVED__
事実1: 「信義誠実は早過ぎるということはないかもしくはＬＰであるかもしくはどちらもである」ということは嘘でない
事実2: このアーキテクチャーは各部局である
事実3: もしも「この三年度は信義誠実だ」ということは本当だとするとそれは早過ぎるかあるいはそれはＬＰだ
事実4: その衆人環視は黒点でないけれど早過ぎる
事実5: 空っぽはＬＰでないかあるいは早過ぎるかもしくは両方ともだ
事実6: 仮に「このアーキテクチャーは空っぽでないけれどそれは各部局だ」ということは誤りでないとすればあの三年度は信義誠実である
事実7: このアーキテクチャーは空っぽでない一方で各部局である
事実8: 信義誠実は早過ぎるかもしくはＬＰであるか両方ともである
事実9: この三年度は早過ぎるかまたはそれはＬＰであるかもしくは両方である
事実10: もし仮にとある物は信義誠実でないとすると「それは早過ぎないかあるいはＬＰであるかあるいはどちらもだ」ということは間違いだ

仮説: 「この三年度は早過ぎないかＬＰであるかどちらもである」ということは成り立たない
1. 事実6と事実7から、推論1: "この三年度は信義誠実だ"が導かれる
2. 事実1から、推論2: "「仮にこの三年度が信義誠実だとしたらこの三年度は早過ぎないかあるいはそれはＬＰだ」ということは嘘であるということはない"が導かれる
3. 推論1と推論2から、仮説が否定される

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