このアラブ系は落ち着き払うしおまけに管理し易い
fact1: このアラブ系が残り難いなら管理し易い fact2: 仮に何かは描画出来るということはないとしたら「落ち着き払うしかつそれは管理し易い」ということは間違いだ fact3: このアラブ系は描画出来るしさらに落ち着き払う fact4: このアラブ系は残り難い
fact3 -> int1: このアラブ系は落ち着き払う; fact4 & fact1 -> int2: このアラブ系は管理し易い; int1 & int2 -> hypothesis;
「このアラブ系は落ち着き払うしおまけに管理し易い」ということは誤っている
fact5 -> int3: もし「このアラブ系は描画出来ない」ということは成り立つとすれば「それは落ち着き払うしまた管理し易い」ということは誤っている;
$facts$ = fact1: このアラブ系が残り難いなら管理し易い fact2: 仮に何かは描画出来るということはないとしたら「落ち着き払うしかつそれは管理し易い」ということは間違いだ fact3: このアラブ系は描画出来るしさらに落ち着き払う fact4: このアラブ系は残り難い ; $hypothesis$ = このアラブ系は落ち着き払うしおまけに管理し易い ; $proof$ = 
fact3 -> int1: このアラブ系は落ち着き払う; fact4 & fact1 -> int2: このアラブ系は管理し易い; int1 & int2 -> hypothesis; __PROVED__
事実1: このアラブ系が残り難いなら管理し易い
事実2: 仮に何かは描画出来るということはないとしたら「落ち着き払うしかつそれは管理し易い」ということは間違いだ
事実3: このアラブ系は描画出来るしさらに落ち着き払う
事実4: このアラブ系は残り難い

仮説: このアラブ系は落ち着き払うしおまけに管理し易い
1. 事実3から、推論1: "このアラブ系は落ち着き払う"が導かれる
2. 事実4と事実1から、推論2: "このアラブ系は管理し易い"が導かれる
3. 推論1と推論2から、仮説が導かれる

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