あの建築業界は興味深くない
fact1: もし仮に「この先陣は宣告しない」ということは成り立つとしたら「それは行儀良いということはないかまたは青しないかあるいはどちらもだ」ということは誤りである fact2: 仮にこの先陣が起き易いならばこの評価制度は怪しが起き易くない fact3: この先陣は宣告しない fact4: もし「なにがしかのものは行儀良くないかもしくはそれは青し」ということは誤りであるならばそれは興味深い fact5: この先陣は宣告しないならば「それは青し」ということは誤っていない fact6: 仮にこの評価制度が怪しがしかし起き易くないとしたらあの建築業界は興味深くない fact7: もしも「ある物は行儀良くないか青しないかあるいは両方ともだ」ということは成り立たないとしたらそれは起き易い fact8: もしもあの建築業界が起き易いとすればそれは興味深い
fact7 -> int1: もしも「この先陣は行儀良いということはないかもしくは青しないかまたはどちらもだ」ということは嘘であるとしたらそれは起き易い; fact1 & fact3 -> int2: 「この先陣は行儀良くないか青しないかどちらもだ」ということは間違っている; int1 & int2 -> int3: この先陣は起き易い; int3 & fact2 -> int4: この評価制度は怪しがしかし起き易くない; int4 & fact6 -> hypothesis;
あの建築業界は興味深い
$facts$ = fact1: もし仮に「この先陣は宣告しない」ということは成り立つとしたら「それは行儀良いということはないかまたは青しないかあるいはどちらもだ」ということは誤りである fact2: 仮にこの先陣が起き易いならばこの評価制度は怪しが起き易くない fact3: この先陣は宣告しない fact4: もし「なにがしかのものは行儀良くないかもしくはそれは青し」ということは誤りであるならばそれは興味深い fact5: この先陣は宣告しないならば「それは青し」ということは誤っていない fact6: 仮にこの評価制度が怪しがしかし起き易くないとしたらあの建築業界は興味深くない fact7: もしも「ある物は行儀良くないか青しないかあるいは両方ともだ」ということは成り立たないとしたらそれは起き易い fact8: もしもあの建築業界が起き易いとすればそれは興味深い ; $hypothesis$ = あの建築業界は興味深くない ; $proof$ = 
fact7 -> int1: もしも「この先陣は行儀良いということはないかもしくは青しないかまたはどちらもだ」ということは嘘であるとしたらそれは起き易い; fact1 & fact3 -> int2: 「この先陣は行儀良くないか青しないかどちらもだ」ということは間違っている; int1 & int2 -> int3: この先陣は起き易い; int3 & fact2 -> int4: この評価制度は怪しがしかし起き易くない; int4 & fact6 -> hypothesis; __PROVED__
事実1: もし仮に「この先陣は宣告しない」ということは成り立つとしたら「それは行儀良いということはないかまたは青しないかあるいはどちらもだ」ということは誤りである
事実2: 仮にこの先陣が起き易いならばこの評価制度は怪しが起き易くない
事実3: この先陣は宣告しない
事実4: もし「なにがしかのものは行儀良くないかもしくはそれは青し」ということは誤りであるならばそれは興味深い
事実5: この先陣は宣告しないならば「それは青し」ということは誤っていない
事実6: 仮にこの評価制度が怪しがしかし起き易くないとしたらあの建築業界は興味深くない
事実7: もしも「ある物は行儀良くないか青しないかあるいは両方ともだ」ということは成り立たないとしたらそれは起き易い
事実8: もしもあの建築業界が起き易いとすればそれは興味深い

仮説: あの建築業界は興味深くない
1. 事実7から、推論1: "もしも「この先陣は行儀良いということはないかもしくは青しないかまたはどちらもだ」ということは嘘であるとしたらそれは起き易い"が導かれる
2. 事実1と事実3から、推論2: "「この先陣は行儀良くないか青しないかどちらもだ」ということは間違っている"が導かれる
3. 推論1と推論2から、推論3: "この先陣は起き易い"が導かれる
4. 推論3と事実2から、推論4: "この評価制度は怪しがしかし起き易くない"が導かれる
5. 推論4と事実6から、仮説が導かれる

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