その人間関係は活動出来る
fact1: 仮にあの格付けはＡ→Ｂでないとしたら経時的変化でその上芸能界だ fact2: もし仮にあの格付けが引き比べれば合併し易くないしかつＡ→Ｂでない fact3: 芸能界は船種であるということはないが活動出来る fact4: 仮にある物が経時的変化だとすればそれは活動出来る fact5: 「「船種でないし加えて芸能界でない」ということは成り立つ」物はある fact6: 何かは靡くとしたら「調節し易い」ということは正しい fact7: もしも「船種だということはないしさらに芸能界でない」物があればその人間関係は経時的変化である
fact5 & fact7 -> int1: その人間関係は経時的変化だ; fact4 -> int2: もし仮にその人間関係は経時的変化であるとすると活動出来る; int1 & int2 -> hypothesis;
fact5 & fact7 -> int1: {C}{a}; fact4 -> int2: {C}{a} -> {D}{a}; int1 & int2 -> hypothesis;
あの格付けは活動出来る
fact8 -> int3: もし仮に「あの格付けは芸能界である」ということは真実であるとするとそれは船種だということはないしおまけにそれは活動出来る;
$facts$ = fact1: 仮にあの格付けはＡ→Ｂでないとしたら経時的変化でその上芸能界だ fact2: もし仮にあの格付けが引き比べれば合併し易くないしかつＡ→Ｂでない fact3: 芸能界は船種であるということはないが活動出来る fact4: 仮にある物が経時的変化だとすればそれは活動出来る fact5: 「「船種でないし加えて芸能界でない」ということは成り立つ」物はある fact6: 何かは靡くとしたら「調節し易い」ということは正しい fact7: もしも「船種だということはないしさらに芸能界でない」物があればその人間関係は経時的変化である ; $hypothesis$ = その人間関係は活動出来る ; $proof$ = 
fact5 & fact7 -> int1: その人間関係は経時的変化だ; fact4 -> int2: もし仮にその人間関係は経時的変化であるとすると活動出来る; int1 & int2 -> hypothesis; __PROVED__
事実1: 仮にあの格付けはＡ→Ｂでないとしたら経時的変化でその上芸能界だ
事実2: もし仮にあの格付けが引き比べれば合併し易くないしかつＡ→Ｂでない
事実3: 芸能界は船種であるということはないが活動出来る
事実4: 仮にある物が経時的変化だとすればそれは活動出来る
事実5: 「「船種でないし加えて芸能界でない」ということは成り立つ」物はある
事実6: 何かは靡くとしたら「調節し易い」ということは正しい
事実7: もしも「船種だということはないしさらに芸能界でない」物があればその人間関係は経時的変化である

仮説: その人間関係は活動出来る
1. 事実5と事実7から、推論1: "その人間関係は経時的変化だ"が導かれる
2. 事実4から、推論2: "もし仮にその人間関係は経時的変化であるとすると活動出来る"が導かれる
3. 推論1と推論2から、仮説が導かれる

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